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 17201–17300 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 66P6ZQKT4W | 66P6ZQKT4W | statement | open | lebl_ra ch-der.tex#firstderminmaxtest |
| 66QGXBKZQM | 66QGXBKZQM | statement | record (an 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.31445#5YPB |
| 66QPSC7PPS | 66QPSC7PPS | 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.21116#TLY3 |
| 66RG1PQ4SF | 66RG1PQ4SF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2601.15010#P09B |
| 66RK1EWVTH | 66RK1EWVTH | 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.31365#6BC7 |
| 66S6R100TE | 66S6R100TE | statement | record (an 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#W1PJ |
| 66SQMSF2JX | 66SQMSF2JX | statement | record (an 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.22338#EKBJ |
| 66T5ACVS5T | 66T5ACVS5T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2409.17318#KZY2 |
| 66T6XAMG93 | 66T6XAMG93 | statement | record (an 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.21892#E4JO |
| 66TCNMAPX9 | 66TCNMAPX9 | statement | record (an 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.18287#NYTW |
| 66TEN8E0FY | 66TEN8E0FY | statement | record (an 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.36088#KAPW |
| 66VK20QG8H | 66VK20QG8H | 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.01802#S6UL |
| 66VKTDKW7H | 66VKTDKW7H | statement | record (an 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.17004#5LWY |
| 66VN3F6K46 | 66VN3F6K46 | statement | record (an 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.39389#Y9C2 |
| 66VN55FDSN | 66VN55FDSN | proof | open | hott_book hlevels.tex#proof-32 |
| 66W6B303BX | 66W6B303BX | statement | record (an 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#PA06 |
| 66X6S1WGJB | 66X6S1WGJB | statement | record (an 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.34013#T1FN |
| 66XCX4S473 | 66XCX4S473 | statement | record (an 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.33185#Y3S7 |
| 66XSFCAXX4 | 66XSFCAXX4 | exercise | open | napkin tex/alg-NT/pell.tex#ques-1 |
| 66YFJEEN1W | 66YFJEEN1W | statement | record (an 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.07728#4QTJ |
| 66Z1XH3G52 | 66Z1XH3G52 | statement | record (an 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.36622#1IOV |
| 66Z7PKKNBP | 66Z7PKKNBP | statement | record (an 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.20135#LQNO |
| 66ZGCN1ZAX | 66ZGCN1ZAX | statement | record (an 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#PSO6 |
| 66ZKAT70RF | 66ZKAT70RF | statement | record (an 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.39981#ZLHK |
| 670 (number) | ETAR02MCCF | unknown | open | Wikipedia 600 (number)#NFTN |
| 6700K7YGDR | 6700K7YGDR | statement | record (an 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.02768#I5H5 |
| 6708V1BQ2W | 6708V1BQ2W | statement | record (an 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.21934#5TKP |
| 671ED4VEYX | 671ED4VEYX | statement | record (an 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.27715#AALE |
| 671GHMSSEW | 671GHMSSEW | statement | record (an 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.36811#N4BU |
| 671KGGBRJM | 671KGGBRJM | exercise | open | hott_book hlevels.tex#ex:s2-colim-unit |
| 672K4XGBRM | 672K4XGBRM | statement | record (an 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.12484#2616 |
| 672KERN4BX | 672KERN4BX | statement | record (an 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.07095#S8QB |
| 672MDCTVZ0 | 672MDCTVZ0 | statement | record (an 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.25100#2MBP |
| 672RDWXPYD | 672RDWXPYD | statement | record (an 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.24593#UD9G |
| 672VHK8AQF | 672VHK8AQF | statement | record (an 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.38772#9CQU |
| 6732ABN33J | 6732ABN33J | statement | record (an 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#GCZN |
| 6735Q0YY5E | 6735Q0YY5E | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2604.23212#DS7Z |
| 67360KMCHP | 67360KMCHP | statement | record (an 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.33578#TEYD |
| 67370W4ZV6 | 67370W4ZV6 | 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 2112.14455#NHJR |
| 673MFWY0B6 | 673MFWY0B6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.14629#24OC |
| 6744K3QG5E | 6744K3QG5E | statement | record (an 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.06669#TR0A |
| 67462C7GKA | 67462C7GKA | statement | record (an 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.21507#09NO |
| 674CAFQR8Z | 674CAFQR8Z | 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.03688#5NT3 |
| 674EWDFXQ7 | 674EWDFXQ7 | statement | record (an 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.18564#NFHI |
| 674FHF1VSM | 674FHF1VSM | proof | open | hott_book hits.tex#proof-6 |
| 674RSDZM8A | 674RSDZM8A | statement | record (an 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.13122#ZOUC |
| 6750PEYZ36 | 6750PEYZ36 | statement | record (an 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.06544#5BL0 |
| 675BVPFHRB | 675BVPFHRB | statement | record (an 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.14616#KFVM |
| 675EQZFNP7 | 675EQZFNP7 | exercise | open | open_logic content/first-order-logic/axiomatic-deduction/provability-consistency.tex#prob-3 |
| 675YJK8YMP | 675YJK8YMP | 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 2506.16491#VNIZ |
| 6765 (number) | 8XS916RE3A | unknown | open | Wikipedia 6000 (number)#Y446 |
| 6774DZBJS7 | 6774DZBJS7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2507.20176#RN4A |
| 677GDYJANX | 677GDYJANX | statement | record (an 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.10248#19OY |
| 677J8XT225 | 677J8XT225 | statement | record (an 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.10505#UKDI |
| 677NPA1X5A | 677NPA1X5A | statement | record (an 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.20187#CXZB |
| 677ZWG9EB1 | 677ZWG9EB1 | statement | record (an 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#DY32 |
| 6782PXD1FR | 6782PXD1FR | 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.36423#OYRQ |
| 678TW7XMER | 678TW7XMER | statement | open | hott_book logic.tex#thm:isprop-iscontr |
| 6798TNA9PZ | 6798TNA9PZ | 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.31276#HR1D |
| 679F6ZGG3A | 679F6ZGG3A | problem | open | Wikipedia Covering system#GZ75 |
| 67AF29WRWK | 67AF29WRWK | problem | open | Wikipedia Reversible cellular automaton#RH3S |
| 67AFN590EC | 67AFN590EC | exercise | open | austin_ula src/exercises/exercises1-2.xml#exercise-5 |
| 67B9VMV28T | 67B9VMV28T | 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.31445#HSN7 |
| 67BBRJP71K | 67BBRJP71K | 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.03865#M6LH |
| 67BMWW234Z | 67BMWW234Z | statement | record (an 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.05194#G11N |
| 67BQPWWWZ3 | 67BQPWWWZ3 | statement | record (an 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#T72R |
| 67BTBQA63G | 67BTBQA63G | statement | record (an 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.05442#F4JK |
| 67CA2THDD3 | 67CA2THDD3 | statement | record (an 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.20097#E6JN |
| 67CNJWTK87 | 67CNJWTK87 | 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.33124#4OMZ |
| 67DK0NS963 | 67DK0NS963 | statement | record (an 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.08052#6LMY |
| 67E5F7HVK2 | 67E5F7HVK2 | 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 2303.09207#ONAZ |
| 67EEBXDG30 | 67EEBXDG30 | statement | record (an 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#UFEU |
| 67EF1RZ4DB | 67EF1RZ4DB | statement | record (an 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#RE8Y |
| 67EQ1AHCV8 | 67EQ1AHCV8 | 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.14085#860B |
| 67EY74A5TK | 67EY74A5TK | statement | record (an 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.05499#4HTA |
| 67FHT5PFG7 | 67FHT5PFG7 | 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.10804#G09J |
| 67FQJSQH4J | 67FQJSQH4J | statement | record (an 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.23258#PNVF |
| 67FT1CHHKC | 67FT1CHHKC | statement | record (an 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#MQS1 |
| 67FTWKMDS0 | 67FTWKMDS0 | proof | open | napkin tex/measure/swapsum.tex#proof-2 |
| 67FXXNWK6A | 67FXXNWK6A | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2502.16151#GL7C |
| 67G1TCRFYD | 67G1TCRFYD | example | open | napkin tex/calculus/limits.tex#example-1 |
| 67G3A4S75D | 67G3A4S75D | statement | record (an 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#RWD2 |
| 67G9DDF8WX | 67G9DDF8WX | statement | record (an 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.06310#ZH6W |
| 67GDYR4AJK | 67GDYR4AJK | proof | open | lebl_ra ch-seq-ser.tex#proof-31 |
| 67GM89WTVN | 67GM89WTVN | statement | record (an 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.22825#ICCR |
| 67GPRT2BS9 | 67GPRT2BS9 | statement | record (an 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.38013#MDPH |
| 67GZD3RDHF | 67GZD3RDHF | 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.13030#1LVS |
| 67HPZVXHSV | 67HPZVXHSV | statement | record (an 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#Q0VQ |
| 67HXF7733H | 67HXF7733H | definition | open | napkin tex/H113/ring-intro.tex#definition-8 |
| 67JER5HPK4 | 67JER5HPK4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2402.05268#S565 |
| 67JFHCVN5M | 67JFHCVN5M | 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 2406.01499#SJ3J |
| 67JKKWPPM6 | 67JKKWPPM6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1601.02354#R7F3 |
| 67JQD4Q9ZW | 67JQD4Q9ZW | statement | record (an 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.18544#SFE8 |
| 67K1NN8TV4 | 67K1NN8TV4 | statement | record (an 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.18346#8E5S |
| 67KBNH63GF | 67KBNH63GF | statement | record (an 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.24917#N8L0 |
| 67KFJFQ32D | 67KFJFQ32D | statement | record (an 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.19333#UJMP |
| 67KGWR581H | 67KGWR581H | statement | record (an 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.04730#KISA |
| 67KJT989D3 | 67KJT989D3 | 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 2007.14459#FZ7F |
| 67M0TXGR5F | 67M0TXGR5F | 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.07897#L9A2 |
| 67M4BF414A | 67M4BF414A | statement | record (an 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#7C0G |