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 2001–2100 of 3154.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| VJWD2Y5DA4 | VJWD2Y5DA4 | statement | record (an 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#DPE3 |
| VJY3H3J09T | VJY3H3J09T | statement | record (an 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.27872#L4KE |
| VJY94TH5BH | VJY94TH5BH | statement | open | open_logic content/first-order-logic/natural-deduction/provability-propositional.tex#prop:provability-land |
| VJYB4G21SZ | VJYB4G21SZ | definition | open | napkin tex/complex-ana/holomorphic.tex#definition-1 |
| VJZ21TJTRA | VJZ21TJTRA | statement | record (an 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.27872#TBUA |
| VJZJX6T8PV | VJZJX6T8PV | statement | record (an 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.29712#SQM4 |
| VJZNM4N2SP | VJZNM4N2SP | statement | record (an 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.26477#9AO7 |
| VK0XT0PP5Q | VK0XT0PP5Q | statement | record (an 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.10581#0GGU, arXiv 2610.13699#PM8T |
| VK1RQBRCNT | VK1RQBRCNT | definition | open | open_logic content/lambda-calculus/syntax/term-revisited.tex#def:fv |
| VK202K4AYC | VK202K4AYC | exercise | open | napkin tex/set-theory/ordinal.tex#exercise-5 |
| VK2RFERZ4P | VK2RFERZ4P | exercise | open | napkin tex/alg-geom/spec-sheaf.tex#problem-3 |
| VK2X86T3XC | VK2X86T3XC | statement | record (an 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#8V3X |
| VK32Y6E75Y | VK32Y6E75Y | statement | record (an 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.01742#YGY3 |
| VK36NK6QQT | VK36NK6QQT | statement | record (an 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.31276#OZBZ |
| VK38Y68BVK | VK38Y68BVK | unknown | open | arXiv 2610.13680#JQE9 |
| VK5P12C5YR | VK5P12C5YR | statement | record (an 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#NITV |
| VK62K1G0SC | VK62K1G0SC | statement | record (an 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.29712#447W |
| VK6A8F80JC | VK6A8F80JC | statement | record (an 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.07718#828G |
| VK6DRP2371 | VK6DRP2371 | statement | record (an 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.03814#HWDJ |
| VK6W0TND4M | VK6W0TND4M | statement | record (an 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.20466#WHR2 |
| VK6XSKZSFH | VK6XSKZSFH | statement | record (an 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.15099#TMZP |
| VK6Z5YF68F | VK6Z5YF68F | statement | record (an 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.12931#0QCD |
| VK7QW68ZKW | VK7QW68ZKW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0812.1600#61NW |
| VK8ANZZW4F | VK8ANZZW4F | statement | record (an 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#8SD2 |
| VK8C01KYN9 | VK8C01KYN9 | exercise | open | lebl_scv scv.tex#exercise-122 |
| VK90TRECBS | VK90TRECBS | statement | record (an 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.00386#SC8Z |
| VKAEAKEXER | VKAEAKEXER | statement | record (an 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.29262#IEGN |
| VKAFQSPM42 | VKAFQSPM42 | statement | record (an 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#JF3Q |
| VKAG9YGXZ5 | VKAG9YGXZ5 | statement | record (an 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.17648#FFUJ |
| VKBD0W7RDQ | VKBD0W7RDQ | statement | open | hott_book formal.tex#cor-3 |
| VKBHEZJ3CM | VKBHEZJ3CM | 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 2401.07983#1TJ4 |
| VKBXYG96X3 | VKBXYG96X3 | exercise | open | open_logic content/turing-machines/undecidability/halting-problem.tex#prob-4 |
| VKC82J7GBC | VKC82J7GBC | statement | record (an 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.35191#MK3F |
| VKDYT2N2B4 | VKDYT2N2B4 | exercise | open | napkin tex/riemann-surface/line-bundles.tex#ques-7 |
| VKEW1XHXSC | VKEW1XHXSC | 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.36884#I9BT |
| VKEZ4TJPT9 | VKEZ4TJPT9 | 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 2610.18017#BHHN |
| VKF4GZK5AM | VKF4GZK5AM | exercise | open | applied_combinatorics source/s_strings_exercises.ptx#exercise-16 |
| VKFKPJE83W | VKFKPJE83W | exercise | open | levin_dmoi ptx/exercises/gt-trees.ptx#exercise-3 |
| VKFP54G4XM | VKFP54G4XM | statement | record (an 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.12502#G8ZA |
| VKG1H1P1Y5 | VKG1H1P1Y5 | statement | record (an 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.09570#D7RQ |
| VKG1VKS3JF | VKG1VKS3JF | statement | record (an 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.01837#PZ1M |
| VKG2HPZPE9 | VKG2HPZPE9 | 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 2210.16706#DNDS |
| VKGJD4WMND | VKGJD4WMND | definition | open | napkin tex/topology/metric-prop.tex#definition-3 |
| VKGWQJQHHN | VKGWQJQHHN | 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.36909#8G7S |
| VKGY29NMGA | VKGY29NMGA | statement | record (an 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.09129#66D0 |
| VKH9YGZ48A | VKH9YGZ48A | statement | record (an 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#PS4Q |
| VKHG1D0D7S | VKHG1D0D7S | statement | record (an 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#4FHB |
| VKHKYCJG4T | VKHKYCJG4T | statement | record (an 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.34339#HNT8 |
| VKJ7ECGJ39 | VKJ7ECGJ39 | definition | open | napkin tex/calculus/limits.tex#definition-5 |
| VKJENDP9T0 | VKJENDP9T0 | exercise | open | lebl_diffyqs ch-laplace.tex#exercise-36 |
| VKJS7WJMA1 | VKJS7WJMA1 | statement | record (an 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.39531#5074 |
| VKKMAWHGT3 | VKKMAWHGT3 | statement | record (an 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.25960#9J66 |
| VKNQXFVSC2 | VKNQXFVSC2 | statement | record (an 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#VH8I |
| VKNVP89T0F | VKNVP89T0F | statement | record (an 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#8876 |
| VKP4YQE1JF | VKP4YQE1JF | statement | record (an 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.36045#EO41 |
| VKP7W48ERP | VKP7W48ERP | statement | record (an 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.06785#N27E |
| VKQTVM5T9C | VKQTVM5T9C | 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.25291#8M6E |
| VKQVZSYXPD | VKQVZSYXPD | statement | record (an 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.09201#BJPX |
| VKQXZDTQEP | VKQXZDTQEP | statement | record (an 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.16554#9T1U |
| VKRHV9457S | VKRHV9457S | statement | record (an 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.05442#3XX4 |
| VKTAP66ZNE | VKTAP66ZNE | exercise | open | open_logic content/turing-machines/machines-computations/unary-numbers.tex#prob-5 |
| VKTGWQS4VK | VKTGWQS4VK | statement | record (an 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.15099#FILH |
| VKTHTT77K5 | VKTHTT77K5 | statement | record (an 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.06381#TW4M |
| VKTVK6VY9J | VKTVK6VY9J | statement | record (an 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#Z35C |
| VKVGHSM5QP | VKVGHSM5QP | statement | record (an 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.40156#ZPSJ |
| VKWH6QZSZJ | VKWH6QZSZJ | statement | record (an 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.27152#PY47 |
| VKXB36J8B1 | VKXB36J8B1 | statement | record (an 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.01251#JRFD |
| VKYKBTV94E | VKYKBTV94E | statement | record (an 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.12329#MNZX |
| Vladimir Abramovich Rokhlin | XV1ZHAK3WS | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q383045, ProofWiki Mathematician:Vladimir_Abramovich_Rokhlin |
| Vladimir Arnold | ABP0VYN0N9 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q157642, nLab Vladimir Arnold, ProofWiki Mathematician:Vladimir_Igorevich_Arnold |
| Vladimir Berkovich | DNNQDVP7G5 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q7938273, nLab Vladimir Berkovich |
| Vladimir Dotsenko | PTK805ZREJ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q102182923, nLab Vladimir S. Dotsenko |
| Vladimir Drinfeld | FRYAMZPAG3 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q369561, nLab Vladimir Drinfel'd, ProofWiki Mathematician:Vladimir_Gershonovich_Drinfeld |
| Vladimir Gribov | 95FW37VQDT | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2587331, nLab Vladimir Gribov |
| Vladimir Ignatowski | SRPCX98NP6 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1385596, ProofWiki Mathematician:Vladimir_Sergeyevitch_Ignatowski |
| Vladimir Retakh | JW2CDSXRCH | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q4393678, nLab Vladimir Retakh |
| Vladimir Turaev | Q8ZNZ2AMN1 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2587230, nLab Vladimir Turaev |
| Vladimiro Sassone | 6AVYT6KC07 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q62560413, nLab Vladimiro Sassone |
| Vladimirov absolute continuity | ZDYAEG4PY6 | 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.27414#Z9G0 |
| VM01X1DZHW | VM01X1DZHW | statement | record (an 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.32033#373J |
| VM0E7HTCTJ | VM0E7HTCTJ | statement | record (an 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#VOZO |
| VM146GYYZS | VM146GYYZS | 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.35442#LWHR |
| VM3226RCZ7 | VM3226RCZ7 | statement | record (an 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#7Y2X |
| VM36WCD604 | VM36WCD604 | statement | record (an 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#F93Z |
| VM38E9VTM8 | VM38E9VTM8 | 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.01694#6TIL |
| VM4HND68CR | VM4HND68CR | statement | record (an 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#9S4A |
| VM4PKTA8MH | VM4PKTA8MH | proof | open | lebl_ra ch-real-nums.tex#proof-15 |
| VM4ZB86BKJ | VM4ZB86BKJ | exercise | open | lebl_diffyqs ch-laplace.tex#exercise-43 |
| VM5K7PD00T | VM5K7PD00T | statement | record (an 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.09819#W97L |
| VM5Z8B8EEQ | VM5Z8B8EEQ | exercise | open | applied_combinatorics source/s_inclusion-exclusion_exercises.ptx#exercise-20 |
| VM61E0Z5DE | VM61E0Z5DE | statement | record (an 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.39353#YEQY |
| VM6AJ368TE | VM6AJ368TE | statement | record (an 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.36389#41W4 |
| VM6J359HBK | VM6J359HBK | 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.38556#T8CW |
| VM6W4JMFNG | VM6W4JMFNG | statement | record (an 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.07099#XESQ |
| VM70WSVSPR | VM70WSVSPR | 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 0806.0678#ZXUO |
| VM76CRS878 | VM76CRS878 | 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.26386#N1RK |
| VM89PF3MQQ | VM89PF3MQQ | statement | record (an 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.03420#NEC3 |
| VM8NQ7RGKJ | VM8NQ7RGKJ | statement | record (an 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.12502#FFQV |
| VM8Q0WGS3J | VM8Q0WGS3J | statement | open | open_logic content/normal-modal-logic/frame-definability/definability.tex#cor-1 |
| VM9A54KY7R | VM9A54KY7R | statement | record (an 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#MUOR |