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 301–400 of 3154.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| V3GW4HBYW3 | V3GW4HBYW3 | statement | record (an 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.12817#ZLPW |
| V3H20RZ4CE | V3H20RZ4CE | statement | record (an 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.14060#DK5L |
| V3HA4VR8PG | V3HA4VR8PG | statement | record (an 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.05539#K0KV |
| V3HC9WZZEF | V3HC9WZZEF | statement | open | open_logic content/computability/recursive-functions/pr-functions.tex#prop-1 |
| V3HRP7XT5R | V3HRP7XT5R | statement | record (an 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.13798#WIUU |
| V3HW3ZC1J4 | V3HW3ZC1J4 | statement | open | hott_book hits.tex#lem-1 |
| V3JB1V4FSF | V3JB1V4FSF | statement | record (an 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.09298#1MSP |
| V3JPBGTE4T | V3JPBGTE4T | statement | record (an 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#Z2AO |
| V3K197C68Q | V3K197C68Q | statement | record (an 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.20849#7JE0 |
| V3K8FEZ4MZ | V3K8FEZ4MZ | statement | record (an 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.27902#0P0W |
| V3MC8DG059 | V3MC8DG059 | statement | record (an 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.00775#KDD8 |
| V3NDCATNMS | V3NDCATNMS | 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 2511.06555#5J1J |
| V3NMSYY766 | V3NMSYY766 | 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 2402.08625#EGP6 |
| V3NP5V1FQ0 | V3NP5V1FQ0 | statement | record (an 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#NC64 |
| V3P5JGYBNC | V3P5JGYBNC | statement | record (an 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.19300#3DD3 |
| V3P8D53Y2A | V3P8D53Y2A | statement | record (an 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.31607#A30S |
| V3PE8JWVGM | V3PE8JWVGM | 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 2605.29624#H9FN |
| V3PS5DKE1J | V3PS5DKE1J | statement | record (an 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.05539#LG95 |
| V3Q2V3QWP3 | V3Q2V3QWP3 | unknown | open | arXiv 2106.06387#BORJ |
| V3QM4K019N | V3QM4K019N | statement | record (an 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.26269#8KQ9 |
| V3QZ9P7VPT | V3QZ9P7VPT | statement | record (an 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.36186#VTKK |
| V3R83ZDPYV | V3R83ZDPYV | statement | record (an 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.39330#FK1V |
| V3RXNBC3EB | V3RXNBC3EB | statement | record (an 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.12231#YEQH |
| V3RY7YKSPY | V3RY7YKSPY | 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.38548#70EI |
| V3SJHPXEE3 | V3SJHPXEE3 | 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.02901#K9CR |
| V3TVWRQ00P | V3TVWRQ00P | exercise | open | lebl_diffyqs ch-intro.tex#exercise-19 |
| V3V1CWSEGR | V3V1CWSEGR | statement | record (an 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.33590#MB64 |
| V3V4C2A36E | V3V4C2A36E | statement | record (an 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.21622#5K18 |
| V3V8A0X4TZ | V3V8A0X4TZ | statement | record (an 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.10813#QBWP |
| V3VA4PX1PY | V3VA4PX1PY | statement | record (an 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.29152#JD8S |
| V3VCA4S2S3 | V3VCA4S2S3 | statement | record (an 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.08288#8GRG |
| V3VJXDK4DG | V3VJXDK4DG | 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.10925#X4C3 |
| V3X678CQW7 | V3X678CQW7 | statement | record (an 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.07285#D9YF |
| V3XGNE2J36 | V3XGNE2J36 | example | open | lebl_ra ch-metric.tex#example-24 |
| V3YFD0FDDV | V3YFD0FDDV | statement | record (an 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.03612#RV71 |
| V3YRN1V65Y | V3YRN1V65Y | statement | record (an 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.20273#55TH |
| V3YSFA2CGQ | V3YSFA2CGQ | 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.01247#ERBZ |
| V3Z8TYP0RE | V3Z8TYP0RE | proof | open | napkin tex/alg-NT/finite-field.tex#proof-2 |
| V40GJMSG89 | V40GJMSG89 | 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.26776#XMST |
| V40H15GGJQ | V40H15GGJQ | statement | record (an 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.33019#HLWY |
| V40TAC4GHG | V40TAC4GHG | statement | record (an 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.37208#SXRX |
| V40V68884P | V40V68884P | statement | record (an 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.13613#Y9TE |
| V40X2DC40V | V40X2DC40V | exercise | open | napkin tex/cats/functors.tex#exercise-1 |
| V410NTRAKW | V410NTRAKW | statement | record (an 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.29784#VWTV |
| V413965DBV | V413965DBV | statement | record (an 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.31127#UC75 |
| V41JDPPW2M | V41JDPPW2M | statement | record (an 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.07828#SFXA |
| V429B7Z7XT | V429B7Z7XT | 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.40207#J6B1 |
| V42ZEVTFEB | V42ZEVTFEB | statement | record (an 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.10840#WTPF |
| V431BDHWZX | V431BDHWZX | statement | record (an 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.26401#ZBHN |
| V435R4TEE6 | V435R4TEE6 | statement | record (an 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.21365#OZRS |
| V43N7BWBEH | V43N7BWBEH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2603.07541#29NK |
| V43Y2SHCZP | V43Y2SHCZP | proof | open | open_logic content/normal-modal-logic/syntax-and-semantics/truth-in-model.tex#proof-1 |
| V456PYNM35 | V456PYNM35 | statement | record (an 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.21692#CW9L |
| V45Y2W38CQ | V45Y2W38CQ | statement | record (an 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.05320#1P9H |
| V4878EZ5FE | V4878EZ5FE | proof | open | applied_combinatorics source/ch_probmeth.ptx#proof-2 |
| V49SN0NCZS | V49SN0NCZS | statement | record (an 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.19866#O90I |
| V49ZD8VH42 | V49ZD8VH42 | statement | record (an 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.10591#JRTO |
| V49ZX6E1P9 | V49ZX6E1P9 | statement | record (an 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.38436#SCNX |
| V4AXXVGHVN | V4AXXVGHVN | statement | record (an 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.21960#4C7C |
| V4AYD28JES | V4AYD28JES | statement | record (an 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.31983#WU4C |
| V4BGQ7V5N2 | V4BGQ7V5N2 | statement | record (an 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.07061#DEKU |
| V4BV5XWN9D | V4BV5XWN9D | proof | open | open_logic content/set-theory/cardinals/classing.tex#proof-3 |
| V4BVC0T1G5 | V4BVC0T1G5 | proof | open | hott_book hits.tex#proof-30 |
| V4C4WHJ0S7 | V4C4WHJ0S7 | statement | record (an 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.14380#J94S |
| V4C7BFAS0M | V4C7BFAS0M | statement | record (an 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#JKI2 |
| V4C8A35SZC | V4C8A35SZC | statement | record (an 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.26713#KEVG |
| V4CE491VR0 | V4CE491VR0 | 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#07U1 |
| V4CHJK7D33 | V4CHJK7D33 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1707.07744#4HRD |
| V4CWE7HKWZ | V4CWE7HKWZ | statement | record (an 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.21622#8S1E |
| V4D734QDNK | V4D734QDNK | statement | record (an 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#1KKH |
| V4ES3CT5RK | V4ES3CT5RK | statement | record (an 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.23812#YWIS |
| V4EZG6H5C3 | V4EZG6H5C3 | statement | record (an 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.17863#BOPG |
| V4FPNMPTSR | V4FPNMPTSR | exercise | open | austin_ula src/exercises/exercises3-5.xml#exercise-1 |
| V4GQE0QD85 | V4GQE0QD85 | statement | record (an 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#JA03 |
| V4GSXMFAP7 | V4GSXMFAP7 | statement | record (an 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.28297#BGTK |
| V4GW5Q2RBN | V4GW5Q2RBN | statement | record (an 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.11823#TXSN |
| V4HFGQR8F4 | V4HFGQR8F4 | statement | record (an 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.36279#L09U |
| V4HSJFMX9X | V4HSJFMX9X | statement | record (an 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.04466#M8V6 |
| V4JQ5S3PG9 | V4JQ5S3PG9 | statement | record (an 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.14446#RK6J |
| V4JQKWRHE8 | V4JQKWRHE8 | statement | open | open_logic content/proof-theory/natural-deduction/sequents.tex#prop-1 |
| V4JTYC0D9Y | V4JTYC0D9Y | statement | record (an 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.19535#PJ88 |
| V4JX2G5FXV | V4JX2G5FXV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2501.18744#EZ67 |
| V4MA1W19SP | V4MA1W19SP | statement | record (an 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.12141#6W0X |
| V4MCEVNGX3 | V4MCEVNGX3 | statement | record (an 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.10902#TBF4 |
| V4ME9S1GSY | V4ME9S1GSY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2308.05715#9M6W |
| V4MQCAFX08 | V4MQCAFX08 | statement | record (an 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.19791#K9A8 |
| V4N0D0P5QZ | V4N0D0P5QZ | statement | record (an 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.1664#8RSC |
| V4N69PV6EK | V4N69PV6EK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1009.3308#TB2B |
| V4NGZ742PD | V4NGZ742PD | statement | record (an 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.01346#UMD6 |
| V4NHP0ZFJ9 | V4NHP0ZFJ9 | statement | record (an 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#EVUN |
| V4NWYBKG3S | V4NWYBKG3S | statement | record (an 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#8N3Z |
| V4PM4V8651 | V4PM4V8651 | statement | record (an 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#BAMP |
| V4PS0M8PWC | V4PS0M8PWC | statement | record (an 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.28489#7F6U |
| V4PWG90X3F | V4PWG90X3F | statement | record (an 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.15720#QLQU |
| V4Q4SS7TAA | V4Q4SS7TAA | statement | record (an 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.26410#QNJG |
| V4QR56JNJF | V4QR56JNJF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2109.12716#RP6W |
| V4QVJZN9RJ | V4QVJZN9RJ | statement | record (an 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.16022#X3XP |
| V4RAZVVRQJ | V4RAZVVRQJ | statement | record (an 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.03754#PI3C |
| V4RZ83NPBB | V4RZ83NPBB | statement | record (an 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.28507#Z7BX |
| V4RZRXQDCK | V4RZRXQDCK | proof | open | hott_book basics.tex#proof-26 |