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 401–500 of 4994.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| V442VHBC65 | V442VHBC65 | statement | record (an 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.23884#M2KL |
| V449MZY7MZ | V449MZY7MZ | statement | record (an 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#Q6EQ |
| 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 |
| V4GJ3RA39B | V4GJ3RA39B | statement | record (an 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#UFPL |
| 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 |
| V4QZDBJ7SK | V4QZDBJ7SK | statement | record (an 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.20678#322F |
| 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 |
| V4SCFQPRJ7 | V4SCFQPRJ7 | 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 2608.23797#EM7Q |
| V4T6QE10N0 | V4T6QE10N0 | statement | record (an 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.12357#AO5I |
| V4TH3VAA6M | V4TH3VAA6M | statement | record (an 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.07485#MX1V |
| V4THSW9P9P | V4THSW9P9P | statement | record (an 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#ZN36 |
| V4V8C5Z7WA | V4V8C5Z7WA | statement | record (an 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.06441#I9VN |
| V4VB5PHCCW | V4VB5PHCCW | proof | open | open_logic content/normal-modal-logic/completeness/completeness-K.tex#proof-2 |
| V4VY0Z4KZQ | V4VY0Z4KZQ | 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.20860#1YM8 |
| V4VYYHDR48 | V4VYYHDR48 | statement | record (an 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.28961#XS30 |
| V4W4C5C8WJ | V4W4C5C8WJ | statement | record (an 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#E4A5 |
| V4W6DEX4X4 | V4W6DEX4X4 | statement | record (an 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.04809#8EIB |
| V4WC2G95HJ | V4WC2G95HJ | 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.13532#JUFL |
| V4WC592P4B | V4WC592P4B | 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.25449#CXYC |
| V4WR72DF8B | V4WR72DF8B | proof | open | napkin tex/homology/cohomology.tex#proof-3 |
| V4WT6352ME | V4WT6352ME | statement | record (an 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.09422#K6W7 |
| V4WVV3QMER | V4WVV3QMER | 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.05391#5U8D |
| V4X8MHD0AT | V4X8MHD0AT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2204.01073#XWFA |
| V4XRPFC4A6 | V4XRPFC4A6 | statement | record (an 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.31331#JFXW |
| V4YYAAXK2T | V4YYAAXK2T | statement | record (an 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.02432#E7EB |
| V4Z2F5Q5YG | V4Z2F5Q5YG | statement | record (an 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.20206#81EF |
| V4Z3MXVA4M | V4Z3MXVA4M | 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.20860#FGUZ |
| V4ZFJF3J0B | V4ZFJF3J0B | statement | record (an 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.27799#XJJ3 |
| V4ZJXZSX26 | V4ZJXZSX26 | statement | record (an 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#52YB |
| V4ZTRHTFEA | V4ZTRHTFEA | statement | record (an 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.13931#W3ST |
| V50B12X3DX | V50B12X3DX | statement | record (an 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.31173#J4KR |
| V50F4YHXVR | V50F4YHXVR | statement | record (an 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.23804#KUZU |
| V50GHGPGE8 | V50GHGPGE8 | statement | record (an 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.15255#W7MC |
| V50RHH8VTR | V50RHH8VTR | exercise | open | lebl_diffyqs ch-intro.tex#exercise-13 |
| V50WWRTF3D | V50WWRTF3D | 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 2609.23469#B9OA |
| V5159FMDPS | V5159FMDPS | proof | open | open_logic content/first-order-logic/sequent-calculus/proof-theoretic-notions.tex#proof-4 |
| V515A42KZF | V515A42KZF | 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 2011.08789#G1ZF |