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 14001–14100 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 54W0KGKQ9J | 54W0KGKQ9J | proof | open | hott_book reals.tex#proof-15 |
| 54WB8Z2BSX | 54WB8Z2BSX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2404.18690#DHZM |
| 54WSR9VDHZ | 54WSR9VDHZ | 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.27056#S0S0 |
| 54XE1BCV17 | 54XE1BCV17 | statement | record (an 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.10968#I1HU |
| 54XV5DB6J4 | 54XV5DB6J4 | statement | record (an 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.29188#YSWT |
| 54YBKG1QS7 | 54YBKG1QS7 | 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#R34Q |
| 54YK0MJJDX | 54YK0MJJDX | statement | record (an 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.03497#PB9D |
| 54YMTSEJG4 | 54YMTSEJG4 | statement | record (an 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.36313#JX4Z |
| 54YXDMZBKS | 54YXDMZBKS | statement | record (an 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.12238#0N8M |
| 54Z7NC9FA0 | 54Z7NC9FA0 | 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.07673#18ZH |
| 54ZEC4YH5H | 54ZEC4YH5H | statement | record (an 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.37450#R7F7 |
| 54ZVV9VMBQ | 54ZVV9VMBQ | statement | record (an 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.38267#R5JJ |
| 550 (number) | 5YPPYBEHY3 | unknown | open | Wikipedia 500 (number)#OEB7 |
| 5500 | R7NWH6CJ9W | unknown | open | Wikipedia 5000 (number)#MBZ1 |
| 5504Y3J7HY | 5504Y3J7HY | statement | record (an 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.39790#Q9M0 |
| 550KE42KWE | 550KE42KWE | 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.21703#7E39 |
| 550ZKBTM2K | 550ZKBTM2K | 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.33124#GSR2 |
| 551 (number) | Y01B57BG9D | unknown | open | Wikipedia 500 (number)#TGZB |
| 5519YMHYTZ | 5519YMHYTZ | statement | record (an 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.08610#X4MQ |
| 552 (number) | 453QGD2GJF | unknown | open | Wikipedia 500 (number)#K4YX |
| 55230236ZX | 55230236ZX | statement | record (an 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.21034#BZM1 |
| 5523M6397Y | 5523M6397Y | statement | record (an 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.05391#GTSI |
| 5526WB046K | 5526WB046K | statement | record (an 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.28552#V5UB |
| 552HFMXTYR | 552HFMXTYR | statement | record (an 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.03305#1IWU |
| 552JA67KF2 | 552JA67KF2 | statement | record (an 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.33573#6E1X |
| 552RT63WV1 | 552RT63WV1 | statement | record (an 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.28141#6IFU |
| 552Z9Y1Y9C | 552Z9Y1Y9C | 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#GXOI |
| 553 (number) | AABR842QY8 | unknown | open | Wikipedia 500 (number)#XPTW |
| 5530RM30AC | 5530RM30AC | statement | record (an 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#LG00 |
| 5538CXAKVG | 5538CXAKVG | exercise | open | applied_combinatorics source/s_strings_exercises.ptx#exercise-30 |
| 553S1ZE382 | 553S1ZE382 | statement | record (an 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.11671#EVS3 |
| 553ST1A3KY | 553ST1A3KY | statement | record (an 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.17066#W2TO |
| 553ZYZBAM7 | 553ZYZBAM7 | statement | record (an 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.23004#Y4F8 |
| 554 (number) | EZMD6060EV | unknown | open | Wikipedia 500 (number)#QTSB |
| 5540PBZEH1 | 5540PBZEH1 | exercise | open | austin_ula src/exercises/exercises7-4.xml#exercise-9 |
| 554ERSDCPY | 554ERSDCPY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2410.10337#LXEL |
| 554KHNJYKM | 554KHNJYKM | statement | record (an 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#G7O1 |
| 555 (Number) | TMV01QTR3M | unknown | open | Wikipedia 500 (number)#QOXC |
| 5550P5QKJE | 5550P5QKJE | statement | record (an 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.21536#7GRM |
| 5557T36QF7 | 5557T36QF7 | statement | record (an 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.39890#0XEH |
| 555EVFFN1Y | 555EVFFN1Y | statement | record (an 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.35858#0P3Z |
| 555H4RHPY0 | 555H4RHPY0 | statement | record (an 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#937S |
| 555KQHKF2T | 555KQHKF2T | statement | record (an 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.03288#V6MO |
| 555TDV7ZEF | 555TDV7ZEF | proof | open | open_logic content/incompleteness/representability-in-q/basic-representable.tex#proof-1 |
| 556 (number) | TYWQCSZNGQ | unknown | open | Wikipedia 500 (number)#T1P0 |
| 55641KMJ9Z | 55641KMJ9Z | definition | open | napkin tex/set-theory/cardinal.tex#definition-5 |
| 557 | 1S5SPB9TKQ | statement | open | Wikidata Q923333, ProofWiki 557 |
| 557 (number) | JK8Y8WXVR7 | unknown | open | Wikipedia 500 (number)#IHAC |
| 557J409EH6 | 557J409EH6 | statement | record (an 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#9RFV |
| 557YPQRS95 | 557YPQRS95 | statement | record (an 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.27078#4D7Y |
| 558 (number) | JGVR7HZECR | unknown | open | Wikipedia 500 (number)#TIMZ |
| 5589R8894Y | 5589R8894Y | statement | record (an 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.14135#LWJ5 |
| 559 (number) | MNV316YCWY | unknown | open | Wikipedia 500 (number)#H4MS |
| 559NDT7XWJ | 559NDT7XWJ | definition | open | lebl_ra ch-vol1-intro.tex#defn-15 |
| 559THVSNKR | 559THVSNKR | statement | record (an 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.31604#ZW94 |
| 559VEP5H2K | 559VEP5H2K | statement | record (an 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.03601#XK41 |
| 559VY494K6 | 559VY494K6 | statement | record (an 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.34570#905E |
| 559YDB5C30 | 559YDB5C30 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2501.01612#DLYD |
| 559Z4TRV58 | 559Z4TRV58 | statement | record (an 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.10152#I6AB |
| 55ASCHN2XK | 55ASCHN2XK | statement | record (an 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.01928#OHD5 |
| 55BMVVVQH4 | 55BMVVVQH4 | 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 2108.03672#8EM0 |
| 55BSZFANK4 | 55BSZFANK4 | statement | record (an 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.35950#YH87 |
| 55BWKJ1F1K | 55BWKJ1F1K | statement | record (an 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.21929#DUT3 |
| 55C4DF92Q9 | 55C4DF92Q9 | statement | record (an 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.35605#BCTD |
| 55DJ2TJDCX | 55DJ2TJDCX | statement | record (an 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.07638#EDZU |
| 55DR62MK4D | 55DR62MK4D | statement | record (an 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.05986#01RM |
| 55E3GKEM46 | 55E3GKEM46 | statement | record (an 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.02570#H0HU |
| 55ER09BGSV | 55ER09BGSV | statement | record (an 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.11785#O0W1 |
| 55EW0K47HM | 55EW0K47HM | proof | open | lebl_scv scv.tex#proof-66 |
| 55FDGZ3S23 | 55FDGZ3S23 | statement | record (an 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.25912#FDZZ |
| 55FKMS38HD | 55FKMS38HD | statement | record (an 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.24001#A3AP |
| 55FQ5932RG | 55FQ5932RG | statement | record (an 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.31102#5UF4 |
| 55G2WNACAC | 55G2WNACAC | 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.37197#8W3Y |
| 55GCBY0BZ6 | 55GCBY0BZ6 | statement | record (an 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.25275#PB2K |
| 55GDSY8JK9 | 55GDSY8JK9 | statement | record (an 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.18270#CUC8 |
| 55GNDD752X | 55GNDD752X | 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.32903#BNYF |
| 55HKN4P1ZZ | 55HKN4P1ZZ | 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.38844#OFIU |
| 55HNVQGYTQ | 55HNVQGYTQ | statement | record (an 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.21680#V6QW |
| 55JA2YXWVJ | 55JA2YXWVJ | statement | record (an 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.04172#MIMA |
| 55JBP0HAXC | 55JBP0HAXC | statement | record (an 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.22205#OGG4 |
| 55KC1HBE23 | 55KC1HBE23 | statement | record (an 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.08776#25QT |
| 55KQBBTNVH | 55KQBBTNVH | exercise | open | austin_ula src/exercises/exercises6-1.xml#exercise-1 |
| 55M8SB4GCJ | 55M8SB4GCJ | statement | record (an 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.14837#657U |
| 55MB61GATG | 55MB61GATG | statement | record (an 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.18101#1DST |
| 55MPZ1HD9G | 55MPZ1HD9G | statement | record (an 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#PR5L |
| 55N3GX7RPJ | 55N3GX7RPJ | 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#513F |
| 55NJP7WR39 | 55NJP7WR39 | statement | record (an 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#96S1 |
| 55NV85BS9N | 55NV85BS9N | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2412.20238#VFPO |
| 55NZWAP7GF | 55NZWAP7GF | exercise | open | austin_ula src/exercises/exercises3-1.xml#exercise-1 |
| 55PPK1HY21 | 55PPK1HY21 | statement | record (an 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#6EV1 |
| 55PXTWGVXZ | 55PXTWGVXZ | statement | record (an 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.18464#PCVD |
| 55Q1C44D56 | 55Q1C44D56 | statement | record (an 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.23833#JJBA |
| 55RQPXKTV7 | 55RQPXKTV7 | statement | record (an 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.37634#3KPP |
| 55RX44KAPS | 55RX44KAPS | statement | record (an 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#1WW1 |
| 55T5ZQ25MF | 55T5ZQ25MF | statement | record (an 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.40355#FA6F |
| 55T8B5PVWR | 55T8B5PVWR | statement | record (an 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#UK6S |
| 55TBFAYAG1 | 55TBFAYAG1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1912.02769#TJDI |
| 55TKGVPYHZ | 55TKGVPYHZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2108.10246#U7NU |
| 55TR1DT4X1 | 55TR1DT4X1 | statement | record (an 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.08226#6ZIG |
| 55TRAH6E3Z | 55TRAH6E3Z | definition | open | napkin tex/calculus/integrate.tex#definition-1 |