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 901–1000 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 110-vertex Iofinova–Ivanov graph | 8XXVWFABP9 | unknown | open | Wikidata Q2806925, House of Graphs 37748, MathWorld Iofinova-IvanovGraphs |
| 110066EWWT | 110066EWWT | statement | record (an 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#NXTV |
| 110AHY4BE3 | 110AHY4BE3 | 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 2208.07784#7M3Q |
| 1111 | WT1RY64TRX | statement | open | Wikidata Q3844034, ProofWiki 1111 |
| 11193H199Y | 11193H199Y | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2506.08233#OV3A |
| 111V15K1M8 | 111V15K1M8 | statement | record (an 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.12736#YO9M |
| 112FWES2EJ | 112FWES2EJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.05198#8Q7T |
| 112V69KS33 | 112V69KS33 | statement | open | ernst_ibl MAAPressVersion/IntroToLogic.tex#theorem-1 |
| 1139VB803P | 1139VB803P | 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.19273#DGCK |
| 113VFA51DF | 113VFA51DF | statement | record (an 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.05118#DHRB |
| 113Z7FZ2R9 | 113Z7FZ2R9 | statement | record (an 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.09704#O228 |
| 114BE3QYX3 | 114BE3QYX3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.00562#NVN2 |
| 114C57QK0P | 114C57QK0P | statement | record (an 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#Q7H1 |
| 114N8JK0V0 | 114N8JK0V0 | statement | record (an 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.25104#2TJI |
| 114RS361EY | 114RS361EY | statement | record (an 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/0008020#0QVC |
| 11531SKJQD | 11531SKJQD | statement | record (an 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#J25Z |
| 115PNV0MNR | 115PNV0MNR | exercise | open | applied_combinatorics source/s_strings_exercises.ptx#exercise-26 |
| 116DQ8E9SN | 116DQ8E9SN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2312.05005#NETL |
| 1170B3GQAA | 1170B3GQAA | exercise | open | ernst_ibl MAAPressVersion/IntroFunctions.tex#problem-7 |
| 117GH5D1S9 | 117GH5D1S9 | exercise | open | applied_combinatorics source/s_genfunction_exercises.ptx#exercise-19 |
| 1185KR1JT0 | 1185KR1JT0 | statement | record (an 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.08488#TJ41 |
| 1185V66RBH | 1185V66RBH | statement | record (an 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.09319#ZK1H |
| 118Q6SC15E | 118Q6SC15E | 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 2205.09049#GWKT |
| 118VESYRSN | 118VESYRSN | 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 1803.10042#WHP6 |
| 118WYFA4M4 | 118WYFA4M4 | statement | record (an 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.22082#H73L |
| 118ZSGPNVJ | 118ZSGPNVJ | statement | record (an 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.32478#5N6D |
| 1193MTZPAW | 1193MTZPAW | statement | record (an 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.04305#FUH1 |
| 119ZM3PT5F | 119ZM3PT5F | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2006.12475#B52P |
| 11AKWYF7PD | 11AKWYF7PD | statement | record (an 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.08018#084Y |
| 11C1YAHV2V | 11C1YAHV2V | exercise | open | applied_combinatorics source/s_posets_exercises.ptx#exercise-3 |
| 11CA9SGGAB | 11CA9SGGAB | 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#UWWK |
| 11CCEKHHHK | 11CCEKHHHK | statement | record (an 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.29399#0MTS |
| 11CFBEKC1X | 11CFBEKC1X | statement | record (an 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.28251#2LUA |
| 11CQP6HCPZ | 11CQP6HCPZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2210.11778#ZHAU |
| 11CSGZMN38 | 11CSGZMN38 | statement | open | open_logic content/sets-functions-relations/relations/orders.tex#prop:partialtostrict |
| 11CXD8ER3C | 11CXD8ER3C | 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.05320#F2JT |
| 11DEFSC7QG | 11DEFSC7QG | statement | record (an 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.18992#FB4P |
| 11E1H1PJ9B | 11E1H1PJ9B | 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.12857#GDIU |
| 11EDNKZ0A3 | 11EDNKZ0A3 | statement | record (an 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.12329#669M |
| 11EG6461R3 | 11EG6461R3 | statement | record (an 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.15472#H6YA |
| 11EHFM95J2 | 11EHFM95J2 | statement | record (an 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.31489#ZER0 |
| 11F4K2TCZJ | 11F4K2TCZJ | statement | record (an 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.33552#OYV2 |
| 11G0M56ECW | 11G0M56ECW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1512.06981#IK3C |
| 11G4ECK7PN | 11G4ECK7PN | statement | record (an 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.11545#XIQU |
| 11GA7NTAHD | 11GA7NTAHD | statement | record (an 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.34522#O775 |
| 11GAAKS9M6 | 11GAAKS9M6 | proof | open | open_logic content/intuitionistic-logic/tableaux/soundness.tex#proof-3 |
| 11GJA90XEM | 11GJA90XEM | statement | record (an 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.03272#6OIL |
| 11GWVQWYS8 | 11GWVQWYS8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2309.17091#5LWK |
| 11GZ5G0J57 | 11GZ5G0J57 | statement | record (an 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.18335#300X |
| 11J0T2Q1BV | 11J0T2Q1BV | statement | record (an 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#IIU5 |
| 11JT7PJFVF | 11JT7PJFVF | statement | record (an 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.01073#JFNV |
| 11JYTCGH15 | 11JYTCGH15 | statement | record (an 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#9RD9 |
| 11JZC20VTF | 11JZC20VTF | statement | record (an 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.09319#7OOA |
| 11K8HRD7HF | 11K8HRD7HF | statement | open | hott_book reals.tex#lem:untruncated-linearity-reals-coincide |
| 11KQADK558 | 11KQADK558 | statement | record (an 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#MAMN |
| 11KXTRBVD1 | 11KXTRBVD1 | statement | record (an 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.38370#ZDS0 |
| 11KZP1VG7M | 11KZP1VG7M | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.16655#ZU6R |
| 11M5WPMQE4 | 11M5WPMQE4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2305.06030#TONL |
| 11MRNM8T1H | 11MRNM8T1H | exercise | open | active_calculus source/activities/act-7-6-2.xml#act-7-6-2 |
| 11MVZ7P0PS | 11MVZ7P0PS | statement | record (an 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.39293#AGKQ |
| 11NPWPFVHH | 11NPWPFVHH | statement | record (an 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.10559#K0UZ |
| 11NW2HQ066 | 11NW2HQ066 | statement | record (an 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.30823#T20M |
| 11PE4QVAD8 | 11PE4QVAD8 | 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.12413#LN8E |
| 11PGSQZFSN | 11PGSQZFSN | statement | record (an 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#K5MS |
| 11QPK3AYNH | 11QPK3AYNH | exercise | open | hott_book logic.tex#ex:impred-brck |
| 11QT2GKWHT | 11QT2GKWHT | 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 2201.04174#3QKK |
| 11RAG6T2X9 | 11RAG6T2X9 | statement | record (an 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.11082#VXB8 |
| 11RP8FCXBC | 11RP8FCXBC | 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 2301.04933#NKLM |
| 11RQ6VTX6G | 11RQ6VTX6G | 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.33841#CZ8L |
| 11RYSCWD7V | 11RYSCWD7V | statement | record (an 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.09729#SSFS |
| 11S8R18T30 | 11S8R18T30 | statement | record (an 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#GEKC |
| 11SCZBY087 | 11SCZBY087 | statement | record (an 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#LKFU |
| 11SDZQ3R09 | 11SDZQ3R09 | statement | record (an 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.31273#RSIE |
| 11SYN5PR1N | 11SYN5PR1N | statement | record (an 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.14742#BWJE |
| 11T3H2Z21X | 11T3H2Z21X | statement | record (an 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.19453#D8YS |
| 11T9V2RP0Z | 11T9V2RP0Z | exercise | open | active_calculus source/activities/act-1-1-1.xml#act-1-1-1 |
| 11TBVFWFDN | 11TBVFWFDN | statement | record (an 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.32338#CYEG |
| 11TNTK5FEP | 11TNTK5FEP | statement | record (an 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.24355#W9CO |
| 11TQM5552G | 11TQM5552G | statement | record (an 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.09562#ZT4Y |
| 11WDC7T88B | 11WDC7T88B | statement | record (an 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.15460#XYKJ |
| 11WRHNKGKP | 11WRHNKGKP | statement | record (an 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.36279#A9Y0 |
| 11XAKN1Q8K | 11XAKN1Q8K | statement | record (an 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.30760#8826 |
| 11XBCZJHH7 | 11XBCZJHH7 | statement | record (an 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.12329#3S4V |
| 11XFTYMNAE | 11XFTYMNAE | statement | record (an 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.00864#MU1Y |
| 11ZJRP47A2 | 11ZJRP47A2 | statement | record (an 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.17135#RYIF |
| 11ZM6RDFFZ | 11ZM6RDFFZ | statement | record (an 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.35467#2J9N |
| 11ZMR1G7VS | 11ZMR1G7VS | statement | record (an 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.07963#C5SJ |
| 120-cell | BX6M18SWA0 | unknown | open | Wikidata Q736191, MathWorld 120-Cell, nLab 120-cell |
| 1206DB4ZH7 | 1206DB4ZH7 | statement | record (an 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.38548#GRNR |
| 120M6232N7 | 120M6232N7 | statement | record (an 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.20025#L3QV |
| 120PAJ0X11 | 120PAJ0X11 | statement | record (an 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.29521#XDP2 |
| 1221EQJ6DZ | 1221EQJ6DZ | statement | record (an 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.13877#0BI5 |
| 122EKTGN1H | 122EKTGN1H | proof | open | hott_book equivalences.tex#proof-23 |
| 122JASS0RN | 122JASS0RN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1010.3284#CI95 |
| 122XVG4E1W | 122XVG4E1W | statement | record (an 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.13618#V7WY |
| 123M721W3E | 123M721W3E | statement | record (an 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#FY7Q |
| 1248XH1Y3T | 1248XH1Y3T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | |
| 124XGFSZCX | 124XGFSZCX | statement | record (an 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.07292#5IRB |
| 1254FZ837G | 1254FZ837G | unknown | open | Wikidata Q136147653, House of Graphs 538 |
| 125A3S33TB | 125A3S33TB | statement | record (an 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.09544#P0RC |