Inventory: other names
The rows of the inventory whose names start with a character that is not a letter of A to Z. 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 3101–3200 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 1VD0HZST98 | 1VD0HZST98 | proof | open | open_logic content/first-order-logic/syntax-and-semantics/semantic-notions.tex#proof-5 |
| 1VDCPEHW9H | 1VDCPEHW9H | statement | record (an 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#SDZJ |
| 1VE16P7P3T | 1VE16P7P3T | 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 2104.00162#8MU8 |
| 1VE228KWJH | 1VE228KWJH | statement | open | open_logic content/set-theory/ordinals/basic.tex#corordtransitiveord |
| 1VERS9EQSD | 1VERS9EQSD | 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.19088#7WRC |
| 1VEYTGFSJ8 | 1VEYTGFSJ8 | example | open | applied_combinatorics source/s_genfunction_distributions.ptx#exa_genfunction_multisets |
| 1VFB98CBY0 | 1VFB98CBY0 | statement | record (an 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.30961#09JV |
| 1VFK0EJMN0 | 1VFK0EJMN0 | statement | record (an 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.29531#SW9J |
| 1VFP9PWBVC | 1VFP9PWBVC | statement | record (an 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.12486#3DKO |
| 1VG71KE9KT | 1VG71KE9KT | 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.04870#W9DC |
| 1VGCFVP361 | 1VGCFVP361 | statement | record (an 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.03292#UBJW |
| 1VH4ZXR8J2 | 1VH4ZXR8J2 | statement | record (an 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.30933#3XI7, arXiv 2610.20192#H733, arXiv 2610.20192#HDWY |
| 1VH9NTHP0S | 1VH9NTHP0S | statement | record (an 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.16203#6GQ9 |
| 1VHNSKRX6B | 1VHNSKRX6B | statement | record (an 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.28898#5RD9 |
| 1VHPNMRW9C | 1VHPNMRW9C | statement | record (an 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.21045#31L2 |
| 1VJCX2FD34 | 1VJCX2FD34 | example | open | open_logic content/sets-functions-relations/relations/orders.tex#ex-1 |
| 1VJKGP3SKE | 1VJKGP3SKE | statement | record (an 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.13883#YKXA |
| 1VJW16FTZ3 | 1VJW16FTZ3 | statement | record (an 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.07461#CN2T |
| 1VJWBYSVW7 | 1VJWBYSVW7 | definition | open | austin_ula src/section2-5.xml#definition-1 |
| 1VKV741TAZ | 1VKV741TAZ | statement | record (an 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.32834#L5CN |
| 1VMQG1B027 | 1VMQG1B027 | 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.26450#TR60 |
| 1VN4P9ZK8W | 1VN4P9ZK8W | exercise | open | lebl_diffyqs ch-intro.tex#exercise-6 |
| 1VPC7YXRFD | 1VPC7YXRFD | 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.18329#D4JS |
| 1VPEA2FV7B | 1VPEA2FV7B | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1809.06512#8Q6M |
| 1VQCSX5T84 | 1VQCSX5T84 | statement | record (an 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.37893#4N44 |
| 1VQXDG2PXR | 1VQXDG2PXR | statement | record (an 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.03628#YFAQ |
| 1VQY0A75JM | 1VQY0A75JM | exercise | open | napkin tex/alg-NT/dedekind.tex#exercise-2 |
| 1VQZDK16JV | 1VQZDK16JV | statement | record (an 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.28774#QUE6 |
| 1VR452HD58 | 1VR452HD58 | statement | record (an 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.34339#PJQK |
| 1VR7QBR9B1 | 1VR7QBR9B1 | statement | record (an 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.03746#FW62 |
| 1VRM41M1AQ | 1VRM41M1AQ | 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.00934#GEN7 |
| 1VRNMDP31N | 1VRNMDP31N | statement | record (an 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.13260#X1C6 |
| 1VRV5QBEKB | 1VRV5QBEKB | statement | record (an 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.14022#1MJJ |
| 1VRY1MC3MT | 1VRY1MC3MT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0805.4273#5QYS |
| 1VSCD9GEAY | 1VSCD9GEAY | statement | record (an 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.02672#Z29A |
| 1VSXJ9KTKX | 1VSXJ9KTKX | statement | record (an 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.02686#IYBL |
| 1VT1WGWD6J | 1VT1WGWD6J | 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.13523#CPM4 |
| 1VT2PQF5J0 | 1VT2PQF5J0 | definition | open | austin_ula src/section6-3.xml#definition-4 |
| 1VT7F58NKR | 1VT7F58NKR | statement | record (an 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.16785#37UQ |
| 1VTHGWRYGG | 1VTHGWRYGG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2203.10220#UOQZ |
| 1VTHKA8A90 | 1VTHKA8A90 | statement | record (an 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.00019#2RLK |
| 1VTJZ2RBSC | 1VTJZ2RBSC | statement | record (an 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.02213#S6IQ |
| 1VTV2MY1A9 | 1VTV2MY1A9 | unknown | open | arXiv 2610.13680#2837 |
| 1VTVZG6GQS | 1VTVZG6GQS | statement | record (an 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.32906#8RX5 |
| 1VTYCFYW56 | 1VTYCFYW56 | 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.25111#LIPX |
| 1VV1FP359T | 1VV1FP359T | unknown | open | arXiv 2609.28893#6C4L |
| 1VV6BYWVX3 | 1VV6BYWVX3 | statement | record (an 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#C6L6 |
| 1VV9BEXAA6 | 1VV9BEXAA6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2004.02766#HP0L |
| 1VVSB6AYRM | 1VVSB6AYRM | 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 2503.01567#YLG2 |
| 1VXGGKACF6 | 1VXGGKACF6 | statement | record (an 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.05784#0L7I |
| 1VXHTNQKDH | 1VXHTNQKDH | statement | record (an 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.37901#W18I |
| 1VXV8DD3ZM | 1VXV8DD3ZM | statement | record (an 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.14323#XU71 |
| 1VY157B47C | 1VY157B47C | statement | record (an 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#KAUL |
| 1VYA83XHQE | 1VYA83XHQE | exercise | open | napkin tex/H113/quotient.tex#ques-5 |
| 1VYCW5HS7J | 1VYCW5HS7J | statement | record (an 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.28306#5ZAC |
| 1VYD7AT5EB | 1VYD7AT5EB | 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.07546#SDUQ |
| 1VYE39WBG4 | 1VYE39WBG4 | statement | record (an 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.19088#X7HL |
| 1VYQ4QBS3V | 1VYQ4QBS3V | statement | record (an 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.26619#KEAG |
| 1VYQNM74GX | 1VYQNM74GX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1809.06512#5Q6T |
| 1VYTPVF92S | 1VYTPVF92S | statement | record (an 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.38206#5SOL |
| 1VYY657A9D | 1VYY657A9D | 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.35577#T58P |
| 1VZJ0BK74H | 1VZJ0BK74H | 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.27414#6BP6 |
| 1VZQCH2Z9F | 1VZQCH2Z9F | proof | open | napkin tex/homology/excision.tex#proof-3 |
| 1VZR6S3BFR | 1VZR6S3BFR | statement | record (an 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.19010#D2Y1 |
| 1W06ZJBJ3X | 1W06ZJBJ3X | statement | record (an 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.12353#7Q1F |
| 1W07M5M76H | 1W07M5M76H | statement | record (an 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.36444#XMJM |
| 1W0D2339NM | 1W0D2339NM | 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 2011.06637#V58G |
| 1W0MSG5X3Y | 1W0MSG5X3Y | statement | record (an 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.09596#P4VO |
| 1W0PR2HWA6 | 1W0PR2HWA6 | proof | open | open_logic content/many-valued-logic/infinite-valued-logics/goedel.tex#proof-1 |
| 1W23B9130Q | 1W23B9130Q | statement | record (an 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.13954#1Y9M |
| 1W2B3D8N99 | 1W2B3D8N99 | statement | record (an 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.14383#BL4W |
| 1W33DZ08S5 | 1W33DZ08S5 | 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#OUD1 |
| 1W3ANHV0GY | 1W3ANHV0GY | 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.02993#LVYG |
| 1W4BQKQ8JH | 1W4BQKQ8JH | statement | record (an 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.09390#Q67M |
| 1W4EMEQY16 | 1W4EMEQY16 | statement | record (an 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.07398#UGDZ |
| 1W4YGX2EM3 | 1W4YGX2EM3 | statement | record (an 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.4254#H7ON |
| 1W51F7CDQY | 1W51F7CDQY | 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 2103.12669#FTPR |
| 1W583XRNXC | 1W583XRNXC | unknown | open | arXiv 1712.02437#MV38 |
| 1W5PNSSPCX | 1W5PNSSPCX | 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.24325#P3T3 |
| 1W5XNWHZZK | 1W5XNWHZZK | statement | open | open_logic content/incompleteness/arithmetization-syntax/proofs-in-nd.tex#prop:deriv |
| 1W6E5E3CAA | 1W6E5E3CAA | 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.28669#KF4Z |
| 1W6E8E4A7A | 1W6E8E4A7A | exercise | open | levin_dmoi ptx/exercises/counting-proofs.ptx#exercise-1 |
| 1W745G61QT | 1W745G61QT | 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.13505#A8JE |
| 1W74817DE8 | 1W74817DE8 | statement | record (an 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.12633#P34Q |
| 1W7F5K3G0J | 1W7F5K3G0J | statement | record (an 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.01498#IDDQ |
| 1W7FQGKZ7J | 1W7FQGKZ7J | statement | record (an 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.32446#CE32 |
| 1W836CG80E | 1W836CG80E | statement | record (an 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.29677#NG8B |
| 1W89Z4QDWH | 1W89Z4QDWH | statement | record (an 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.25957#G73E |
| 1W8E0W6GEG | 1W8E0W6GEG | statement | record (an 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.01855#QNPL |
| 1W8FPTR74W | 1W8FPTR74W | 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.18468#MXXV |
| 1W8GJ3QVBT | 1W8GJ3QVBT | 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.15700#GLZM |
| 1W8WNKZ8N6 | 1W8WNKZ8N6 | statement | record (an 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.08176#OSTN |
| 1W9D10KTV9 | 1W9D10KTV9 | statement | record (an 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.18618#X02Q |
| 1WA27FE8QW | 1WA27FE8QW | 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.40028#KBHE |
| 1WAD942Y33 | 1WAD942Y33 | statement | record (an 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.10406#AVPR |
| 1WAHMASH8P | 1WAHMASH8P | statement | record (an 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#W0N8 |
| 1WAWF98S4T | 1WAWF98S4T | 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.24325#KO4C |
| 1WAZCQR8H4 | 1WAZCQR8H4 | statement | record (an 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.34852#0JT5 |
| 1WB92TE88H | 1WB92TE88H | 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.14838#5LK0 |
| 1WB9CYFA21 | 1WB9CYFA21 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1809.07362#X33K |