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 401–500 of 3154.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| V516RBV2MY | V516RBV2MY | statement | open | lebl_ra ch-riemann.tex#sumulbound:prop |
| V5268M6521 | V5268M6521 | 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.07957#QEZY |
| V52EXWN18Z | V52EXWN18Z | statement | record (an 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.13691#ZB4I |
| V52GV8167V | V52GV8167V | statement | record (an 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.36045#YEQT |
| V52S7A0HSB | V52S7A0HSB | 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.37252#FEXO |
| V532J6FZ1J | V532J6FZ1J | 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.15217#Q8EB |
| V533V2ZFXS | V533V2ZFXS | statement | record (an 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.15340#ZURR |
| V535TE9HBX | V535TE9HBX | 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.36321#65ZC |
| V535TWX37W | V535TWX37W | 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.28552#ZE7L |
| V537EHQ4CZ | V537EHQ4CZ | 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.29759#LGVK |
| V53BQTB7GC | V53BQTB7GC | statement | record (an 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/0406514#XVEV |
| V53KNTPZ6E | V53KNTPZ6E | 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.31127#E1BX |
| V53N4B8Y8R | V53N4B8Y8R | statement | record (an 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.16554#HIOH |
| V53SEJS8X1 | V53SEJS8X1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2503.08488#UL69 |
| V53T3YJM31 | V53T3YJM31 | exercise | open | open_logic content/normal-modal-logic/axioms-systems/duals.tex#prob-1 |
| V5477XPSDA | V5477XPSDA | statement | record (an 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.22205#MD59 |
| V54D5Y4YD7 | V54D5Y4YD7 | statement | record (an 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.27114#01KA |
| V54KNT8VR8 | V54KNT8VR8 | 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#2XDO |
| V5521729X7 | V5521729X7 | unknown | open | |
| V558XY9NSZ | V558XY9NSZ | 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 2109.09268#KGKU |
| V55FSA8C82 | V55FSA8C82 | statement | record (an 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.16631#MDI0 |
| V55P4KGN59 | V55P4KGN59 | 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 2601.01000#C90O |
| V56VKMRQT5 | V56VKMRQT5 | 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#ORAF |
| V56W50P1NS | V56W50P1NS | statement | record (an 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.15402#PHZU |
| V578NGKGE0 | V578NGKGE0 | statement | record (an 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.06810#Q0HS |
| V57DNNYYHB | V57DNNYYHB | 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.06556#LTS9 |
| V57FGWFAAE | V57FGWFAAE | statement | record (an 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.12819#CB8K |
| V57TP6WM5J | V57TP6WM5J | statement | open | ernst_ibl MAAPressVersion/ModularArithmetic.tex#thm:modular sums products |
| V57YWW94P0 | V57YWW94P0 | statement | record (an 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.27272#8HEW |
| V58839BDC2 | V58839BDC2 | statement | record (an 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#ONY0 |
| V58CW1WF5W | V58CW1WF5W | statement | record (an 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.13734#WK1U |
| V58Z89A7BB | V58Z89A7BB | exercise | open | lebl_scv scv.tex#exercise-111 |
| V598XRHN1X | V598XRHN1X | statement | record (an 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.04993#EJXM |
| V5A2GPPKEV | V5A2GPPKEV | statement | record (an 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.27200#0GT8 |
| V5AMVM69A8 | V5AMVM69A8 | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-108 |
| V5B4VAESWV | V5B4VAESWV | statement | record (an 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.28251#CUDK |
| V5B6ETWGWG | V5B6ETWGWG | statement | record (an 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.09464#NJTX |
| V5B8DQAMTR | V5B8DQAMTR | statement | record (an 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.26769#4CP7 |
| V5B9A7GKKF | V5B9A7GKKF | statement | record (an 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.40023#A6YI |
| V5BCF76GKT | V5BCF76GKT | statement | record (an 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.03422#LPGN |
| V5BNEXASKC | V5BNEXASKC | statement | record (an 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#UESZ |
| V5BR9BNZ47 | V5BR9BNZ47 | 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 2609.24373#MGJV |
| V5CAK16G1W | V5CAK16G1W | statement | record (an 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.30637#FI91 |
| V5CPXZPTCX | V5CPXZPTCX | statement | record (an 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.38772#LFS4 |
| V5E4XVN46K | V5E4XVN46K | statement | record (an 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.31072#OHQW |
| V5ED815BQ6 | V5ED815BQ6 | statement | record (an 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.21355#JMBF |
| V5EGJKNP9D | V5EGJKNP9D | statement | record (an 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.12013#MF1L |
| V5ENEDR9RZ | V5ENEDR9RZ | statement | record (an 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.11671#2GTF |
| V5F7C9FH9X | V5F7C9FH9X | statement | open | lebl_ra ch-several-vars-ders.tex#prop:finitedimpropnormfin |
| V5FA3CNCAZ | V5FA3CNCAZ | 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.18302#PRRZ |
| V5FJE02JVB | V5FJE02JVB | statement | record (an 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.30165#W8TC |
| V5G81NAGF2 | V5G81NAGF2 | example | open | open_logic content/sets-functions-relations/functions/partial-functions.tex#ex-2 |
| V5GWEH379V | V5GWEH379V | 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.31883#26PU |
| V5H56RJ2KA | V5H56RJ2KA | statement | record (an 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.24542#8HOX |
| V5J4DE4T9Z | V5J4DE4T9Z | statement | record (an 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.26496#UREC |
| V5JTK2ZC65 | V5JTK2ZC65 | unknown | open | arXiv 2610.09206#OC5A |
| V5JVMW6XYS | V5JVMW6XYS | statement | record (an 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.08145#3DGR |
| V5JZ6ESKX5 | V5JZ6ESKX5 | statement | record (an 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.06899#8CGJ |
| V5KG1J4QS7 | V5KG1J4QS7 | 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.19669#L8QD |
| V5M7TGGEGZ | V5M7TGGEGZ | 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.36321#MKM4 |
| V5MJ0G9H3G | V5MJ0G9H3G | 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 2609.24463#M4HU |
| V5MQTXTR21 | V5MQTXTR21 | 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#XF3M |
| V5MSNF8TT9 | V5MSNF8TT9 | 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 2504.02065#MOM4 |
| V5MWNY4XQ2 | V5MWNY4XQ2 | statement | record (an 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.20758#FUMU |
| V5MX561G5J | V5MX561G5J | statement | record (an 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.08323#E0Z4 |
| V5MXHNX89H | V5MXHNX89H | 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.01433#8KT1 |
| V5NNN35E7G | V5NNN35E7G | statement | record (an 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.09506#68UW |
| V5P7GAMFST | V5P7GAMFST | 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 2401.14143#5N4N |
| V5PNQ4Z4FE | V5PNQ4Z4FE | example | open | levin_dmoi ptx/sec_intro-statements.ptx#example-7 |
| V5Q5QVER0J | V5Q5QVER0J | statement | record (an 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.26496#L6CH |
| V5QKDQQZ11 | V5QKDQQZ11 | 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.05259#A43F |
| V5QPJ27N85 | V5QPJ27N85 | statement | record (an 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.01035#Y1S9 |
| V5QSF2ARYK | V5QSF2ARYK | 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 2410.02139#XES1 |
| V5R2Y7RDJA | V5R2Y7RDJA | statement | open | lebl_ra ch-several-vars-ders.tex#mv:dimprop |
| V5RGJHHET7 | V5RGJHHET7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2601.15403#AR1C |