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 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 23001–23100 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 84KECWAYKA | 84KECWAYKA | statement | record (an 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.17769#P297 |
| 84MAKX000N | 84MAKX000N | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2405.01860#QEOA |
| 84ME28Z26W | 84ME28Z26W | statement | record (an 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.05193#MJRP |
| 84N4QAJ5T5 | 84N4QAJ5T5 | statement | record (an 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.22345#8GRE |
| 84N8C43Q7J | 84N8C43Q7J | statement | open | open_logic content/lambda-calculus/syntax/alpha.tex#thm-1 |
| 84QMP1X18F | 84QMP1X18F | 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.26382#ATXJ |
| 84QNMZKXV5 | 84QNMZKXV5 | statement | record (an 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.32650#PM8Z |
| 84QQ7VSWN3 | 84QQ7VSWN3 | statement | record (an 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#RR2V |
| 84QTN70GG0 | 84QTN70GG0 | 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.13295#TEI5 |
| 84QVJXDG0P | 84QVJXDG0P | statement | record (an 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.19861#VKPY |
| 84RM6VQED9 | 84RM6VQED9 | statement | record (an 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#FW4D |
| 84S4YEDY0J | 84S4YEDY0J | 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.31858#K9ZM |
| 84ST61TKVK | 84ST61TKVK | statement | record (an 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.01899#4D9S |
| 84SVMCW8FA | 84SVMCW8FA | statement | record (an 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.38243#LEU7 |
| 84SXJ5XKZ5 | 84SXJ5XKZ5 | statement | record (an 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.19954#GWRD |
| 84SZ0Z3HBE | 84SZ0Z3HBE | statement | record (an 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.08633#RUOA |
| 84TFKQ3WNX | 84TFKQ3WNX | statement | record (an 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.06699#74BC |
| 84TGA7W2VT | 84TGA7W2VT | statement | open | open_logic content/set-theory/cardinals/classing.tex#finitecardisoequal |
| 84TNJ25V0P | 84TNJ25V0P | statement | record (an 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#SQAB |
| 84TW2N3PG5 | 84TW2N3PG5 | statement | open | hott_book reals.tex#thm:RCsim-symmetric |
| 84TZ3R47PY | 84TZ3R47PY | statement | record (an 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.33775#HCBI |
| 84VVW60K08 | 84VVW60K08 | statement | record (an 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.25960#TUTI |
| 84W0W96CNE | 84W0W96CNE | proof | open | hott_book homotopy.tex#proof-7 |
| 84W4ZF61MB | 84W4ZF61MB | statement | record (an 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.25960#1VKO |
| 84XMRH3MX6 | 84XMRH3MX6 | statement | record (an 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.20153#ADYR |
| 84XYH221SP | 84XYH221SP | statement | open | open_logic content/set-theory/cardinals/classing.tex#unioncardinalscardinal |
| 84YGCDPRGM | 84YGCDPRGM | statement | record (an 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.16883#518W |
| 84YJBX56S7 | 84YJBX56S7 | exercise | open | lebl_scv scv.tex#exercise-172 |
| 84YKDN7J45 | 84YKDN7J45 | statement | record (an 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.32181#U7VR |
| 84YMSR28SH | 84YMSR28SH | exercise | open | levin_dmoi ptx/exercises/seq-induction.ptx#exercise-28 |
| 84YP5AMTHZ | 84YP5AMTHZ | statement | record (an 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.12716#0G6E |
| 84YVCM4PVK | 84YVCM4PVK | statement | record (an 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.29008#KFB1 |
| 84Z1S16DMP | 84Z1S16DMP | statement | record (an 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.13100#5HT0 |
| 84Z6ACBK6J | 84Z6ACBK6J | statement | record (an 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.20469#UFX0 |
| 84ZMYWQN5J | 84ZMYWQN5J | statement | record (an 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.19023#YHIH |
| 84ZSKGZ5FV | 84ZSKGZ5FV | statement | record (an 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#Q83R |
| 84ZVCGKKBT | 84ZVCGKKBT | 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.16388#85MY |
| 84ZY8G32XC | 84ZY8G32XC | statement | record (an 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.34813#HQTK |
| 850 (number) | D9NE457B6J | unknown | open | Wikipedia 800 (number)#EXFS |
| 850AAFV0J2 | 850AAFV0J2 | statement | record (an 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.04099#HW5G |
| 851777ZKFX | 851777ZKFX | statement | record (an 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.18562#VDSM |
| 851BGYCDA6 | 851BGYCDA6 | proof | open | open_logic content/set-theory/ord-arithmetic/multiplication.tex#proof-1 |
| 851QAW88AP | 851QAW88AP | statement | record (an 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.27458#Y026 |
| 851XNV3V3Z | 851XNV3V3Z | statement | record (an 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#PO6N |
| 851YNTVWKC | 851YNTVWKC | statement | record (an 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.16518#BG42 |
| 852SHSPW33 | 852SHSPW33 | statement | record (an 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.13100#5CQR |
| 852VRZTQ56 | 852VRZTQ56 | statement | record (an 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.34311#A078 |
| 853D7MZEAN | 853D7MZEAN | exercise | open | levin_dmoi ptx/sec_counting-advPIE.ptx#investigation-2 |
| 853KJFDVQT | 853KJFDVQT | statement | record (an 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#148L |
| 853NP2FXSK | 853NP2FXSK | statement | record (an 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.05423#MLVG |
| 8543W5GQ6Y | 8543W5GQ6Y | 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 0806.0678#OBHS |
| 8545NK36R3 | 8545NK36R3 | statement | record (an 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.29498#LUTX |
| 8546G8C04M | 8546G8C04M | statement | record (an 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.05715#XUKA |
| 854A0T4MJY | 854A0T4MJY | statement | open | open_logic content/proof-theory/sequent-calculus/invertibility.tex#lem:invert-quant |
| 854C0JMQMW | 854C0JMQMW | 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 1903.07030#CABC |
| 854FZYAKN5 | 854FZYAKN5 | example | open | applied_combinatorics source/s_inclusion-exclusion_intro.ptx#exa_inclusion-exclusion_int-solns |
| 854JHEYE77 | 854JHEYE77 | statement | record (an 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.03555#K7AB |
| 854VPADDAP | 854VPADDAP | example | open | lebl_ra ch-contfunc.tex#example:jumpdiscont |
| 855KDBTM1Y | 855KDBTM1Y | exercise | open | applied_combinatorics source/s_strings_exercises.ptx#exercise-23 |
| 855Q36HWSC | 855Q36HWSC | statement | record (an 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/9602216#4JPT |
| 855ZRDZARA | 855ZRDZARA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0807.1652#TM95 |
| 8569NGJXHP | 8569NGJXHP | statement | record (an 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.24465#2PM7 |
| 856EMYDGF2 | 856EMYDGF2 | proof | open | hott_book setmath.tex#proof-37 |
| 856K1MVHXK | 856K1MVHXK | statement | record (an 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.00525#THZ8 |
| 856WK93FV7 | 856WK93FV7 | statement | record (an 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.38556#HQ5N |
| 8578YS9EC7 | 8578YS9EC7 | statement | record (an 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.09298#7Z09 |
| 8582MAZFKH | 8582MAZFKH | definition | open | ernst_ibl MAAPressVersion/IntroFunctions.tex#definition-2 |
| 858BQ4KSC5 | 858BQ4KSC5 | statement | record (an 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.35762#YMOM |
| 858SCFQZP0 | 858SCFQZP0 | statement | record (an 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.05867#9NX1 |
| 85990H88SM | 85990H88SM | statement | record (an 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.21403#3HJW |
| 859ABDECY7 | 859ABDECY7 | 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.31331#5GT7 |
| 859B65Y93H | 859B65Y93H | statement | record (an 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.25307#IGA8 |
| 859G5MWHG0 | 859G5MWHG0 | statement | record (an 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.20140#ZNLD |
| 859TDV7TBC | 859TDV7TBC | statement | record (an 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.35323#OAUV |
| 85A6KNEYT6 | 85A6KNEYT6 | statement | record (an 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.16388#2P7T |
| 85A8G6MQYB | 85A8G6MQYB | statement | record (an 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.24610#AK20 |
| 85AVDH37E8 | 85AVDH37E8 | exercise | open | napkin tex/homology/excision.tex#ques-1 |
| 85BC61598S | 85BC61598S | statement | record (an 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#II9J |
| 85BM0GW35B | 85BM0GW35B | 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.33442#05IT |
| 85BT88Y7V8 | 85BT88Y7V8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2202.07274#P8NW |
| 85BW2GMVAD | 85BW2GMVAD | statement | record (an 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.21900#REXH |
| 85C8MZ4VGZ | 85C8MZ4VGZ | statement | record (an 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.00407#V15X |
| 85C9GD55RW | 85C9GD55RW | statement | record (an 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#13KO |
| 85CXSG6WM2 | 85CXSG6WM2 | statement | record (an 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#QJDN |
| 85E7VVEHYC | 85E7VVEHYC | statement | record (an 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.36334#KUVT |
| 85EMNATCY8 | 85EMNATCY8 | statement | record (an 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#BUJQ |
| 85FFBFDHFG | 85FFBFDHFG | statement | record (an 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#91KG |
| 85GT15445K | 85GT15445K | statement | record (an 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.11965#ELCD |
| 85GYQB4XN2 | 85GYQB4XN2 | statement | record (an 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.31389#L8IE |
| 85HBZ0KV0W | 85HBZ0KV0W | 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#P267 |
| 85HFK2G5ZB | 85HFK2G5ZB | statement | record (an 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.00115#6PUM |
| 85J4KC0YN6 | 85J4KC0YN6 | statement | record (an 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.37520#6L8R |
| 85KHYWQMDX | 85KHYWQMDX | statement | record (an 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.00909#V43D |
| 85M0T1ZWWR | 85M0T1ZWWR | statement | record (an 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.20416#9CIO |
| 85MXW0HQ4A | 85MXW0HQ4A | statement | record (an 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.08837#5WD0 |
| 85MY78ME0Q | 85MY78ME0Q | statement | record (an 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#2L8B |
| 85MYGVGTM4 | 85MYGVGTM4 | 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.17527#E3CH |
| 85NHC9VN02 | 85NHC9VN02 | exercise | open | austin_ula src/exercises/exercises4-5.xml#exercise-3 |
| 85NQ6M3899 | 85NQ6M3899 | exercise | open | austin_ula src/exercises/exercises3-5.xml#exercise-5 |
| 85NRS4VMSK | 85NRS4VMSK | 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#MLL8 |