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 4301–4400 of 4994.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| VS2Y405RWB | VS2Y405RWB | statement | record (an 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.20590#3MND |
| 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 |
| VS4DDZ06NH | VS4DDZ06NH | statement | record (an 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.23004#G5MY |
| 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 |
| VS7YC3SZDX | VS7YC3SZDX | statement | record (an 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.23605#WSLC |
| VS902SVFB5 | VS902SVFB5 | example | open | lebl_ra ch-contfunc.tex#example:removablediscont |
| VS9291NXVA | VS9291NXVA | statement | record (an 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.21121#Q09A |
| VS9R7M4HTP | VS9R7M4HTP | 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.20725#JJY5 |
| 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 |
| Vsevolod Ivanovich Romanovsky | AVJ4T29QWF | topic | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#D7IX |
| Vsevolod Romanovsky | NEY7P11T3K | topic | open | Wikipedia Vsevolod Romanovsky, Wikidata Q4397349 |
| Vsevolod Romanovsky | X3XX5SRJ7P | topic | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Q4DK |
| 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 |
| VSG243FPAT | VSG243FPAT | statement | record (an 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.20798#CC7Z |
| 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 |
| VSJBJ6EAAV | VSJBJ6EAAV | statement | record (an 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.20225#X2HS |
| 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 |
| VSNCR9VQBV | VSNCR9VQBV | 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.23238#EF2L |
| 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 |
| VSQ82MESJ7 | VSQ82MESJ7 | statement | record (an 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.24051#BBG8 |
| 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 |
| VSR8169X00 | VSR8169X00 | statement | record (an 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.21359#39DC |
| VSRJKSX6H9 | VSRJKSX6H9 | 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.20718#P167 |
| 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 |
| VSRMPR6KPT | VSRMPR6KPT | statement | record (an 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.25761#WPID |
| VSRRK7J480 | VSRRK7J480 | exercise | open | levin_dmoi ptx/exercises/gt-conc.ptx#exercise-14 |
| VSS | RE1GPFH931 | 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.17677#2SC4 |
| VSS4709VX3 | VSS4709VX3 | statement | record (an 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.24599#C91V |
| VSTA3P0SMK | VSTA3P0SMK | statement | record (an 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.31445#BPOE |
| VSTZ8MXW3V | VSTZ8MXW3V | 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.05259#3TZB |
| VSV8MV8AHG | VSV8MV8AHG | 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#NI6Z |
| VSVCKRSTMR | VSVCKRSTMR | definition | open | lebl_scv scv.tex#defn-4 |
| VSVV3KJ21W | VSVV3KJ21W | statement | record (an 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.21935#AJQ0 |
| VSW3ANDR3K | VSW3ANDR3K | statement | record (an 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.16877#N8VX |
| VSWDVDVFAC | VSWDVDVFAC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2404.06445#M0SV |
| VSWZEHM8KK | VSWZEHM8KK | statement | record (an 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.26340#XCDH |
| VSX7GCHSKY | VSX7GCHSKY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2606.21391#5XSL |
| VSXDGP2MC1 | VSXDGP2MC1 | statement | record (an 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.21403#STJB |
| VSXSC38BDC | VSXSC38BDC | statement | record (an 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.20558#FY7B |
| VSY87ZPG5Q | VSY87ZPG5Q | 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 2005.03073#HOAC |
| VSZANV81FJ | VSZANV81FJ | statement | record (an 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.25761#YUFP |
| VSZE2JF1J9 | VSZE2JF1J9 | statement | record (an 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.00021#BHRE |
| VSZG7YW4JK | VSZG7YW4JK | statement | record (an 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.25289#EQFZ |
| VSZJ5TTPAW | VSZJ5TTPAW | statement | record (an 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.21703#DPLZ |
| VSZNRVVWW4 | VSZNRVVWW4 | exercise | open | open_logic content/first-order-logic/axiomatic-deduction/identity.tex#prob-1 |
| VSZNSW01M3 | VSZNSW01M3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1905.00573#9705 |
| VT0AVY3FA7 | VT0AVY3FA7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1802.02910#SVFC |
| VT0WBYBX0C | VT0WBYBX0C | statement | record (an 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.02585#WMOP |
| VT0WRVQNF5 | VT0WRVQNF5 | statement | record (an 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.06308#HPUM |
| VT0YVF76ME | VT0YVF76ME | example | open | lebl_diffyqs ch-power-ser.tex#example-5 |