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 2001–2100 of 4994.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| VBHKXGVQ39 | VBHKXGVQ39 | 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.06895#MXJ7 |
| VBHQMH5DGJ | VBHQMH5DGJ | 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.11481#VVAS |
| VBHYSN48TG | VBHYSN48TG | 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.10248#W1IR |
| VBJJHETZD8 | VBJJHETZD8 | exercise | open | napkin tex/riemann-surface/line-bundles.tex#ques-5 |
| VBJR2NRW2Q | VBJR2NRW2Q | 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.12691#4G7E |
| VBJVJ77QRW | VBJVJ77QRW | exercise | open | lebl_ra ch-approximate.tex#exercise-23 |
| VBK1E65R4A | VBK1E65R4A | 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.20909#B3A5 |
| VBKPTY9W4R | VBKPTY9W4R | 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#GHVD |
| VBKTKGDYZF | VBKTKGDYZF | 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#0UWW |
| VBM9A7EYA3 | VBM9A7EYA3 | 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.21578#KW1L |
| VBMNAJMZKB | VBMNAJMZKB | statement | open | open_logic content/methods/proofs/using-definitions.tex#prop-2 |
| VBMPHR95CN | VBMPHR95CN | 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.34570#DG7Z |
| VBN2VDPVVE | VBN2VDPVVE | definition | open | napkin tex/H113/action.tex#definition-2 |
| VBN6FP9FDY | VBN6FP9FDY | 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.17720#ZZ5T |
| VBNS81BT0S | VBNS81BT0S | 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.25120#QAGJ |
| VBNXQSECBG | VBNXQSECBG | proof | open | lebl_scv scv.tex#proof-46 |
| VBP15JVYB9 | VBP15JVYB9 | 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.07240#14TF |
| VBP9Z39FSJ | VBP9Z39FSJ | 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.22268#VS6C |
| VBQBJA2MMM | VBQBJA2MMM | 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.27931#740S |
| VBQN3734MT | VBQN3734MT | 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.13715#4LCO |
| VBQQK6WKKR | VBQQK6WKKR | 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.11082#YJ3U |
| VBQWNRY760 | VBQWNRY760 | 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.22074#BMR5 |
| VBR0G70HER | VBR0G70HER | 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.08873#L86Q |
| VBR4P1RQ3D | VBR4P1RQ3D | 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.02983#92JU |
| VBRNXQ1TPX | VBRNXQ1TPX | 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.19194#WC5P |
| VBT2BT4AZ6 | VBT2BT4AZ6 | 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.03499#GIG5 |
| VBTGGDHAQF | VBTGGDHAQF | statement | open | open_logic content/computability/recursive-functions/halting-problem.tex#thm:halting-problem |
| VBTT7QZMME | VBTT7QZMME | statement | open | hott_book homotopy.tex#lem:hopf-construction |
| VBTZ1RTQ6R | VBTZ1RTQ6R | 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.15887#UATP |
| VBV5V2N4S7 | VBV5V2N4S7 | 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.24701#YOBP |
| VBV6197S2B | VBV6197S2B | 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.21355#P7U9 |
| VBVFKYF853 | VBVFKYF853 | 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.19787#M0AE |
| VBVN0TXBSZ | VBVN0TXBSZ | 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 2411.00562#0NJS |
| VBVQV1B07M | VBVQV1B07M | 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 2504.13516#Z238 |
| VBVYRR10HV | VBVYRR10HV | 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.10558#J4UT |
| VBWBFR8APX | VBWBFR8APX | 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.21533#BQRS |
| VBWJ8J4T39 | VBWJ8J4T39 | 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 2502.09442#PNM4 |
| VBWQSV9Z71 | VBWQSV9Z71 | 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.10930#GSO8 |
| VBXQN11G9W | VBXQN11G9W | 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.40138#IED8 |
| VBXWAS9QVT | VBXWAS9QVT | 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 1910.05504#4RLE |
| VBY4BRBYRA | VBY4BRBYRA | 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.13833#2S3T |
| VBYJ896B3S | VBYJ896B3S | 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.24541#F9SK |
| VBYVCPZPE7 | VBYVCPZPE7 | 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.22394#9PMC |
| VBYYJ3DYJY | VBYYJ3DYJY | proof | open | napkin tex/calculus/differentiate.tex#proof-1 |
| VBZ96NCRWC | VBZ96NCRWC | 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.08583#KJY1 |
| VC dimension | 2FTJGFK6QT | definition | open | Wikidata Q2662236, MathWorld Vapnik-ChervonenkisDimension, Wikipedia Vapnik–Chervonenkis dimension |
| VC dimension | 9PJDPRNVYY | unknown | open | mathlib_overview Combinatorics > Set families > VC dimension, Mathlib Finset.vcDim |
| VC dimension | TG7DW6BBNN | definition | open | Wikipedia List of statistics articles#TGB7 |
| VC inequality | 219GNXF7ZD | statement | open | Wikipedia Vapnik–Chervonenkis theory#4LAK |
| VC theory | K7EY6FMJY5 | topic | open | Wikipedia List of statistics articles#G4GO |
| VC-dimension bound | RVG5C0GWFV | 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.28341#PNW7 |
| VC02GG0T64 | VC02GG0T64 | 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 2503.19528#TH7G |
| VC0XMP8DZ5 | VC0XMP8DZ5 | 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.33578#X9FI |
| VC0Z50G0XR | VC0Z50G0XR | 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 1204.5958#ZUW6 |
| VC12A5B5TG | VC12A5B5TG | 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.21060#X3MU |
| VC1GQ2M49V | VC1GQ2M49V | 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.23941#B4FF |
| VC2QEYH9HS | VC2QEYH9HS | 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.09548#G97U |
| VC3FGX3FT0 | VC3FGX3FT0 | 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.09704#NJ4Y |
| VC3M40ASCP | VC3M40ASCP | definition | open | ernst_ibl MAAPressVersion/Partitions.tex#def:partition |
| VC3VJJHNYG | VC3VJJHNYG | 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.29501#QIEH |
| VC4878RC1R | VC4878RC1R | 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 2503.08018#HE20 |
| VC4QH4RD3K | VC4QH4RD3K | 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.20077#OU7W |
| VC4XNX3GNF | VC4XNX3GNF | 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.13401#Y02C |
| VC54XFWJ8A | VC54XFWJ8A | 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.19283#BTHA |
| VC5WDNBW6A | VC5WDNBW6A | 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.18281#1ONO |
| VC69VFTK8A | VC69VFTK8A | 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.16844#CC56 |
| VC6WE6VKM0 | VC6WE6VKM0 | exercise | open | ernst_ibl MAAPressVersion/EquivalenceRelations.tex#problem-2 |
| VC6WFZXXTB | VC6WFZXXTB | 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 2401.00191#OEXC |
| VC737P346J | VC737P346J | exercise | open | ernst_ibl MAAPressVersion/Counting.tex#question-2 |
| VC7BQD69JE | VC7BQD69JE | 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.08202#YQG8 |
| VC7TSMVKAG | VC7TSMVKAG | 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#E2I7 |
| VC7YT18STX | VC7YT18STX | 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#NFYS |
| VC8H3G71V0 | VC8H3G71V0 | 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.37124#S23D |
| VC94KFSZX4 | VC94KFSZX4 | exercise | open | lebl_ra ch-riemann.tex#exercise:rieleblem |
| VC9D07V8PB | VC9D07V8PB | exercise | open | austin_ula src/exercises/exercises4-3.xml#exercise-6 |
| VC9GCW30C9 | VC9GCW30C9 | 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.14435#K6BF |
| VCAGQ8XSXK | VCAGQ8XSXK | 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.23238#R0GJ |
| VCAR2TJ5NY | VCAR2TJ5NY | 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.08233#QZ68 |
| VCAZRS1KGA | VCAZRS1KGA | 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.21052#NSJF |
| VCBA199WE8 | VCBA199WE8 | exercise | open | lebl_scv scv.tex#exercise-188 |
| VCBJ0M84RW | VCBJ0M84RW | 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#9DY5 |
| VCBS7DCRVC | VCBS7DCRVC | 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.23262#UKG1 |
| VCC7V0YS57 | VCC7V0YS57 | 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.29699#VAOQ |
| VCCFY7MAJT | VCCFY7MAJT | proof | open | open_logic content/set-theory/ord-arithmetic/addition.tex#proof-3 |
| VCCPXCS0YR | VCCPXCS0YR | 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.34845#WSRU |
| VCCRE7247M | VCCRE7247M | 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.01717#ZHTK |
| VCCZTACMFX | VCCZTACMFX | 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.20740#1QNJ |
| VCD2BCNC16 | VCD2BCNC16 | 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#GCWD |
| VCD535A4S8 | VCD535A4S8 | 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.00247#3D51 |
| VCDTG4PDRS | VCDTG4PDRS | 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.26600#PLF9 |
| VCEC3Y2219 | VCEC3Y2219 | 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.25967#LI5D |
| VCEHCAFPEY | VCEHCAFPEY | 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.34946#0QBM |
| VCESHE9N3A | VCESHE9N3A | 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 2401.14143#3QMJ |
| VCEST9BDYA | VCEST9BDYA | 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.17737#MJHA |
| VCEWTFY3NP | VCEWTFY3NP | 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 2408.01345#O3AV |
| VCEYHZM8WQ | VCEYHZM8WQ | 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.07927#93PQ |
| VCF3PDSVFP | VCF3PDSVFP | 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#NJZM |
| VCF4SM9989 | VCF4SM9989 | exercise | open | austin_ula src/exercises/exercises5-2.xml#exercise-power-method |
| VCFBVW461H | VCFBVW461H | 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 2508.08809#UU6J |
| VCFEE8T9TT | VCFEE8T9TT | 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 2607.00146#FA6V |