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 15001–15100 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 666 | PDXD0VSTT1 | statement | open | Wikidata Q213058, MathWorld BeastNumber, ProofWiki 666, Wikidata Q666 |
| 666K5STXQB | 666K5STXQB | statement | record (an 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#2N83 |
| 6677CCC4EX | 6677CCC4EX | statement | record (an 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.19669#A2II |
| 667CH9QZMH | 667CH9QZMH | statement | record (an 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.18246#VEM9 |
| 668K79FPKS | 668K79FPKS | statement | record (an 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.08028#WFWV |
| 669AFTM0SY | 669AFTM0SY | statement | record (an 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.18847#RJH8 |
| 669TH2513C | 669TH2513C | statement | record (an 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.13699#XJKI |
| 669VST7X9Q | 669VST7X9Q | statement | record (an 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.27153#9LUP |
| 66ABQQY4J3 | 66ABQQY4J3 | statement | record (an 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.37584#SXU9 |
| 66AZZYFMSS | 66AZZYFMSS | statement | record (an 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.00596#DTVT |
| 66C4QDA1KT | 66C4QDA1KT | exercise | open | lebl_diffyqs ch-higher-order-ode.tex#exercise-27 |
| 66CW65QBEK | 66CW65QBEK | statement | record (an 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.14214#34WR |
| 66DK0062P6 | 66DK0062P6 | statement | record (an 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#8P6Z |
| 66DRAVJ2BG | 66DRAVJ2BG | statement | record (an 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.24307#QUCN |
| 66DXVDX9CQ | 66DXVDX9CQ | 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 1002.0879#0TB8 |
| 66ETS1JT13 | 66ETS1JT13 | 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.37520#668K |
| 66F4YG0CP6 | 66F4YG0CP6 | statement | record (an 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.01731#KVVT |
| 66FCYNNXH7 | 66FCYNNXH7 | statement | record (an 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.09812#QPZS |
| 66FE9FQ7J6 | 66FE9FQ7J6 | exercise | open | ernst_ibl MAAPressVersion/Topology.tex#problem-5 |
| 66GHVW5NCJ | 66GHVW5NCJ | statement | record (an 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.09561#DE1K |
| 66GN9Y9DBK | 66GN9Y9DBK | statement | record (an 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.15877#YSSW |
| 66H2QCG4M0 | 66H2QCG4M0 | statement | record (an 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.20422#9AB0 |
| 66HDMMKTRF | 66HDMMKTRF | 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.30274#W1U8 |
| 66HE40FT6H | 66HE40FT6H | statement | record (an 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.19132#1MYI |
| 66HEKZZZKJ | 66HEKZZZKJ | statement | record (an 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.30086#RTWY |
| 66HHHKKEVR | 66HHHKKEVR | 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.21752#WI9L |
| 66HZ4AJDRQ | 66HZ4AJDRQ | statement | record (an 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.27795#IDHU |
| 66K8X6R3K3 | 66K8X6R3K3 | statement | record (an 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.21921#7SM6 |
| 66KEK5KRBR | 66KEK5KRBR | statement | record (an 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#P9F4 |
| 66MC5KX3E2 | 66MC5KX3E2 | statement | record (an 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.24701#JM38 |
| 66MQMHYQ9E | 66MQMHYQ9E | statement | record (an 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.30098#B2ER |
| 66MS5GMWQY | 66MS5GMWQY | exercise | open | ernst_ibl MAAPressVersion/IntroQuantification.tex#problem-4 |
| 66NJT5TA5E | 66NJT5TA5E | statement | record (an 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.08382#KNYF |
| 66NMSB44Z6 | 66NMSB44Z6 | statement | record (an 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.26401#H24R |
| 66NRPRJS32 | 66NRPRJS32 | statement | record (an 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.08288#VA4T |
| 66NVX8R456 | 66NVX8R456 | statement | record (an 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.17137#BZPB |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |