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 501–600 of 4994.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| V5BK99BF6F | V5BK99BF6F | statement | record (an 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.23093#8GY4 |
| 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 |
| V5DJRAWD3H | V5DJRAWD3H | statement | record (an 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.23994#7289 |
| 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 |
| V5KSBAX6H0 | V5KSBAX6H0 | statement | record (an 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.20609#8LJJ |
| 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 |
| V5Q5TM0M67 | V5Q5TM0M67 | problem | open | Wikipedia Wieferich prime#FA1D |
| 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 |
| V5RP28529K | V5RP28529K | statement | record (an 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.04305#5C0I |
| V5RXKX878B | V5RXKX878B | statement | record (an 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.17536#8PQV |
| V5S3S96TFE | V5S3S96TFE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2206.05392#OVBS |
| V5SBC1EESG | V5SBC1EESG | statement | record (an 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.21060#RBWE |
| V5SJTT4Z33 | V5SJTT4Z33 | 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.18464#54DK |
| V5VH9GT5X5 | V5VH9GT5X5 | statement | record (an 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.21274#2374 |
| V5VY5DYC8Z | V5VY5DYC8Z | statement | record (an 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.38742#WMN3 |
| V5W2G22X21 | V5W2G22X21 | statement | record (an 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.04694#TDBP |
| V5WK4ZP3W8 | V5WK4ZP3W8 | statement | record (an 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.07040#HW8P |
| V5X92QTR6C | V5X92QTR6C | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2101.08864#H59D |
| V5YVSQ6PPK | V5YVSQ6PPK | statement | record (an 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.01087#7MGN |
| V5YW7HC1AZ | V5YW7HC1AZ | statement | open | ernst_ibl MAAPressVersion/MoreInduction.tex#thm:size of power set for finite sets |
| V5Z49QWSF8 | V5Z49QWSF8 | statement | record (an 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.21399#LVMA |
| V5ZDV296J2 | V5ZDV296J2 | 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 2312.06581#M8KB |
| V60EEV9CV9 | V60EEV9CV9 | 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.25168#W90L |
| V60Z06E58D | V60Z06E58D | statement | record (an 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.35213#Y506 |
| V61VJFBGAR | V61VJFBGAR | exercise | open | levin_dmoi ptx/exercises/counting-starsbars.ptx#exercise-9 |
| V6257A6CM1 | V6257A6CM1 | 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 2610.13295#RJS1 |
| V62FD55XVK | V62FD55XVK | 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.11545#87B7 |
| V62H0RBWE8 | V62H0RBWE8 | statement | record (an 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.21528#UVQ0 |
| V630CZMYSC | V630CZMYSC | 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.34876#21KU |