Inventory: V
The rows of the inventory whose names start with V. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.
- Other 25924
- A 5528
- B 4390
- C 7242
- D 4710
- E 5003
- F 4868
- G 4385
- H 4070
- I 1391
- J 3085
- K 3381
- L 1911
- M 4894
- N 3888
- O 897
- P 5460
- Q 3198
- R 4892
- S 6923
- T 5819
- U 1014
- V 3154
- W 3560
- X 2715
- Y 2835
- Z 2989
Rows 1301–1400 of 3154.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| VCTMZN1XX6 | VCTMZN1XX6 | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.16931#SPHQ |
| VCTNYYWGCQ | VCTNYYWGCQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.07285#24O2 |
| VCTR7SCQ3M | VCTR7SCQ3M | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.14240#VU3M |
| VCTYAFJD1K | VCTYAFJD1K | statement | open | open_logic content/sets-functions-relations/infinite/dedekind-algebra.tex#thm:DedekindInfiniteAlgebra |
| VCWTPXJ2V2 | VCWTPXJ2V2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1806.05002#BFJ4 |
| VCXCBKDN4P | VCXCBKDN4P | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2602.07485#Q9VO |
| VCXCGXQ43Z | VCXCGXQ43Z | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.11145#5OKZ |
| VCXQT5CWC5 | VCXQT5CWC5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.31489#UKQU |
| VCY7NCYFR5 | VCY7NCYFR5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.21899#I1U8 |
| VCYDS3TTRX | VCYDS3TTRX | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2104.12015#QQS1 |
| VCYTNKR0NC | VCYTNKR0NC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.05506#LO58 |
| VCZ2W9X499 | VCZ2W9X499 | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2304.03611#DH9Z |
| VCZ42ZET2X | VCZ42ZET2X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.14318#JN3N |
| VCZBBHNMYG | VCZBBHNMYG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2407.02022#EJXJ |
| VD16FKK1EZ | VD16FKK1EZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.14266#NTQZ |
| VD1FMGW5YQ | VD1FMGW5YQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.26546#7A61 |
| VD1HX43ZVE | VD1HX43ZVE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.22218#V8EL |
| VD1Q7013JB | VD1Q7013JB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.09390#68SM |
| VD316W039R | VD316W039R | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.16779#R23P |
| VD3CWNNDTF | VD3CWNNDTF | conjecture | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.19333#N6VL |
| VD3DWYJ83Z | VD3DWYJ83Z | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1008.4254#H9Y3 |
| VD3GADF76M | VD3GADF76M | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.38068#PFP2 |
| VD42W0SVEF | VD42W0SVEF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.01653#UYIF |
| VD478F5S27 | VD478F5S27 | exercise | open | levin_dmoi ptx/exercises/seq-induction.ptx#exercise-14 |
| VD4AK0T7QR | VD4AK0T7QR | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2303.14022#HEUD |
| VD4B6Q375F | VD4B6Q375F | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.00789#ZQUJ |
| VD5CEG2Q5N | VD5CEG2Q5N | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.13618#JKPR |
| VD5MNJKVC7 | VD5MNJKVC7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.29877#EGN7 |
| VD5NNQ47VN | VD5NNQ47VN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.33019#3NBD |
| VD69BWKXP4 | VD69BWKXP4 | statement | open | ernst_ibl MAAPressVersion/Topology.tex#theorem-8 |
| VD6BMDW79X | VD6BMDW79X | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.18242#GUWK |
| VD6BV3HKVY | VD6BV3HKVY | definition | open | lebl_ra ch-seq-funcs.tex#def:unifnorm |
| VD6QQ4R0VY | VD6QQ4R0VY | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-113 |
| VD706BSHTY | VD706BSHTY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1912.13357#AYXF |
| VD72SKT86X | VD72SKT86X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.22002#99TB |
| VD8KRNPT9T | VD8KRNPT9T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.13888#XL2E |
| VD930F7W62 | VD930F7W62 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.33808#O79G |
| VD9370TRDJ | VD9370TRDJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.11478#N40R |
| VD9DV3T1J8 | VD9DV3T1J8 | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.02689#8NAN |
| VDAH2YH181 | VDAH2YH181 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.04675#5Q16 |
| VDAQ3TXWYX | VDAQ3TXWYX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.14681#LARQ |
| VDB8DDZCPZ | VDB8DDZCPZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.07285#IQ02 |
| VDCAE2KZ2J | VDCAE2KZ2J | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.19260#WUYB |
| VDD3QB0XNX | VDD3QB0XNX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.31220#QPH8 |
| VDDCK57K25 | VDDCK57K25 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.13931#X3J0 |
| VDDHV89N51 | VDDHV89N51 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.38250#7QP2 |
| VDDR7CYWQ8 | VDDR7CYWQ8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2212.11038#ISDI |
| VDE53WZQX8 | VDE53WZQX8 | example | open | austin_ula src/section2-4.xml#example-span-plane |
| VDE70JE44Z | VDE70JE44Z | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.39254#QY3D |
| VDEGTJB60D | VDEGTJB60D | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.14380#9KXC |
| VDEJCQMBDH | VDEJCQMBDH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.38068#Z6ZQ |
| VDF1DHT7A2 | VDF1DHT7A2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.02111#JBMM |
| VDFZMTDZ03 | VDFZMTDZ03 | exercise | open | open_logic content/normal-modal-logic/frame-definability/properties-accessibility.tex#prob-2 |
| VDHDAQZBHM | VDHDAQZBHM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.00115#BGSK |
| VDJC3FFWA8 | VDJC3FFWA8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1512.06981#TWGD |
| VDJFH5S3YD | VDJFH5S3YD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.26896#27FO |
| VDJMNNW4CE | VDJMNNW4CE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.06556#DZ9U |
| VDK5B1B90T | VDK5B1B90T | statement | open | open_logic content/second-order-logic/sol-and-set-theory/power-of-continuum.tex#prop-6 |
| VDKCK05PTD | VDKCK05PTD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2304.02722#F11O |
| VDKF1G49VC | VDKF1G49VC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.39260#UZ07 |
| VDKM5F03BF | VDKM5F03BF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.35669#1TJA |
| VDKW2C822K | VDKW2C822K | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.35180#4FUV |
| VDM7E6BXXW | VDM7E6BXXW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2201.04174#IN09 |
| VDN2N1RHBB | VDN2N1RHBB | example | open | levin_dmoi ptx/sec_seq-basics.ptx#example-5 |
| VDNG7Q22MD | VDNG7Q22MD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.10365#NUOM |
| VDPERPT6C7 | VDPERPT6C7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.31489#TW3F |
| VDPVXHC725 | VDPVXHC725 | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2309.15228#8SYM |
| VDPZ956ZM5 | VDPZ956ZM5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.39700#UD1X |
| VDQ4P5ZEZB | VDQ4P5ZEZB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2608.17785#LP9I |
| VDQ4QYBMEP | VDQ4QYBMEP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.37520#KOLE |
| VDQHDTBE04 | VDQHDTBE04 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.40017#NL1T |
| VDQK8RT80N | VDQK8RT80N | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.06699#I00L |
| VDQNQ52HN4 | VDQNQ52HN4 | proof | open | open_logic content/incompleteness/representability-in-q/representable-comp.tex#proof-2 |
| VDRQ5PH4ZE | VDRQ5PH4ZE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.11031#CYBZ |
| VDSKKX64Z3 | VDSKKX64Z3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.14458#WHAO |
| VDSSKZ5Z5Q | VDSSKZ5Z5Q | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.28265#89LA |
| VDT7SG4FJ1 | VDT7SG4FJ1 | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.11395#RXQ7 |
| VDTMAB4J98 | VDTMAB4J98 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30220#VHON |
| VDTV3EH89V | VDTV3EH89V | proof | open | open_logic content/model-theory/basics/nonstandard-arithmetic.tex#proof-1 |
| VDTVGARBNT | VDTVGARBNT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2606.00589#VBL0 |
| VDV5V66H30 | VDV5V66H30 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1911.06467#OPAL |
| VDVDGP59CP | VDVDGP59CP | exercise | open | lebl_scv scv.tex#exercise-88 |
| VDVWA5SXTB | VDVWA5SXTB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.12295#E4VG |
| VDVZGTZHX0 | VDVZGTZHX0 | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.35543#WDGZ |
| VDWDTY1VZ7 | VDWDTY1VZ7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.36823#5UF1 |
| VDWHYB0TEM | VDWHYB0TEM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.19088#U9DM |
| VDX8VDANPZ | VDX8VDANPZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.28011#X3SX |
| VDXSMPV1XP | VDXSMPV1XP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.02751#U8LI |
| VDYBN6RD5V | VDYBN6RD5V | exercise | open | lebl_ra ch-der.tex#exercise-22 |
| VDYCZK3PXA | VDYCZK3PXA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2412.20238#HU75 |
| VDZ9GBECTB | VDZ9GBECTB | unknown | open | arXiv 1509.00950#2NIK |
| VDZE03PG8Z | VDZE03PG8Z | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2511.05069#4JQN |
| VDZYPPZ4KJ | VDZYPPZ4KJ | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.14045#ZUYY |
| VE07DP9G10 | VE07DP9G10 | exercise | open | applied_combinatorics source/s_strings_exercises.ptx#exercise-17 |
| VE08AT1PQY | VE08AT1PQY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.17518#DN6Y |
| VE0Y4XHKSF | VE0Y4XHKSF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.39317#K0S1 |
| VE0Y9X5HXR | VE0Y9X5HXR | exercise | open | lebl_scv scv.tex#exercise-253 |
| VE1K25Z28C | VE1K25Z28C | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2410.22607#LLI5 |
| VE203Q2S9B | VE203Q2S9B | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.05784#J0D2 |
| VE2CTB5APA | VE2CTB5APA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.22326#JTBF |