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 2501–2600 of 3154.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| VRG7WJ6N2S | VRG7WJ6N2S | statement | record (an 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.09319#X8NU |
| VRGR77X2PS | VRGR77X2PS | statement | record (an 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.28454#9QA5 |
| VRGYVYBPN6 | VRGYVYBPN6 | statement | record (an 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.39675#T97Q |
| VRH0F0BJTK | VRH0F0BJTK | statement | record (an 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.33512#5C0Y |
| VRH46V6DJ5 | VRH46V6DJ5 | statement | record (an 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.15217#7U03 |
| VRH4EAA1DN | VRH4EAA1DN | statement | record (an 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.31102#EPMW |
| VRJVXXDZGZ | VRJVXXDZGZ | statement | record (an 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.37580#JTAD |
| VRK09WQE9D | VRK09WQE9D | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise-64 |
| VRK63K8W7H | VRK63K8W7H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2305.06030#U9DY |
| VRKBWG2RA6 | VRKBWG2RA6 | statement | record (an 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.14278#JCV9 |
| VRKZV41WDR | VRKZV41WDR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0805.4273#GAHD |
| VRM26QBABD | VRM26QBABD | 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.20316#VG6P |
| VRMFDA1629 | VRMFDA1629 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2305.06030#E1DY |
| VRMFM5F29S | VRMFM5F29S | statement | record (an 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.11778#6OSQ |
| VRN9FMJQWP | VRN9FMJQWP | statement | record (an 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.11143#TB8P |
| VRNYR14Y56 | VRNYR14Y56 | statement | record (an 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.14985#DMFD |
| VRP47PKK7M | VRP47PKK7M | statement | record (an 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.01753#IGSW |
| VRP7MZZZKG | VRP7MZZZKG | statement | record (an 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.22082#JKO5 |
| VRPQJ4J9HK | VRPQJ4J9HK | statement | record (an 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.00267#CR6M |
| VRPS0JE3A6 | VRPS0JE3A6 | statement | record (an 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.15831#52A1 |
| VRPSG39ENW | VRPSG39ENW | statement | record (an 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#KEIQ |
| VRQ3F3FPXF | VRQ3F3FPXF | statement | record (an 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.13042#LNQH |
| VRQMY5FX81 | VRQMY5FX81 | statement | record (an 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.30895#O4I0 |
| VRR8GD8S2X | VRR8GD8S2X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0804.2115#V17I |
| VRRCQC281B | VRRCQC281B | statement | record (an 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.28189#2LYD |
| VRRWGQE6CJ | VRRWGQE6CJ | statement | record (an 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.05391#MPNM |
| VRS1Z7PHGR | VRS1Z7PHGR | 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.18600#I8I0 |
| VRSA5EM8PY | VRSA5EM8PY | 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 2004.12552#3OTK |
| VRSSW4CGPK | VRSSW4CGPK | statement | record (an 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.12908#6KN4 |
| VRSZ1ES3R8 | VRSZ1ES3R8 | exercise | open | napkin tex/alg-NT/norm-trace.tex#exercise-3 |
| VRT0CPEZQ4 | VRT0CPEZQ4 | statement | record (an 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.04730#OSF5 |
| VRVG1BG90K | VRVG1BG90K | 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.12736#IFFX |
| VRWH09TE4K | VRWH09TE4K | statement | record (an 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.32816#9ZIL |
| VRX1GF7DXF | VRX1GF7DXF | statement | record (an 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.04063#4LJB |
| VRXCN1GEK8 | VRXCN1GEK8 | statement | record (an 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.05391#KSWS |
| VRXDP1B8NJ | VRXDP1B8NJ | statement | record (an 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.18847#Z8AM |
| VRXHPGW6NY | VRXHPGW6NY | statement | record (an 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#YA1B |
| VRZ9FJQQP6 | VRZ9FJQQP6 | 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/0009023#WM1Z |
| VRZPKB3VTM | VRZPKB3VTM | statement | record (an 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.16208#6QTF |
| VRZVS3GJVQ | VRZVS3GJVQ | statement | record (an 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.03317#VKK8 |
| VS07NAMFC4 | VS07NAMFC4 | statement | record (an 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.00617#54H6 |
| VS0Y0AKFM9 | VS0Y0AKFM9 | exercise | open | hott_book hlevels.tex#ex:s2-colim-unit-2 |
| VS1X0W2D8M | VS1X0W2D8M | statement | record (an 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.07770#PWLD |
| VS23J42Q5V | VS23J42Q5V | statement | record (an 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.05986#ICEX |
| VS25YNW7P8 | VS25YNW7P8 | unknown | open | |
| VS2P9Z1E2H | VS2P9Z1E2H | statement | record (an 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.19333#ZTW9 |
| VS2SRH38WA | VS2SRH38WA | statement | record (an 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.17520#RG4X |
| VS2V7BK48X | VS2V7BK48X | 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.30018#Z4HO |
| VS3D0Z68QV | VS3D0Z68QV | 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.25353#ZSUX |
| VS3FS0ZY9S | VS3FS0ZY9S | unknown | open | |
| VS3NXM524J | VS3NXM524J | 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 2303.09207#PQDT |
| VS40W9E2G7 | VS40W9E2G7 | statement | record (an 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.03231#YATM |
| VS49TK33TS | VS49TK33TS | 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.15831#D7OP |
| VS5K0VWC75 | VS5K0VWC75 | exercise | open | open_logic content/first-order-logic/axiomatic-deduction/soundness.tex#prob-1 |
| VS6H38FKS1 | VS6H38FKS1 | statement | record (an 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.02484#FUWV |
| VS6HCBV32J | VS6HCBV32J | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2602.15812#WULX |
| VS7J6WY00B | VS7J6WY00B | statement | record (an 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.14450#ND35 |
| VS7VPQ4JRR | VS7VPQ4JRR | statement | record (an 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#7J2G |
| VS902SVFB5 | VS902SVFB5 | example | open | lebl_ra ch-contfunc.tex#example:removablediscont |
| VSA5Q5EQCR | VSA5Q5EQCR | 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 2104.04145#ZKQQ |
| VSAMRMCW8Z | VSAMRMCW8Z | 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.12483#8T2X |
| VSAS20B28Q | VSAS20B28Q | statement | record (an 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.09278#FJ0U |
| VSB4Z3ZQPH | VSB4Z3ZQPH | statement | record (an 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.10361#1GE7 |
| VSB8H69FG7 | VSB8H69FG7 | statement | record (an 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.40207#OLKE |
| VSBKAHZ4B9 | VSBKAHZ4B9 | statement | record (an 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.00596#1K6Q |
| VSC2WFK6SE | VSC2WFK6SE | 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.13429#BUW4 |
| VSC9ZRWHXK | VSC9ZRWHXK | statement | open | lebl_ra ch-contfunc.tex#fconstineq:cor |
| VSE4N8JWD2 | VSE4N8JWD2 | statement | record (an 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.08956#916B |
| VSE5Z1K7VA | VSE5Z1K7VA | statement | record (an 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.07963#MSLG |
| VSE8SW3EK2 | VSE8SW3EK2 | statement | record (an 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.00267#7ER6 |
| VSE9RJDH2S | VSE9RJDH2S | 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 1002.0879#I9UR |
| VSF1C8ZJF2 | VSF1C8ZJF2 | statement | open | open_logic content/first-order-logic/natural-deduction/provability-consistency.tex#prop:prov-incons |
| VSFK1RTCDA | VSFK1RTCDA | 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.10930#S0RQ |
| VSFZNE09XP | VSFZNE09XP | 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.07064#51Z1 |
| VSG4PJNXBE | VSG4PJNXBE | statement | record (an 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.18246#GT3M |
| VSH8AHQ0GG | VSH8AHQ0GG | exercise | open | open_logic content/first-order-logic/syntax-and-semantics/terms-formulas.tex#prob-1 |
| VSHGYJF6PX | VSHGYJF6PX | statement | record (an 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.13513#41B3 |
| VSHRKRYM4X | VSHRKRYM4X | statement | record (an 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#N2P2 |
| VSJCP5JG96 | VSJCP5JG96 | statement | record (an 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.26984#2X0V |
| VSKNNZP1A8 | VSKNNZP1A8 | statement | record (an 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.03288#KMJT |
| VSKXY6MB5B | VSKXY6MB5B | 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.24902#TBB3 |
| VSM36SRW4A | VSM36SRW4A | statement | record (an 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.17585#S7QN |
| VSM8F1T10A | VSM8F1T10A | statement | record (an 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.39449#6ND0 |
| VSMBW60984 | VSMBW60984 | statement | record (an 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.21255#CRNC |
| VSMGE17309 | VSMGE17309 | 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.37761#NADP |
| VSMP4FAZXC | VSMP4FAZXC | exercise | open | open_logic content/turing-machines/machines-computations/unary-numbers.tex#prob-3 |
| VSN0SB33MN | VSN0SB33MN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.04758#R0DF |
| VSN29YAEBV | VSN29YAEBV | statement | record (an 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.20801#XGPK |
| VSNHH9428E | VSNHH9428E | statement | record (an 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#SMVI |
| VSNP770YYZ | VSNP770YYZ | statement | record (an 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.20972#6BJ3 |
| VSNWDMWVPT | VSNWDMWVPT | statement | record (an 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.15926#TCDS |
| VSP33BNEP9 | VSP33BNEP9 | statement | record (an 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.19637#18G9 |
| VSP7J9CSNJ | VSP7J9CSNJ | statement | record (an 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.29185#JTNX |
| VSPPGAN0XW | VSPPGAN0XW | statement | record (an 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.07049#ALG6 |
| VSPVPTV5E9 | VSPVPTV5E9 | statement | record (an 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.27965#O6NJ |
| VSPZYWSKZ6 | VSPZYWSKZ6 | exercise | open | open_logic content/first-order-logic/completeness/construction-of-model.tex#prob-1 |
| VSQ2ZGYTFV | VSQ2ZGYTFV | statement | record (an 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.37439#EU65 |
| VSQE5W24E9 | VSQE5W24E9 | statement | record (an 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.32176#0JSO |
| VSQPMR2B5H | VSQPMR2B5H | statement | record (an 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#EQFR |
| VSRMNNDEAF | VSRMNNDEAF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1709.08958#9U7U |