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 2901–3000 of 3154.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| VXBS3HJXTF | VXBS3HJXTF | statement | record (an 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.32233#IOC2 |
| VXBY7HNBNR | VXBY7HNBNR | 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.18632#KMQS |
| VXC14ZW7K5 | VXC14ZW7K5 | statement | record (an 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.21494#3YRL |
| VXC3EAPAGK | VXC3EAPAGK | statement | record (an 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.33679#N3U8 |
| VXCAMC04DQ | VXCAMC04DQ | statement | record (an 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.03837#6SQ3 |
| VXCEKB5FB5 | VXCEKB5FB5 | definition | open | napkin tex/cats/abelian.tex#definition-5 |
| VXD5DHVY9V | VXD5DHVY9V | exercise | open | lebl_ra ch-seq-funcs.tex#c1uniflim:exercise |
| VXD937B04Y | VXD937B04Y | exercise | open | levin_dmoi ptx/exercises/intro-functions.ptx#exercise-12 |
| VXDNN8Z225 | VXDNN8Z225 | statement | record (an 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.07695#Z1TX |
| VXDVKE96BM | VXDVKE96BM | statement | record (an 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.21092#TGDI |
| VXEKS7D0RR | VXEKS7D0RR | statement | record (an 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.20077#AD47 |
| VXEYMCMHJY | VXEYMCMHJY | statement | record (an 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.02642#A1VR |
| VXF0KPE9J7 | VXF0KPE9J7 | 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 0809.0068#XIHX |
| VXG872MZ7X | VXG872MZ7X | statement | record (an 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.24701#N8YL |
| VXGMYM36V3 | VXGMYM36V3 | 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#EHWE |
| VXH2TWC20W | VXH2TWC20W | statement | record (an 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.09648#HM16 |
| VXH4TDTDQJ | VXH4TDTDQJ | statement | record (an 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.21078#PM2G |
| VXH5FHQV6Z | VXH5FHQV6Z | 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.16475#I3UX |
| VXH5S4JY50 | VXH5S4JY50 | statement | record (an 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#C1SG |
| VXHB8F875Y | VXHB8F875Y | statement | open | open_logic content/normal-modal-logic/tableaux/more-soundness.tex#prop:soundness-T |
| VXHGCGAVQK | VXHGCGAVQK | exercise | open | open_logic content/first-order-logic/axiomatic-deduction/deduction-theorem.tex#prob-2 |
| VXHVF6G62Z | VXHVF6G62Z | statement | record (an 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.14441#KO4U |
| VXJ2XKY791 | VXJ2XKY791 | proof | open | open_logic content/incompleteness/arithmetization-syntax/substitution.tex#proof-1 |
| VXJ9M6J46T | VXJ9M6J46T | statement | record (an 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.05312#6JDR |
| VXK1VM6BKV | VXK1VM6BKV | 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.33313#LNKC |
| VXKBQ02QYK | VXKBQ02QYK | exercise | open | lebl_diffyqs ch-systems.tex#exercise-83 |
| VXM1369Z4X | VXM1369Z4X | statement | record (an 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#6TCS |
| VXMDMKKHKV | VXMDMKKHKV | 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.03121#SDH8 |
| VXMM954G00 | VXMM954G00 | 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 2306.12846#7856 |
| VXMRF1RMAK | VXMRF1RMAK | statement | record (an 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.19300#SGCT |
| VXMX43YVG2 | VXMX43YVG2 | statement | record (an 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.18673#J6Y7 |
| VXN0KFJSTR | VXN0KFJSTR | statement | record (an 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.29111#J9EQ |
| VXN7M2W0YS | VXN7M2W0YS | statement | record (an 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.25188#ETSI |
| VXP53KYJ82 | VXP53KYJ82 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2110.11783#B47S |
| VXPS42MKRF | VXPS42MKRF | statement | record (an 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.15831#FUPL |
| VXQ93KFRCD | VXQ93KFRCD | statement | record (an 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.00512#MVLN |
| VXQAM5RDK0 | VXQAM5RDK0 | 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.12330#G4JM |
| VXQM98TQ6Q | VXQM98TQ6Q | 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.21752#K68J |
| VXRQZVHJYR | VXRQZVHJYR | 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.17737#0T24 |
| VXSABEN05P | VXSABEN05P | statement | record (an 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.11905#6BQA |
| VXSAPWDXQ0 | VXSAPWDXQ0 | statement | record (an 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#W7WY |
| VXTYND8G8H | VXTYND8G8H | statement | record (an 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.17484#T2FF |
| VXVBB2160A | VXVBB2160A | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1107.2621#NK49 |
| VXVCT81EA8 | VXVCT81EA8 | statement | record (an 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.14274#N6OA |
| VXVNNX8TGD | VXVNNX8TGD | 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.08211#49XT |
| VXVXBY0V7V | VXVXBY0V7V | statement | record (an 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.03384#60Z3 |
| VXWG4QTY57 | VXWG4QTY57 | statement | record (an 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.36509#GG92 |
| VXWHH1R2ZC | VXWHH1R2ZC | 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.37815#5LBG |
| VXX0GYEXXY | VXX0GYEXXY | proof | open | lebl_ra ch-seq-ser.tex#proof-3 |
| VXX84CZV5H | VXX84CZV5H | statement | record (an 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.32860#Q9J1 |
| VXXCDPJW68 | VXXCDPJW68 | statement | record (an 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.10928#41P1 |
| VXXCVKBAPE | VXXCVKBAPE | 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.14162#BKD2 |
| VXXSXVAWJD | VXXSXVAWJD | statement | record (an 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.22317#QJLV |
| VXY07GSZY2 | VXY07GSZY2 | statement | record (an 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#8Q71 |
| VXZDCHWAXS | VXZDCHWAXS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2010.14428#VEGY |
| VXZE2KJBT3 | VXZE2KJBT3 | statement | record (an 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.37769#1BEK |
| VY009DYY73 | VY009DYY73 | statement | record (an 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.06458#BSD8 |
| VY0ZFV03AW | VY0ZFV03AW | statement | open | hott_book setmath.tex#thm-5 |
| VY0ZWJ69EG | VY0ZWJ69EG | statement | record (an 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.02961#JRYP |
| VY12N98YY8 | VY12N98YY8 | statement | record (an 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/0512416#7U8W |
| VY1F2ADYCW | VY1F2ADYCW | statement | record (an 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.39700#FZID |
| VY1XDQZ55D | VY1XDQZ55D | statement | record (an 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.34946#LK4H |
| VY2BYFH75W | VY2BYFH75W | statement | record (an 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.22074#HJG8 |
| VY2KRJT6ZQ | VY2KRJT6ZQ | statement | open | lebl_ra ch-real-nums.tex#cor-2 |
| VY3F87CQRZ | VY3F87CQRZ | statement | record (an 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.24901#GBWS |
| VY3JQ4FK47 | VY3JQ4FK47 | 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.21005#7VAA |
| VY40634QFQ | VY40634QFQ | statement | record (an 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.22272#I698 |
| VY47PKGQ4W | VY47PKGQ4W | statement | open | open_logic content/proof-theory/sequent-calculus/quantifiers.tex#prop-1 |
| VY4A81VY4B | VY4A81VY4B | 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.25435#EPG9 |
| VY4YKC9Q25 | VY4YKC9Q25 | statement | record (an 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.01912#0PH9 |
| VY5GC3KZYK | VY5GC3KZYK | statement | record (an 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.31527#NFZG |
| VY5KN2Q5GC | VY5KN2Q5GC | statement | record (an 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.24578#ST27 |
| VY5P9K7J7R | VY5P9K7J7R | statement | record (an 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.11056#0A19 |
| VY69BHV3A1 | VY69BHV3A1 | 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.13898#6OYW |
| VY6BZPSBW8 | VY6BZPSBW8 | statement | record (an 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.00364#G7QR |
| VY6EXR72M5 | VY6EXR72M5 | statement | record (an 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#3EBQ |
| VY6PH6DTPZ | VY6PH6DTPZ | statement | record (an 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.07673#MX1S |
| VY6R674ASF | VY6R674ASF | statement | record (an 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#TBRZ |
| VY6XSR0TV6 | VY6XSR0TV6 | 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.27152#H8W0 |
| VY7FS2HSRC | VY7FS2HSRC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2012.06334#IY1H |
| VY864RYYPD | VY864RYYPD | 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 2207.11097#NZ00 |
| VY8EM01ZF5 | VY8EM01ZF5 | statement | record (an 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.04431#5NSL |
| VY8VFWWNZS | VY8VFWWNZS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2104.12015#760X |
| VY8Y9W2M0Q | VY8Y9W2M0Q | statement | record (an 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.39254#6N3G |
| VY9YQ7434J | VY9YQ7434J | statement | record (an 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.12165#963C |
| VYASP4MA98 | VYASP4MA98 | 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.04833#AJHZ |
| VYAT9XW655 | VYAT9XW655 | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-62 |
| VYB4YEM4QA | VYB4YEM4QA | unknown | open | arXiv 2610.13680#TN8F |
| VYC4N5HMXD | VYC4N5HMXD | statement | record (an 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.24902#PMB6 |
| VYC54MKDPH | VYC54MKDPH | 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 2311.16205#VFQY |
| VYCHW0C7TN | VYCHW0C7TN | statement | record (an 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#MAXD |
| VYD9BVZ8JB | VYD9BVZ8JB | statement | record (an 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.14458#9TYN |
| VYD9EAWAX4 | VYD9EAWAX4 | 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.25289#ZBLH |
| VYDAE3JJ2D | VYDAE3JJ2D | statement | record (an 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.32439#3T1D |
| VYENQFFBZM | VYENQFFBZM | example | open | lebl_diffyqs ch-power-ser.tex#example-1 |
| VYENWM6SPV | VYENWM6SPV | statement | record (an 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.23841#QQ36 |
| VYFBC8PY1N | VYFBC8PY1N | statement | record (an 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.04314#SP2A |
| VYFE7SBFFN | VYFE7SBFFN | 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.09171#309Z |
| VYFRG4F99Q | VYFRG4F99Q | statement | record (an 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.25080#ZQIL |
| VYGTEN6FJZ | VYGTEN6FJZ | statement | record (an 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.00869#S1J1 |