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 8801–8900 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 3XHQRCEMZQ | 3XHQRCEMZQ | 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.09739#0JRD |
| 3XHSF5GKRS | 3XHSF5GKRS | proof | open | napkin tex/rep-theory/semisimple.tex#proof-5 |
| 3XJP1T8466 | 3XJP1T8466 | statement | record (an 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.10365#70IB |
| 3XK1WPT437 | 3XK1WPT437 | statement | record (an 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.32090#IHOT |
| 3XKQP7E534 | 3XKQP7E534 | statement | record (an 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.03327#5LGE |
| 3XKZMCX44V | 3XKZMCX44V | statement | open | hott_book homotopy.tex#lem-3 |
| 3XM05GPVTX | 3XM05GPVTX | statement | record (an 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.26357#FB1P |
| 3XM7YTBPRS | 3XM7YTBPRS | exercise | open | lebl_scv scv.tex#exercise-80 |
| 3XMCCM6VS2 | 3XMCCM6VS2 | statement | open | open_logic content/methods/proofs/proof-by-contradiction.tex#prop-4 |
| 3XMP2Q50NE | 3XMP2Q50NE | statement | record (an 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.21724#LWFT |
| 3XNJPVP027 | 3XNJPVP027 | proof | open | open_logic content/set-theory/spine/rank.tex#proof-5 |
| 3XNSQ2FDRC | 3XNSQ2FDRC | statement | record (an 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.03704#1087 |
| 3XP3XMS6NT | 3XP3XMS6NT | statement | record (an 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#A88R |
| 3XP6H589NY | 3XP6H589NY | 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 1503.05744#5450 |
| 3XPHN6F0ZH | 3XPHN6F0ZH | 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 1810.06028#D1H6 |
| 3XPNCHFJPN | 3XPNCHFJPN | statement | record (an 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.00560#DW9P |
| 3XQ006GT8X | 3XQ006GT8X | statement | record (an 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.02489#BO1I |
| 3XQ7W9NC8Y | 3XQ7W9NC8Y | statement | record (an 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.37237#CWB9 |
| 3XQFVTBNSG | 3XQFVTBNSG | statement | record (an 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#8FIB |
| 3XR26TJHFG | 3XR26TJHFG | 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#53O3 |
| 3XR49J9W4E | 3XR49J9W4E | statement | record (an 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.24314#Q4AC |
| 3XS80DTT30 | 3XS80DTT30 | statement | record (an 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.01783#AL6K |
| 3XSW76CNRW | 3XSW76CNRW | example | open | napkin tex/linalg/dual-trace.tex#example-1 |
| 3XSY6S8MZ4 | 3XSY6S8MZ4 | statement | record (an 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#MZL2 |
| 3XTF9B7723 | 3XTF9B7723 | statement | record (an 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.00412#KR5J |
| 3XWNMBG55B | 3XWNMBG55B | statement | record (an 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.02432#QLVF |
| 3XWVMZ5W2Q | 3XWVMZ5W2Q | statement | record (an 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.13833#XCUR |
| 3XXCJSYR3X | 3XXCJSYR3X | statement | record (an 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.13802#VBLL |
| 3XXH268A61 | 3XXH268A61 | statement | record (an 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.18618#29R4 |
| 3XXY5ETKAG | 3XXY5ETKAG | 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#1WCJ |
| 3XY0DSQG2A | 3XY0DSQG2A | statement | record (an 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.04895#DZ8W |
| 3XY9AGYM5R | 3XY9AGYM5R | statement | record (an 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.33590#QXM9 |
| 3XYHVSE4Y2 | 3XYHVSE4Y2 | statement | record (an 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.30648#8ESM |
| 3XYMFMZGH8 | 3XYMFMZGH8 | exercise | open | hott_book setmath.tex#ex:plump-successor |
| 3XYPG5DY28 | 3XYPG5DY28 | statement | record (an 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.13972#PVWD |
| 3XYQWWK2SR | 3XYQWWK2SR | statement | record (an 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.07610#99UP |
| 3Y03Z7P7F1 | 3Y03Z7P7F1 | statement | record (an 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#090D |
| 3Y15Y9ZD11 | 3Y15Y9ZD11 | 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.03612#AQ3P |
| 3Y18CZHZC1 | 3Y18CZHZC1 | statement | record (an 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.09268#RLWZ |
| 3Y1G385FX8 | 3Y1G385FX8 | statement | record (an 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.02628#6E3I |
| 3Y34BVH45G | 3Y34BVH45G | statement | record (an 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.28323#1K0T |
| 3Y3JHEK5Z8 | 3Y3JHEK5Z8 | 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.17045#99WP |
| 3Y3PT9D214 | 3Y3PT9D214 | statement | record (an 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.17408#8WU4 |
| 3Y3RV0VAMX | 3Y3RV0VAMX | 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 2502.08738#B1CC |
| 3Y3XG90G2V | 3Y3XG90G2V | statement | record (an 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.35183#QJLI |
| 3Y3YDP824E | 3Y3YDP824E | statement | record (an 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.01411#BCT7 |
| 3Y4YCXMK3Z | 3Y4YCXMK3Z | statement | record (an 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.33590#LSWZ |
| 3Y5T6G3DWG | 3Y5T6G3DWG | statement | record (an 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.33805#TBT1 |
| 3Y6GFZ451M | 3Y6GFZ451M | statement | record (an 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.10329#B5NA |
| 3Y6Z3DWN3A | 3Y6Z3DWN3A | statement | record (an 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.39274#JQPW |
| 3Y75AF70R7 | 3Y75AF70R7 | statement | record (an 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.32829#NTSY |
| 3YA259SSTJ | 3YA259SSTJ | statement | record (an 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.30336#3M0K |
| 3YAACNE572 | 3YAACNE572 | example | open | open_logic content/intuitionistic-logic/introduction/bhk-interpretation.tex#ex-3 |
| 3YAMZA0G3N | 3YAMZA0G3N | 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 2202.10920#HLFV |
| 3YARFF4GCK | 3YARFF4GCK | statement | record (an 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#137C |
| 3YBB9PN9PJ | 3YBB9PN9PJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2603.21971#D65B |
| 3YBNM7EC5F | 3YBNM7EC5F | statement | record (an 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.35600#4GYK |
| 3YC3DWEQZS | 3YC3DWEQZS | statement | record (an 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.07092#1BL9 |
| 3YC9QHSXWJ | 3YC9QHSXWJ | statement | record (an 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#44ER |
| 3YCMSYATEN | 3YCMSYATEN | statement | record (an 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.32174#EJUG |
| 3YCPNQWN7G | 3YCPNQWN7G | statement | record (an 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/9802134#KTQL |
| 3YD0NHDZ1B | 3YD0NHDZ1B | statement | record (an 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.39169#LRTC |
| 3YDAXXHP6V | 3YDAXXHP6V | statement | open | open_logic content/first-order-logic/axiomatic-deduction/identity.tex#prop:iden1 |
| 3YDNRBCTAB | 3YDNRBCTAB | 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.34193#X6S8 |
| 3YDTYSVTF3 | 3YDTYSVTF3 | statement | record (an 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.18061#2DX2 |
| 3YE7MG5KH0 | 3YE7MG5KH0 | statement | open | ernst_ibl MAAPressVersion/ContinuousFunctions.tex#thm:preimages basic open sets |
| 3YE8S3QMJT | 3YE8S3QMJT | statement | record (an 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.33590#4VOC |
| 3YECESVYK3 | 3YECESVYK3 | statement | record (an 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.04431#ZJYD |
| 3YEG1J2MF6 | 3YEG1J2MF6 | statement | record (an 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#J87M |
| 3YEHXWKB9M | 3YEHXWKB9M | statement | record (an 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.29943#I9S4 |
| 3YEMXBJ7S7 | 3YEMXBJ7S7 | statement | record (an 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.03449#7WKW |
| 3YEZAPS8C4 | 3YEZAPS8C4 | statement | record (an 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.04330#QBSI |
| 3YF9F6X383 | 3YF9F6X383 | statement | record (an 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.01998#I01M |
| 3YF9HGZC3H | 3YF9HGZC3H | statement | record (an 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#1UJO |
| 3YFCGDTZSX | 3YFCGDTZSX | statement | record (an 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.32446#5M82 |
| 3YFFJARDG1 | 3YFFJARDG1 | 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.33050#F6QV |
| 3YFRV8T5RW | 3YFRV8T5RW | unknown | open | arXiv 2609.33529#D1TL |
| 3YG46Y32KY | 3YG46Y32KY | 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 1810.06028#VEQ0 |
| 3YG4781V20 | 3YG4781V20 | statement | record (an 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.00339#AAW2 |
| 3YGHAQE2VA | 3YGHAQE2VA | statement | record (an 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.11946#QCFS |
| 3YH3ZR27BY | 3YH3ZR27BY | 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 2608.23797#XTR7 |
| 3YHNMTGCMB | 3YHNMTGCMB | statement | record (an 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.02506#DBJ3 |
| 3YHT6986XS | 3YHT6986XS | statement | record (an 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.07401#RY91 |
| 3YK88F0VCV | 3YK88F0VCV | 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.07927#UX1B |
| 3YKMNZZ2YS | 3YKMNZZ2YS | statement | record (an 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.22268#2OMU |
| 3YN7G73Z0X | 3YN7G73Z0X | statement | record (an 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.13076#L22A |
| 3YNVA522EV | 3YNVA522EV | 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.02111#VWA7 |
| 3YNWQJM035 | 3YNWQJM035 | 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#A7AW |
| 3YQDD62SZ4 | 3YQDD62SZ4 | statement | record (an 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#4CTT |
| 3YQV7GZPMP | 3YQV7GZPMP | 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 2207.11097#JD6K |
| 3YR0F7AYZN | 3YR0F7AYZN | statement | record (an 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#631V |
| 3YT4QBSD8S | 3YT4QBSD8S | 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 1810.06028#0JAF |
| 3YTQEH3AXR | 3YTQEH3AXR | statement | record (an 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.26743#LCOM |
| 3YV2J3G7Q4 | 3YV2J3G7Q4 | counterexample | record (an 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#WFBG |
| 3YV7GYBYQW | 3YV7GYBYQW | 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.15517#ZR9H |
| 3YW6NHW0DE | 3YW6NHW0DE | statement | record (an 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.06445#IDA1 |
| 3YW9GK4XKT | 3YW9GK4XKT | statement | record (an 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#V50X |
| 3YWMTH1KFP | 3YWMTH1KFP | statement | record (an 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.14240#5XFU |
| 3YWWYFX1V8 | 3YWWYFX1V8 | example | open | lebl_ra ch-metric.tex#example-11 |
| 3YX0S7TV1N | 3YX0S7TV1N | exercise | open | napkin tex/set-theory/ordinal.tex#problem-1 |