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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 2801–2900 of 4994.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| VG53HHSQN3 | VG53HHSQN3 | 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.21921#X42C |
| VG5FBKRAJQ | VG5FBKRAJQ | 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.25843#D16P |
| VG5VYYQRJD | VG5VYYQRJD | 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.01441#OTOR |
| VG65MW4HCJ | VG65MW4HCJ | 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 1802.02910#LQ7J |
| VG775Y43HE | VG775Y43HE | exercise | open | lebl_scv scv.tex#exercise-42 |
| VG77X27YB5 | VG77X27YB5 | 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 2306.12846#Z26K |
| VG7HQXTE19 | VG7HQXTE19 | 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.09989#DVKT |
| VG9KSH0NRA | VG9KSH0NRA | 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.27518#Z6OA |
| VGA29RSZK0 | VGA29RSZK0 | 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.13100#W71C |
| VGAE5AH3A9 | VGAE5AH3A9 | proof | open | open_logic content/intuitionistic-logic/soundness-completeness/lindenbaum.tex#proof-1 |
| VGB5CWJ120 | VGB5CWJ120 | 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.28489#Q5H0 |
| VGB6CS2KP8 | VGB6CS2KP8 | 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.03264#I84Q |
| VGBGN5RAH5 | VGBGN5RAH5 | 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.20607#NXVG |
| VGBX12Z6D3 | VGBX12Z6D3 | 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.12054#82D5 |
| VGBZP5WJ9N | VGBZP5WJ9N | 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.12479#69U7 |
| VGCABR3CGP | VGCABR3CGP | 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.36717#U5U1 |
| VGCJ3JTR8T | VGCJ3JTR8T | 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.24051#9BIY |
| VGCRJXHGYQ | VGCRJXHGYQ | 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.09422#9VBZ |
| VGDG4TTFED | VGDG4TTFED | 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.21732#FLTE |
| VGDVHDAAWX | VGDVHDAAWX | 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.20663#BKS0 |
| VGE4B7R86Q | VGE4B7R86Q | 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.32300#W0PN |
| VGEQX7HH2C | VGEQX7HH2C | 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.16768#P8J7 |
| VGEVG7SF5E | VGEVG7SF5E | 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#UWFQ |
| VGEVNQVQKB | VGEVNQVQKB | 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.30648#C70K |
| VGF1F5P9X6 | VGF1F5P9X6 | 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 2208.05276#VSZW |
| VGF55JM6ZC | VGF55JM6ZC | 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 2601.01000#JO4Y |
| VGFDNS3BT4 | VGFDNS3BT4 | 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 2403.16814#TB11 |
| VGFMS9Y7YA | VGFMS9Y7YA | 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.21739#CW82 |
| VGGEV2APTJ | VGGEV2APTJ | 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 math/0003117#H0FI |
| VGHP2ERK0A | VGHP2ERK0A | 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.21972#587I |
| VGHY6DTHPC | VGHY6DTHPC | 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.03661#Z2BK |
| VGJ3YFZPJB | VGJ3YFZPJB | exercise | open | lebl_ra ch-metric.tex#exercise:relativelycompactseq |
| VGK55A153C | VGK55A153C | 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 2506.09840#7UPW |
| VGKBES2BY6 | VGKBES2BY6 | proof | open | lebl_ra ch-metric.tex#proof-30 |
| VGKBHMDCQV | VGKBHMDCQV | 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.21914#I1PO |
| VGKMYND5GC | VGKMYND5GC | 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.03341#MIQM |
| VGKRZWAKPB | VGKRZWAKPB | definition | open | napkin tex/linalg/dets.tex#def:det |
| VGMJ0C19WE | VGMJ0C19WE | 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.24185#ISAQ |
| VGMXDVZ6W0 | VGMXDVZ6W0 | 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.35474#E01Y |
| VGMYGHKJF9 | VGMYGHKJF9 | 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.16123#9HNU |
| VGNJXYBB9G | VGNJXYBB9G | 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#S9RY |
| VGP8R6FKT7 | VGP8R6FKT7 | 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 2609.32614#YZWU |
| VGPDPXVAFP | VGPDPXVAFP | 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 2207.11097#V0IG |
| VGPEQH5F4X | VGPEQH5F4X | 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 2311.01874#IJPG |
| VGPYM5YJN6 | VGPYM5YJN6 | 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.31274#VWQF |
| VGQ636SY15 | VGQ636SY15 | 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.27617#OK57 |
| VGQ726V8QB | VGQ726V8QB | definition | open | napkin tex/cats/categories.tex#definition-5 |
| VGQCMFX4EB | VGQCMFX4EB | 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.40251#LSDC |
| VGR388B32G | VGR388B32G | 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.12054#FNAS |
| VGR5H2KR8F | VGR5H2KR8F | 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 2510.02019#VY3X |
| VGR95M9ND0 | VGR95M9ND0 | 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 2205.09049#Z6Y7 |
| VGRBZY1T8M | VGRBZY1T8M | 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.16731#LEMC |
| VGRPXWY12S | VGRPXWY12S | 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.21365#0S8T |
| VGS1ESWQ9E | VGS1ESWQ9E | 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.12430#D1HJ |
| VGSKBQS4K8 | VGSKBQS4K8 | 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.28141#2MED |
| VGSN3AVVFH | VGSN3AVVFH | 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.29185#LHE8 |
| VGSNHKGERV | VGSNHKGERV | 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 1808.00180#B38R |
| VGTMT1XRG6 | VGTMT1XRG6 | 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.13852#HCBU |
| VGV6ZBCHTM | VGV6ZBCHTM | 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.28417#QQVX |
| VGW1ZMCX95 | VGW1ZMCX95 | 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.13979#7QN2 |
| VGXJY8TMJS | VGXJY8TMJS | 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 0910.5574#HHCE |
| VGXRYFBJZK | VGXRYFBJZK | exercise | open | lebl_scv scv.tex#exercise-41 |
| VGY2KMES50 | VGY2KMES50 | 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.17476#GD32 |
| VGYF4BR2NW | VGYF4BR2NW | 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 2601.15403#6PAF |
| VGYGDJ43Q6 | VGYGDJ43Q6 | 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 2404.06445#NUID |
| VGYJGWA5HH | VGYJGWA5HH | 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.00786#AMGR |
| VGYN3N6NVM | VGYN3N6NVM | 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.22777#FD2U |
| VGYQYNSTXB | VGYQYNSTXB | example | open | napkin tex/riemann-surface/morphism.tex#example-3 |
| VGYWDHZ4XQ | VGYWDHZ4XQ | 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.12330#LTBQ |
| VGZMMZAGFW | VGZMMZAGFW | 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.32816#FHAT |
| VGZSDYBYFQ | VGZSDYBYFQ | 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.22825#18GZ |
| VGZSM3AK38 | VGZSM3AK38 | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-53 |
| VH0P12AP3E | VH0P12AP3E | 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 2409.17318#3Q6B |
| VH14E54BV7 | VH14E54BV7 | proof | open | lebl_ra ch-approximate.tex#proof-33 |
| VH1E11P54B | VH1E11P54B | 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 2206.13822#4GBF |
| VH2HBJPWP5 | VH2HBJPWP5 | 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.10469#YK1K |
| VH2K9A6V8E | VH2K9A6V8E | 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.12810#VOGH |
| VH2QG6ZD18 | VH2QG6ZD18 | 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.31757#FGU4 |
| VH37AH0HS2 | VH37AH0HS2 | 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.21305#9RLJ |
| VH3V0R7FHZ | VH3V0R7FHZ | 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 2405.14678#UZO7 |
| VH4BGSX5XG | VH4BGSX5XG | 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 2207.11097#EF8Z |
| VH57TMZPXE | VH57TMZPXE | 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 2308.05715#WCH2 |
| VH5A4D0CF5 | VH5A4D0CF5 | 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.17371#Q7A0 |
| VH5HYBJ080 | VH5HYBJ080 | 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 1711.00219#MM0W |
| VH5XCTQJ4P | VH5XCTQJ4P | 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.16241#796J |
| VH6DYFEK3Y | VH6DYFEK3Y | counterexample | 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.21915#MX45 |
| VH6ZCF2ZBD | VH6ZCF2ZBD | 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.13745#6DNJ |
| VH6ZPJT295 | VH6ZPJT295 | 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.24023#LCHM |
| VH8AQVA83J | VH8AQVA83J | 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 2309.08900#4W3V |
| VH8S97QZ32 | VH8S97QZ32 | 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.25449#ED8O |
| VH978DP639 | VH978DP639 | 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.38051#MX8Y |
| VH9BAV3AS9 | VH9BAV3AS9 | 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.22657#GJN6 |
| VH9Q6KYQZX | VH9Q6KYQZX | 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 2210.02261#LTKP |
| VHA99KY2PA | VHA99KY2PA | 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.12480#I3L2 |
| VHB24HTPGV | VHB24HTPGV | 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 math/0406514#5BL7 |
| VHBD6ZPG7Z | VHBD6ZPG7Z | 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.36181#SHCF |
| VHBGW3RK2E | VHBGW3RK2E | 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.01433#BRCM |
| VHCJBBE453 | VHCJBBE453 | 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.13833#XW0J |
| VHDJPG3STV | VHDJPG3STV | 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.40200#GT5F |
| VHEQGJT8CX | VHEQGJT8CX | 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.17267#6764 |