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 701–800 of 4994.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| V79G4CSNG3 | V79G4CSNG3 | statement | record (an 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.14681#XCSU |
| V79QYNAR99 | V79QYNAR99 | 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.39675#B9J6 |
| V7A6R4PBS8 | V7A6R4PBS8 | statement | record (an 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.26896#705W |
| V7AQ04WABT | V7AQ04WABT | statement | record (an 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.19468#9TMF |
| V7B05D97D2 | V7B05D97D2 | 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.08357#9803 |
| V7BFACTEXZ | V7BFACTEXZ | statement | record (an 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.06152#AUYW |
| V7C2QJZMR3 | V7C2QJZMR3 | statement | record (an 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.23526#QEWH |
| V7CDBNSMYE | V7CDBNSMYE | statement | open | open_logic content/computability/recursive-functions/pr-relations.tex#prop-1 |
| V7CGZ8J6VH | V7CGZ8J6VH | statement | record (an 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.17129#Z4B7 |
| V7CH8QB5HM | V7CH8QB5HM | statement | record (an 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.17759#G7JE |
| V7DHPRCR9G | V7DHPRCR9G | 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.35102#8Y62 |
| V7DN0BYHS7 | V7DN0BYHS7 | 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.07451#GOC2 |
| V7DSP5JWNH | V7DSP5JWNH | 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.01924#LT4G |
| V7ENST3SPR | V7ENST3SPR | statement | record (an 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.15525#YSJ1 |
| V7EY7M9E5W | V7EY7M9E5W | 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.31883#IM0K |
| V7FQ7AHGG1 | V7FQ7AHGG1 | 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.28265#F56W |
| V7GJ2P85JV | V7GJ2P85JV | statement | record (an 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.25718#Q78Y |
| V7GXJEN7KR | V7GXJEN7KR | statement | record (an 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#RNY7 |
| V7HJAS10F0 | V7HJAS10F0 | statement | record (an 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.11652#TX7Y |
| V7HN3K6JS0 | V7HN3K6JS0 | statement | record (an 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.14217#HKBH |
| V7HSD25X8K | V7HSD25X8K | statement | record (an 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.13741#G73E |
| V7HWPP5J8M | V7HWPP5J8M | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2509.10268#0CIC |
| V7JBV3BR50 | V7JBV3BR50 | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise-26 |
| V7JF777KFT | V7JF777KFT | 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.25703#A561 |
| V7KHM39KKJ | V7KHM39KKJ | 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.17477#YYY1 |
| V7M0MQVS6X | V7M0MQVS6X | proof | open | lebl_ra ch-contfunc.tex#proof-18 |
| V7MH7RKKFA | V7MH7RKKFA | statement | record (an 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.11043#OFLP |
| V7MT65KQCR | V7MT65KQCR | exercise | open | ernst_ibl MAAPressVersion/IntroToLogic.tex#problem-5 |
| V7MTHF4QCP | V7MTHF4QCP | statement | record (an 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.19469#4ZOV |
| V7MVCPFS4H | V7MVCPFS4H | statement | record (an 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.12413#MTO1 |
| V7NDXJY8R7 | V7NDXJY8R7 | 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 2507.13548#4J6K |
| V7QDWT6XK3 | V7QDWT6XK3 | statement | record (an 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.36613#JK82 |
| V7R6A4B7R5 | V7R6A4B7R5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1011.4141#A0QM |
| V7R81PCVGX | V7R81PCVGX | 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.01473#1ILR |
| V7RRVXMKFB | V7RRVXMKFB | statement | record (an 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#IAZI |
| V7SE40R65R | V7SE40R65R | 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.10546#P1UA |
| V7SGPVX8FP | V7SGPVX8FP | exercise | open | applied_combinatorics source/s_recurrence_exercises.ptx#exercise-1 |
| V7SH9ZR7GM | V7SH9ZR7GM | statement | record (an 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#FJ4W |
| V7SHNGM61J | V7SHNGM61J | statement | record (an 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.18219#3LI0 |
| V7SXR0WGYV | V7SXR0WGYV | 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.26600#6LFH |
| V7TTXNHXBD | V7TTXNHXBD | statement | record (an 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.17303#N34W |
| V7TZF76HM3 | V7TZF76HM3 | statement | record (an 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#A0CP |
| V7VCXT4VK0 | V7VCXT4VK0 | 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.28254#KJ77 |
| V7WEGG88WS | V7WEGG88WS | proof | open | hott_book setmath.tex#proof-24 |
| V7WQVW1398 | V7WQVW1398 | statement | record (an 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.00146#ZLJD |
| V7XBNM4T1S | V7XBNM4T1S | 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.22381#FDHT |
| V7XBV0FGJJ | V7XBV0FGJJ | statement | record (an 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.33015#0AB6 |
| V7XD7BV3H4 | V7XD7BV3H4 | statement | record (an 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#B6Y3 |
| V7XDB6YAPA | V7XDB6YAPA | statement | record (an 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.04164#8F6E |
| V7XMA1GQZ7 | V7XMA1GQZ7 | statement | record (an 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.38596#H9FX |
| V7XP9XEPVS | V7XP9XEPVS | 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.18302#DBM6 |
| V7YBS7ZWSJ | V7YBS7ZWSJ | statement | record (an 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.11038#9CGY |
| V7YNQRJNZG | V7YNQRJNZG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1903.07030#JWHF |
| V7YXPPGAMH | V7YXPPGAMH | statement | record (an 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.23671#O6HT |
| V7ZSC96968 | V7ZSC96968 | statement | record (an 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.02852#5UPG |
| V7ZYZNXQAB | V7ZYZNXQAB | 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 2306.07511#5Z07 |
| V807K2QX9K | V807K2QX9K | statement | open | open_logic content/set-theory/spine/foundation.tex#subsetoftrcl |
| V80FD510DQ | V80FD510DQ | statement | record (an 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.18033#ZXH2 |
| V81E6Q3XQW | V81E6Q3XQW | 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.25656#VKB2 |
| V81X838S6T | V81X838S6T | 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.25524#B3KF |
| V81XJC1WXR | V81XJC1WXR | statement | record (an 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.24041#GY78 |
| V82DHBNJSJ | V82DHBNJSJ | 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.14435#5SRR |
| V831Q5P6YP | V831Q5P6YP | 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#DKG2 |
| V83ZMGMTE4 | V83ZMGMTE4 | exercise | open | napkin tex/H113/grp-intro.tex#ques-2 |
| V845BAQ3Z3 | V845BAQ3Z3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2201.04174#Q2Q9 |
| V84F5VQFH4 | V84F5VQFH4 | statement | record (an 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.04608#JRHH |
| V84XE7B8T6 | V84XE7B8T6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2509.09379#KIPI |
| V8589Q2KVR | V8589Q2KVR | statement | record (an 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.30585#HOBC |
| V859NMPXDB | V859NMPXDB | statement | record (an 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.07961#8FDB |
| V85Q333YR2 | V85Q333YR2 | statement | record (an 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.07299#XAJ2 |
| V85QK4BWJY | V85QK4BWJY | statement | record (an 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.06488#EI7O |
| V861G90W70 | V861G90W70 | statement | record (an 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.14236#TJLV |
| V8689RX115 | V8689RX115 | statement | record (an 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.30895#3K58 |
| V86CMC4JR9 | V86CMC4JR9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2201.04174#S0DV |
| V86KQX3460 | V86KQX3460 | statement | record (an 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.36411#XJ6A |
| V8711TQ61Z | V8711TQ61Z | 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.27420#A1Z3 |
| V873548BNW | V873548BNW | statement | record (an 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.37846#WYNX |
| V877BEMV3Y | V877BEMV3Y | definition | open | ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#definition-4 |
| V87KWN6DS6 | V87KWN6DS6 | 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 2606.20229#ZX9C |
| V8894PKEJG | V8894PKEJG | statement | record (an 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.37739#EZJN |
| V89GC25S3W | V89GC25S3W | statement | record (an 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.28181#7701 |
| V89K8GCH83 | V89K8GCH83 | statement | record (an 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.13822#F1BG |
| V8C4SS2RX2 | V8C4SS2RX2 | statement | record (an 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#8GBB |
| V8C7ATQQAT | V8C7ATQQAT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1404.3458#7KBG |
| V8CZ34JTKT | V8CZ34JTKT | example | open | lebl_diffyqs ch-systems.tex#example-17 |
| V8D2GTN6DZ | V8D2GTN6DZ | 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#8EW6 |
| V8D3X1YGYY | V8D3X1YGYY | 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.07122#454R |
| V8DSHBJE8X | V8DSHBJE8X | statement | record (an 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.06707#6COJ |
| V8DVZFFFKA | V8DVZFFFKA | statement | record (an 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.13745#16H7 |
| V8DZ70DWNS | V8DZ70DWNS | statement | record (an 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.07164#ULCM |
| V8EETT1EWZ | V8EETT1EWZ | statement | record (an 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.20911#W3YG |
| V8ENRBK6EB | V8ENRBK6EB | statement | record (an 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.32104#LAZT |
| V8ETMCRZ7R | V8ETMCRZ7R | statement | record (an 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.16510#VFVX |
| V8EVFJPH3P | V8EVFJPH3P | statement | record (an 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.28211#3PHP |
| V8EXV06P39 | V8EXV06P39 | statement | record (an 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.03336#0QPW |
| V8FCBSSYXW | V8FCBSSYXW | statement | record (an 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#78ZU |
| V8FNS7F3MA | V8FNS7F3MA | statement | record (an 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/0411039#4EV5 |
| V8FV8SM6SX | V8FV8SM6SX | statement | record (an 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.21017#WXX3 |
| V8FY4F0FE3 | V8FY4F0FE3 | statement | record (an 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.24878#Q4YD |
| V8GT82NVM5 | V8GT82NVM5 | statement | record (an 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.02669#FEYU |