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 101–200 of 3154.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| V12XXZ554P | V12XXZ554P | statement | record (an 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#9LB6 |
| V134QZBB0F | V134QZBB0F | statement | record (an 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.09672#SOYO |
| V1379P7RBQ | V1379P7RBQ | 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.00789#ZGK7 |
| V13NC7SQ3Y | V13NC7SQ3Y | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2205.09049#G011 |
| V13PQSCRTZ | V13PQSCRTZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2208.06310#JK5B |
| V142XDMA2Z | V142XDMA2Z | exercise | open | open_logic content/applied-modal-logic/epistemic-logic/truth-at-w.tex#prob-1 |
| V143TMV36E | V143TMV36E | statement | record (an 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.06438#KHRW |
| V148R09M01 | V148R09M01 | statement | record (an 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.14045#W4R4 |
| V14RMS8Q1X | V14RMS8Q1X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2103.02468#GT3R |
| V14XTFXDR6 | V14XTFXDR6 | statement | record (an 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#QLQI |
| V14Z9AC805 | V14Z9AC805 | statement | record (an 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.00589#8VMS |
| V154MVJDG3 | V154MVJDG3 | 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.28803#CTMW |
| V15B9N0DKR | V15B9N0DKR | statement | record (an 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.07846#ZY9T |
| V15SDRAWRJ | V15SDRAWRJ | 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#0XUI |
| V15WET9CWN | V15WET9CWN | statement | record (an 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.38061#65EJ |
| V15WV1GGFV | V15WV1GGFV | statement | open | open_logic content/first-order-logic/syntax-and-semantics/formation-sequences.tex#thm:fseq-frm-equiv |
| V16RZGDKMZ | V16RZGDKMZ | statement | record (an 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.02993#5WMQ |
| V17J972C7H | V17J972C7H | statement | record (an 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.37606#BXLT |
| V17VP8MP0B | V17VP8MP0B | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2304.08149#HX1L |
| V18AMR7NVK | V18AMR7NVK | statement | record (an 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.37093#TQ39 |
| V18H6687SB | V18H6687SB | statement | record (an 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.26813#14S8 |
| V18S506SYK | V18S506SYK | statement | record (an 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.21507#M4SY |
| V18YHM5NNS | V18YHM5NNS | statement | record (an 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.35209#3WHT |
| V194YME2QM | V194YME2QM | statement | record (an 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.02407#ZYI4 |
| V19C36T8JW | V19C36T8JW | statement | record (an 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.03138#JV5M |
| V1A12710Y9 | V1A12710Y9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0809.4587#S62U |
| V1A5QE7NCQ | V1A5QE7NCQ | statement | record (an 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.01737#G64J |
| V1ADFZ1Q9Z | V1ADFZ1Q9Z | statement | record (an 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.13213#9QCQ |
| V1B6YW92PJ | V1B6YW92PJ | statement | record (an 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.10221#3VZT |
| V1BBHSH9TA | V1BBHSH9TA | statement | record (an 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.39782#EKLK |
| V1BZ9EH6VK | V1BZ9EH6VK | statement | record (an 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.10481#L5WM |
| V1CC554FF0 | V1CC554FF0 | 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 2510.12502#ERWW |
| V1CH7SVNBP | V1CH7SVNBP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0910.4613#N0F7 |
| V1CHYECS5S | V1CHYECS5S | 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.29489#SUG4 |
| V1CTDNZQ73 | V1CTDNZQ73 | proof | open | lebl_ra ch-riemann.tex#proof-8 |
| V1D7ARZK17 | V1D7ARZK17 | 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 0903.1569#RWGP |
| V1DS2YGF7N | V1DS2YGF7N | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2311.00585#7001 |
| V1E9SFDCHR | V1E9SFDCHR | statement | record (an 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.31278#TV0R |
| V1EK7G5EVC | V1EK7G5EVC | statement | record (an 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.06724#7NCP |
| V1ESEZCVQP | V1ESEZCVQP | statement | record (an 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.28011#XORY |
| V1EXAS384C | V1EXAS384C | 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.10804#BI9Z |
| V1FAE01SAN | V1FAE01SAN | exercise | open | hott_book induction.tex#ex:ind-lst |
| V1GDC1H30V | V1GDC1H30V | statement | record (an 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.03856#C0PN |
| V1GQZBJ11Y | V1GQZBJ11Y | statement | record (an 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.28780#MPB6 |
| V1H01T42KR | V1H01T42KR | statement | record (an 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.12131#XUIS |
| V1H2HSF9JV | V1H2HSF9JV | statement | record (an 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.21971#AUYV |
| V1HDS219HN | V1HDS219HN | statement | open | hott_book hits.tex#thm:suspbool |
| V1HRDH0RPX | V1HRDH0RPX | statement | record (an 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#WHYI |
| V1HW648NZN | V1HW648NZN | example | open | ernst_ibl MAAPressVersion/ModularArithmetic.tex#example-1 |
| V1HWGKDTNP | V1HWGKDTNP | statement | record (an 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#D8RL |
| V1K6WFXZ89 | V1K6WFXZ89 | statement | record (an 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.26308#C4LR |
| V1K8F6PZFB | V1K8F6PZFB | statement | record (an 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#Q9F2 |
| V1KC4HX0AD | V1KC4HX0AD | 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.08935#FUW2 |
| V1KVHNJ314 | V1KVHNJ314 | 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.19194#FK97 |
| V1MA757K8H | V1MA757K8H | statement | record (an 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.24190#PX95 |
| V1MXB0FJ9A | V1MXB0FJ9A | statement | open | ernst_ibl MAAPressVersion/Topology.tex#thm:finite intersection of open sets |
| V1PA2XSW01 | V1PA2XSW01 | statement | record (an 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.25761#LSPT |
| V1PPF2ZM90 | V1PPF2ZM90 | statement | record (an 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.02484#MEE5 |
| V1QEEASVKG | V1QEEASVKG | 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.26417#5RH7 |
| V1QNFWAV99 | V1QNFWAV99 | statement | record (an 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.26479#9J1W |
| V1QVDDGV5H | V1QVDDGV5H | statement | record (an 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.18094#Z3WT |
| V1QZG02F7R | V1QZG02F7R | statement | record (an 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.02295#BU5M |
| V1RFQ42P7D | V1RFQ42P7D | proof | open | open_logic content/model-theory/interpolation/separation.tex#proof-1 |
| V1SFE26PG5 | V1SFE26PG5 | statement | record (an 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.13817#I7ZS |
| V1T937GC56 | V1T937GC56 | statement | record (an 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#XU8X |
| V1VGE2Z1QM | V1VGE2Z1QM | exercise | open | active_calculus source/activities/act-5-4-2.xml#act-5-4-2 |
| V1VKD3ZK8Z | V1VKD3ZK8Z | statement | record (an 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.10576#VY5Z |
| V1VRSHKPS5 | V1VRSHKPS5 | statement | record (an 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.30033#LJNC |
| V1VYX323QZ | V1VYX323QZ | statement | record (an 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.27125#H46O |
| V1WCBYV2B0 | V1WCBYV2B0 | statement | record (an 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.25896#Y2UR |
| V1WFHZK3TZ | V1WFHZK3TZ | statement | record (an 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.05696#GG48 |
| V1WMF4AMSY | V1WMF4AMSY | statement | record (an 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.07897#QNGS |
| V1X1RSEMXQ | V1X1RSEMXQ | statement | record (an 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.10469#YNTZ |
| V1X3WRRW52 | V1X3WRRW52 | statement | record (an 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.04516#M4SO |
| V1XDPPM4CR | V1XDPPM4CR | statement | record (an 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.16875#JEZC |
| V1XMW4THYS | V1XMW4THYS | 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.29877#WYY5 |
| V1ZABSYR0V | V1ZABSYR0V | statement | record (an 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.08583#E4TU |
| V1ZW7J7YW8 | V1ZW7J7YW8 | statement | record (an 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#Z1YP |
| V20GH7GG5J | V20GH7GG5J | unknown | open | arXiv 2609.28893#08BN |
| V20K60B2XN | V20K60B2XN | statement | record (an 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#KD2W |
| V20S990W95 | V20S990W95 | 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.32174#V0C7 |
| V211CYD5N4 | V211CYD5N4 | statement | record (an 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.15812#CDRK |
| V21A1WDWTJ | V21A1WDWTJ | statement | record (an 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.10469#AIEA |
| V21G5ZDY68 | V21G5ZDY68 | statement | record (an 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.08081#W2LB |
| V21S3NQT24 | V21S3NQT24 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2102.12931#T0FJ |
| V21V589113 | V21V589113 | 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.06683#IR20 |
| V221AYHW57 | V221AYHW57 | statement | record (an 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.06895#1PNT |
| V223HCBB72 | V223HCBB72 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2512.16003#120X |
| V2288YYDKW | V2288YYDKW | exercise | open | lebl_diffyqs ch-systems.tex#exercise-58 |
| V22FRY099A | V22FRY099A | 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.26713#VYGB |
| V22QSNCZVP | V22QSNCZVP | statement | record (an 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.04593#34FN |
| V237RFD18F | V237RFD18F | definition | open | napkin tex/riemann-surface/morphism.tex#definition-1 |
| V23F7NAQH1 | V23F7NAQH1 | statement | record (an 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.27641#JBGT |
| V23HXVVSVK | V23HXVVSVK | statement | record (an 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.36622#8TXC |
| V23P0RGZQ4 | V23P0RGZQ4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1008.2055#435D |
| V2412Y765Y | V2412Y765Y | statement | record (an 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.34283#SHWQ |
| V256ZW2468 | V256ZW2468 | statement | record (an 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.29748#CFI7 |
| V25SGB4H9D | V25SGB4H9D | statement | record (an 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.27798#81NK |
| V2612GMFTS | V2612GMFTS | statement | record (an 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.16339#UCX0 |
| V26CSWMJNT | V26CSWMJNT | statement | record (an 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.24185#CKT3 |