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 2601–2700 of 3154.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| VSRMPR6KPT | VSRMPR6KPT | 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.25761#WPID |
| VSRRK7J480 | VSRRK7J480 | exercise | open | levin_dmoi ptx/exercises/gt-conc.ptx#exercise-14 |
| VSS | RE1GPFH931 | 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.17677#2SC4 |
| VSS4709VX3 | VSS4709VX3 | 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.24599#C91V |
| VSTA3P0SMK | VSTA3P0SMK | 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.31445#BPOE |
| VSTZ8MXW3V | VSTZ8MXW3V | 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.05259#3TZB |
| VSV8MV8AHG | VSV8MV8AHG | 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 2512.16003#NI6Z |
| VSVCKRSTMR | VSVCKRSTMR | definition | open | lebl_scv scv.tex#defn-4 |
| VSVV3KJ21W | VSVV3KJ21W | 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.21935#AJQ0 |
| VSW3ANDR3K | VSW3ANDR3K | 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.16877#N8VX |
| VSWDVDVFAC | VSWDVDVFAC | 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#M0SV |
| VSWZEHM8KK | VSWZEHM8KK | 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.26340#XCDH |
| VSX7GCHSKY | VSX7GCHSKY | 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.21391#5XSL |
| VSXSC38BDC | VSXSC38BDC | 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.20558#FY7B |
| VSY87ZPG5Q | VSY87ZPG5Q | 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 2005.03073#HOAC |
| VSZANV81FJ | VSZANV81FJ | 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.25761#YUFP |
| VSZE2JF1J9 | VSZE2JF1J9 | 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.00021#BHRE |
| VSZG7YW4JK | VSZG7YW4JK | 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.25289#EQFZ |
| VSZNRVVWW4 | VSZNRVVWW4 | exercise | open | open_logic content/first-order-logic/axiomatic-deduction/identity.tex#prob-1 |
| VSZNSW01M3 | VSZNSW01M3 | 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 1905.00573#9705 |
| VT0AVY3FA7 | VT0AVY3FA7 | 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#SVFC |
| VT0WBYBX0C | VT0WBYBX0C | 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.02585#WMOP |
| VT0WRVQNF5 | VT0WRVQNF5 | 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 2108.06308#HPUM |
| VT0YVF76ME | VT0YVF76ME | example | open | lebl_diffyqs ch-power-ser.tex#example-5 |
| VT1KPDJJ33 | VT1KPDJJ33 | 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.19309#WUFK |
| VT1QXY9DHV | VT1QXY9DHV | 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 0906.4245#LXIT |
| VT3BVMS66E | VT3BVMS66E | 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 2204.10840#6GC9 |
| VT3KV3X6D1 | VT3KV3X6D1 | 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 0806.0678#XQBO |
| VT3THQBTAH | VT3THQBTAH | 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.21725#1H8O |
| VT47C4Q069 | VT47C4Q069 | 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 2307.11942#3V4V |
| VT4KJ4TBN0 | VT4KJ4TBN0 | 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.31274#3VIK |
| VT5DTT9XW1 | VT5DTT9XW1 | exercise | open | lebl_scv scv.tex#exercise-287 |
| VT5N613B2E | VT5N613B2E | 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.20956#6U0C |
| VT5TDQERPS | VT5TDQERPS | 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.25983#3IQQ |
| VT6D7WSR3V | VT6D7WSR3V | 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.32174#EMK4 |
| VT7PA0EN06 | VT7PA0EN06 | 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.28742#XVZ5 |
| VT7TVEW0TM | VT7TVEW0TM | 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.12633#SU3Q |
| VT82N6G2TM | VT82N6G2TM | 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.13798#OQKB |
| VT96NR05GE | VT96NR05GE | 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.06669#GRRM |
| VT9PHB9SK7 | VT9PHB9SK7 | 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.22153#PSQ6 |
| VT9QG127ZT | VT9QG127ZT | 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#F9A3 |
| VTA28V1AKV | VTA28V1AKV | 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 2310.14879#D2IS |
| VTA9RCKPND | VTA9RCKPND | 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.32233#H5E1 |
| VTBEJKFBJ5 | VTBEJKFBJ5 | 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.02833#08Q0 |
| VTBME5TA9K | VTBME5TA9K | 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.17759#3BJB |
| VTC3VZA07W | VTC3VZA07W | 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.02207#HOJO |
| VTCDGM5ZXH | VTCDGM5ZXH | 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.16059#GFPS |
| VTCFNSG3PK | VTCFNSG3PK | 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.36321#XWFG |
| VTCR50P09P | VTCR50P09P | definition | open | napkin tex/measure/pontryagin.tex#definition-3 |
| VTD867N8YA | VTD867N8YA | 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 2102.10460#IYW9 |
| VTE9NV6TE2 | VTE9NV6TE2 | 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.29152#7RXD |
| VTESV795E9 | VTESV795E9 | 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.00585#TNUH |
| VTEVWPFZZD | VTEVWPFZZD | definition | open | open_logic content/model-theory/lindstrom/abstract-logics.tex#defn-1 |
| VTF3Z600H6 | VTF3Z600H6 | 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.21866#GWFO |
| VTFBA52NBY | VTFBA52NBY | proof | open | applied_combinatorics source/s_graphs_planar.ptx#proof-1 |
| VTFT3PVG84 | VTFT3PVG84 | 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.36622#GSHZ |
| VTFT9NZ8ED | VTFT9NZ8ED | 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.27687#HXMR |
| VTFVYA4PHE | VTFVYA4PHE | 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.36334#HE1C |
| VTGA7ZZ24E | VTGA7ZZ24E | definition | open | napkin tex/cats/categories.tex#definition-4 |
| VTH0QSWH6E | VTH0QSWH6E | 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.14097#Q6AR |
| VTH2GP3ZAT | VTH2GP3ZAT | exercise | open | napkin tex/alg-NT/classgrp.tex#ques-6 |
| VTHB2PJAND | VTHB2PJAND | 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.30200#J7D8 |
| VTHDVX8RH0 | VTHDVX8RH0 | 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.26262#2NBH |
| VTHXA66TWP | VTHXA66TWP | proof | open | hott_book setmath.tex#proof-14 |
| VTJ07QVG9C | VTJ07QVG9C | 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.02079#27F4 |
| VTJ65W4XW0 | VTJ65W4XW0 | 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 2209.08186#E0ZT |
| VTKQNMZX2J | VTKQNMZX2J | 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#H60R |
| VTKVFWK705 | VTKVFWK705 | statement | open | lebl_ra ch-metric.tex#prop-7 |
| VTKZQPNGJ4 | VTKZQPNGJ4 | 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.27775#LN9Q |
| VTM20WDADA | VTM20WDADA | 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.25168#C1S5 |
| VTM46CKW6V | VTM46CKW6V | 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.40161#81LB |
| VTMD0NPAJ8 | VTMD0NPAJ8 | 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.24845#Z43U |
| VTMSZDAW49 | VTMSZDAW49 | 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.12691#2T5Y |
| VTMT7EB2V1 | VTMT7EB2V1 | 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#E4OW |
| VTNNPGXYEX | VTNNPGXYEX | 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 2105.03252#IDXH |
| VTNTJCMVYR | VTNTJCMVYR | 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.06225#NY61 |
| VTNVR0VCJG | VTNVR0VCJG | 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 math/0003117#V2KG |
| VTQR24H5PB | VTQR24H5PB | 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.01329#R6B9 |
| VTR3KYWDRZ | VTR3KYWDRZ | 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.28501#KOJ7 |
| VTS0SP8DET | VTS0SP8DET | 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.33852#Z0MK |
| VTS67YAPQH | VTS67YAPQH | 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.12291#6AYJ |
| VTSNWBNSHW | VTSNWBNSHW | 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 2505.04593#O9K9 |
| VTT1F63ZTV | VTT1F63ZTV | 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.16580#CGLL |
| VTT2RTBT6H | VTT2RTBT6H | 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.19449#GM53 |
| VTTRBGSD2R | VTTRBGSD2R | 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.26386#5CH9 |
| VTW7DDE1SR | VTW7DDE1SR | 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.12108#7YQR |
| VTWBX0B7JE | VTWBX0B7JE | problem | 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.26745#KL15 |
| VTWFV1N2NQ | VTWFV1N2NQ | 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.03754#8PMX |
| VTWSVQTGG9 | VTWSVQTGG9 | 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.25168#0W49 |
| VTXEECYGAX | VTXEECYGAX | 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.09873#Q6CS |
| VTXK28NKXW | VTXK28NKXW | 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#6H68 |
| VTXYAMS08B | VTXYAMS08B | 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.20416#1S6T |
| VTY0XKNMF7 | VTY0XKNMF7 | 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.14364#FG0P |
| VTYKR53GZM | VTYKR53GZM | 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 2506.21337#RXRO |
| VTZ3AH2CXX | VTZ3AH2CXX | 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.12576#4ZZF |
| VTZ5E1R3C2 | VTZ5E1R3C2 | 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 2204.01073#MT5A |
| VTZC4BKWZF | VTZC4BKWZF | 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.00918#8OF1 |
| VTZF2XBV9X | VTZF2XBV9X | 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 2506.16491#80CP |
| VTZJNR4257 | VTZJNR4257 | 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 2405.09294#CXQ3 |
| VTZTH8KCA4 | VTZTH8KCA4 | 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 1503.05744#N9Z0 |