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 1201–1300 of 3154.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| 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 | unknown | open | Wikidata Q2662236, MathWorld Vapnik-ChervonenkisDimension |
| VC dimension | 9PJDPRNVYY | unknown | open | mathlib_overview Combinatorics > Set families > VC dimension, Mathlib Finset.vcDim |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| VCFKT38FP8 | VCFKT38FP8 | statement | record (an 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#ZBA4 |
| VCGCF4YMJR | VCGCF4YMJR | statement | record (an 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.25275#6NDW |
| VCH7WJW823 | VCH7WJW823 | example | open | napkin tex/riemann-surface/morphism.tex#example-1 |
| VCHB0JMRNH | VCHB0JMRNH | statement | record (an 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#7MKY |
| VCHB2BRGF1 | VCHB2BRGF1 | statement | record (an 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.39293#3U6V |
| VCK3KP2G8J | VCK3KP2G8J | statement | record (an 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.38815#XQTX |
| VCKZT73J7N | VCKZT73J7N | statement | record (an 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#41B2 |
| VCMQQDXBT6 | VCMQQDXBT6 | 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.06310#715M |
| VCN2ENJ42J | VCN2ENJ42J | 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.01737#11EJ |
| VCN5G16FFJ | VCN5G16FFJ | statement | record (an 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.40345#BOZO |
| VCN88DFE1Z | VCN88DFE1Z | statement | record (an 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.04673#D9YM |
| VCNFVHWE2G | VCNFVHWE2G | statement | record (an 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.27366#S9MC |
| VCNREFZ6EE | VCNREFZ6EE | 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 2510.05499#Y54W |
| VCNXRRQGRW | VCNXRRQGRW | statement | record (an 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.06200#L3RT |
| VCPK1PKXE5 | VCPK1PKXE5 | statement | record (an 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#2N00 |
| VCPPXE1Q6C | VCPPXE1Q6C | statement | open | lebl_ra ch-contfunc.tex#IVT:lemma |
| VCR98EDKV1 | VCR98EDKV1 | statement | record (an 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.04870#RUQV |
| VCRCWAQ39S | VCRCWAQ39S | statement | record (an 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.30444#CFBV |
| VCRGS95PHX | VCRGS95PHX | statement | record (an 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.35927#37K2 |
| VCRHH1R13Z | VCRHH1R13Z | statement | open | open_logic content/set-theory/ord-arithmetic/addition.tex#ordinaladditionisnice |
| VCRXSA5APH | VCRXSA5APH | statement | record (an 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.00337#NF8T |
| VCSEGYXAS5 | VCSEGYXAS5 | exercise | open | active_calculus source/activities/act-3-5-2.xml#act-3-5-2 |
| VCSV0ANZ99 | VCSV0ANZ99 | statement | record (an 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.00134#LHZY |
| VCSV82GY2T | VCSV82GY2T | 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.10927#3L1L |
| VCSZPE1CF4 | VCSZPE1CF4 | statement | record (an 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.07596#HK49 |
| VCTE13V7JJ | VCTE13V7JJ | statement | record (an 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.12169#MMHT |