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 801–900 of 3154.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| V9Q9CED57N | V9Q9CED57N | statement | record (an 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.21536#CV1N |
| V9Q9XBCNYR | V9Q9XBCNYR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2406.06762#JKUP |
| V9R5F3H4QK | V9R5F3H4QK | statement | record (an 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.22081#C4F0 |
| V9R8NC2QJG | V9R8NC2QJG | exercise | open | napkin tex/H113/sylow.tex#ques-2 |
| V9S53EX55A | V9S53EX55A | exercise | open | lebl_diffyqs ch-intro.tex#exercise-25 |
| V9SKJ53XYG | V9SKJ53XYG | statement | record (an 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.08599#B07B |
| V9TAWG3HVA | V9TAWG3HVA | statement | record (an 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.11847#Q53P |
| V9TGTXAPPJ | V9TGTXAPPJ | statement | record (an 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.25823#17YY |
| V9VRZVQS71 | V9VRZVQS71 | statement | record (an 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.35642#K5G9 |
| V9W056ATH6 | V9W056ATH6 | statement | record (an 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.12484#0VM5 |
| V9WYTCC8AM | V9WYTCC8AM | 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 2103.08272#QRPC |
| V9X0FAQJ6G | V9X0FAQJ6G | 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.10558#XALZ |
| V9X89CW1Z6 | V9X89CW1Z6 | statement | record (an 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.02993#MFDL |
| V9XDV9AVSP | V9XDV9AVSP | statement | record (an 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#44X7 |
| V9YS99NX15 | V9YS99NX15 | statement | record (an 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.30315#3EZU |
| V9Z0YGYM03 | V9Z0YGYM03 | statement | record (an 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.07673#QVCO |
| V9Z1JBND6C | V9Z1JBND6C | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2104.00162#OKOL |
| V9ZDVKKZ9J | V9ZDVKKZ9J | 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 0909.2893#D8RM |
| V9ZJ17BQC1 | V9ZJ17BQC1 | example | open | levin_dmoi ptx/sec_gt-intro.ptx#example-2 |
| V9ZK4NVWSB | V9ZK4NVWSB | example | open | napkin tex/measure/martingale.tex#example-2 |
| V9ZKQFSXY3 | V9ZKQFSXY3 | statement | record (an 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.14820#80ND |
| V9ZQGTE6P0 | V9ZQGTE6P0 | statement | record (an 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.31327#7J9G |
| V9ZR7NHKXN | V9ZR7NHKXN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1804.06366#QWGS |
| VA0R0XE2RV | VA0R0XE2RV | statement | record (an 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.33656#D38T |
| VA0VTQN251 | VA0VTQN251 | statement | record (an 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.33238#B056 |
| VA0W9Y0NNK | VA0W9Y0NNK | unknown | open | |
| VA0ZD117MK | VA0ZD117MK | statement | record (an 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.03144#A2SP |
| VA12GCX10J | VA12GCX10J | statement | record (an 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#3QY1 |
| VA1MBXSPEH | VA1MBXSPEH | statement | record (an 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.14681#BGEA |
| VA1NSN3NBF | VA1NSN3NBF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2110.12380#X7ZI |
| VA1TWFGTD6 | VA1TWFGTD6 | statement | record (an 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.29903#W559 |
| VA27MCC7KS | VA27MCC7KS | statement | record (an 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.14068#F19B |
| VA2HFX69C2 | VA2HFX69C2 | statement | record (an 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.30323#UBQQ |
| VA35W4SAW1 | VA35W4SAW1 | statement | record (an 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.05628#5EXX |
| VA36M889FB | VA36M889FB | statement | record (an 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.03384#NF1M |
| VA3HMQZZXF | VA3HMQZZXF | statement | record (an 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.14306#52DY |
| VA3KYZD9AK | VA3KYZD9AK | statement | record (an 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.11047#21IC |
| VA3TYY79DK | VA3TYY79DK | statement | record (an 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.15723#H019 |
| VA5J2S0S0D | VA5J2S0S0D | statement | record (an 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.21963#HQLY |
| VA5PBMNHFV | VA5PBMNHFV | statement | record (an 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.17181#E5JJ |
| VA5XGSA4Y9 | VA5XGSA4Y9 | statement | record (an 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.07695#CMHI |
| VA62AFCCPX | VA62AFCCPX | statement | record (an 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.13869#LBQB |
| VA6HT91S25 | VA6HT91S25 | 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 1903.07030#OER4 |
| VA6RWQGMFR | VA6RWQGMFR | statement | record (an 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#BHC8 |
| VA6TW3AHB2 | VA6TW3AHB2 | 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.36423#0SLF |
| VA7NSVHFYZ | VA7NSVHFYZ | statement | record (an 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.02692#0TYF |
| VA7YS6K3SX | VA7YS6K3SX | statement | record (an 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.28677#5TN2 |
| VA822C9XBR | VA822C9XBR | 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.02495#S29T |
| VA8941J3P8 | VA8941J3P8 | 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.36423#IPKU |
| VA8C4ET4KD | VA8C4ET4KD | 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.27078#ZPJ4 |
| VA8XHV7HGM | VA8XHV7HGM | 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.09314#27NP |
| VA93BG8Z5B | VA93BG8Z5B | statement | record (an 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.02139#DZ1S |
| VAA04ESKBS | VAA04ESKBS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0803.0074#Y0IT |
| VAAGXE8CXV | VAAGXE8CXV | statement | record (an 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.35102#BXJ0 |
| VAAMQRZYJE | VAAMQRZYJE | statement | record (an 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.34168#P73F |
| VAB064TY7R | VAB064TY7R | statement | record (an 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.16606#M6V3 |
| VAB14SFED1 | VAB14SFED1 | statement | record (an 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.35691#I915 |
| VAB8ZS2S44 | VAB8ZS2S44 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2407.08004#XA3N |
| VABDNENQG0 | VABDNENQG0 | statement | record (an 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.04503#P1ZP |
| VABE7167PC | VABE7167PC | definition | open | open_logic content/sets-functions-relations/sets/subsets.tex#forallxina |
| VABQVMVE10 | VABQVMVE10 | exercise | open | active_calculus source/activities/act-4-1-1.xml#act-4-1-1 |
| VACHP6PVQC | VACHP6PVQC | statement | record (an 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.26500#QCUO |
| Vaclav Zizler | 4GFEQ1SHBJ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q7908018, ProofWiki Mathematician:Václav_E._Zizler |
| VACN58XWG8 | VACN58XWG8 | statement | record (an 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.40123#T1FU |
| vacuum | C9MEVM4V2P | definition | open | Wikidata Q11475, ProofWiki Definition:Vacuum |
| vacuum energy | 55SHP0FKTT | unknown | open | Wikidata Q1143773, nLab vacuum energy |
| vacuum expectation value | G3KEVWWBYK | unknown | open | Wikidata Q1137397, nLab vacuum expectation value |
| Vacuum is transported | XNCA3NJ1P0 | statement | record (an 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.04894#XV42 |
| vacuum polarization | D6GH30GC7D | unknown | open | Wikidata Q1886497, nLab vacuum polarization |
| Vacuum-mode representation from a Williamson decomposition | YS9V0YM6YK | statement | record (an 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.01855#E6OD |
| Vacuum-uniform initial-layer estimate | EC2CDG9EHV | statement | record (an 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.04894#3BOG |
| VACYT5N9ZW | VACYT5N9ZW | statement | record (an 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.27103#RX6B |
| VAD1QC5YPM | VAD1QC5YPM | statement | record (an 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.26041#9EJK |
| VAD44P58AX | VAD44P58AX | example | open | napkin tex/alg-geom/proj-var.tex#example-9 |
| VADENWXAAQ | VADENWXAAQ | statement | record (an 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.14837#JXO1 |
| Vadim Kaplunovsky | ABB3W2APPP | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q60041059, nLab Vadim Kaplunovsky |
| Vadim Knizhnik | 59KCEWKRWA | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1542220, nLab Vadim Knizhnik |
| Vadim Schechtman | 9Z5B496G0D | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q15455168, nLab Vadim Schechtman |
| VADMP1C233 | VADMP1C233 | 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#9IGT |
| VADP0GYR0A | VADP0GYR0A | statement | record (an 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.16203#MPUC |
| VAEG5RZJF2 | VAEG5RZJF2 | exercise | open | lebl_scv scv.tex#exercise-67 |
| VAF11D5JXT | VAF11D5JXT | statement | record (an 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.02061#VTTU |
| VAF6F2JWR9 | VAF6F2JWR9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2111.14699#L3DQ |
| Vafa–Witten theorem | 2EYGA858XR | statement | open | mathlib_1000 Q10859514, Wikidata Q10859514, thousand_plus Q10859514, Wikipedia Vafa–Witten theorem |
| VAFMKKNMXS | VAFMKKNMXS | 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.18992#U77C |
| VAFR60M3TW | VAFR60M3TW | statement | record (an 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.09084#784Q |
| VAG7ZSZFBV | VAG7ZSZFBV | statement | record (an 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.11974#1I3Y |
| VAGKCJ0P51 | VAGKCJ0P51 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2008.10035#HZNG |
| Vagn Lundsgaard Hansen | 53TX8MYKQY | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q12340430, nLab Vagn Lundsgaard Hansen |
| VAGRTGCSDP | VAGRTGCSDP | statement | record (an 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#VCWW |
| VAHNXTR1W7 | VAHNXTR1W7 | statement | record (an 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.15169#1QSR |
| VAHS229YP0 | VAHS229YP0 | statement | record (an 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.15982#IOZJ |
| VAJG03QBBQ | VAJG03QBBQ | 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.00657#K1Z9 |
| VAJYNV89Y0 | VAJYNV89Y0 | proof | open | open_logic content/lambda-calculus/church-rosser/parallel-beta-reduction.tex#proof-2 |
| VAKDKADZG0 | VAKDKADZG0 | statement | record (an 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.17276#KRGL |
| VAKK83AYZ1 | VAKK83AYZ1 | statement | record (an 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.29158#6ZDW |
| Valencies | 91H2MN6KQW | 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.01731#F7NV |
| Valencies of $^2A_{2r-1}(q)$ | 6CPPAKDRTQ | statement | record (an 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.01731#0TJ0 |
| Valency of Finite Points | H2FVP9MJ49 | statement | record (an 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.28495#9FZU |
| Valeria de Paiva | TEJX7KJCFB | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q20731777, nLab Valeria de Paiva |