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 7001–7100 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 2XB96TQAZ2 | 2XB96TQAZ2 | statement | record (an 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#HH6G |
| 2XBHH844MR | 2XBHH844MR | statement | record (an 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#BAX1 |
| 2XBY3W6ZX3 | 2XBY3W6ZX3 | statement | record (an 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#UJML |
| 2XD1EFCA0Q | 2XD1EFCA0Q | statement | record (an 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.15525#F1LR |
| 2XDCJTVAV2 | 2XDCJTVAV2 | 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 2212.01916#5V3A |
| 2XDES0WY53 | 2XDES0WY53 | statement | record (an 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.03460#W8KL |
| 2XDESYAA32 | 2XDESYAA32 | statement | record (an 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.20798#OJ78 |
| 2XDSM53D19 | 2XDSM53D19 | statement | record (an 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.20740#F87L |
| 2XE3J9PXJ3 | 2XE3J9PXJ3 | statement | record (an 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#RAF1 |
| 2XE8ZT4F51 | 2XE8ZT4F51 | 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.18777#PHHU |
| 2XEBB0X2RM | 2XEBB0X2RM | statement | record (an 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.28861#S9DJ |
| 2XEBXZT5G3 | 2XEBXZT5G3 | statement | record (an 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#X8OW |
| 2XEC44RQY6 | 2XEC44RQY6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2212.11038#6MSI |
| 2XEQZ41A6H | 2XEQZ41A6H | example | open | lebl_diffyqs ch-systems.tex#example-8 |
| 2XERJVJ7RE | 2XERJVJ7RE | statement | open | open_logic content/incompleteness/arithmetization-syntax/coding-formulas.tex#prop:frm-primrec |
| 2XEYZMPP39 | 2XEYZMPP39 | definition | open | napkin tex/alg-NT/galois.tex#definition-6 |
| 2XFR0RFS5G | 2XFR0RFS5G | statement | record (an 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.35204#TSM6 |
| 2XFV05WS39 | 2XFV05WS39 | statement | record (an 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.05850#EFN0 |
| 2XH2T4ENDP | 2XH2T4ENDP | statement | record (an 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.08193#3CXQ |
| 2XHDNKV1QA | 2XHDNKV1QA | statement | record (an 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.38567#L2NR |
| 2XHE14NP6V | 2XHE14NP6V | statement | record (an 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.11905#NKEX |
| 2XHM3HZFPP | 2XHM3HZFPP | statement | record (an 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.21535#CW97 |
| 2XHTE7ZS15 | 2XHTE7ZS15 | statement | record (an 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.18033#4NZY |
| 2XJAAB5NP5 | 2XJAAB5NP5 | statement | record (an 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.24523#RC3G |
| 2XJR03YT24 | 2XJR03YT24 | exercise | open | lebl_scv scv.tex#exercise-144 |
| 2XK0BABFS0 | 2XK0BABFS0 | 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 1011.5380#V9IT |
| 2XK2Q53JZB | 2XK2Q53JZB | statement | record (an 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.06645#HO3C |
| 2XK5N129HQ | 2XK5N129HQ | statement | record (an 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.01915#XI5P |
| 2XK7RJYVYS | 2XK7RJYVYS | statement | record (an 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.24463#0XRL |
| 2XMAFR6HC1 | 2XMAFR6HC1 | statement | record (an 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#R7ZG |
| 2XMCFQ9EWW | 2XMCFQ9EWW | statement | record (an 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#6X11 |
| 2XNGWZ7QH4 | 2XNGWZ7QH4 | statement | open | hott_book reals.tex#RC-lim-factor |
| 2XNM7ESFD8 | 2XNM7ESFD8 | 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.07380#H1KV |
| 2XPSYSPKQM | 2XPSYSPKQM | statement | record (an 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.19358#RPKY |
| 2XQ0SRZ4PN | 2XQ0SRZ4PN | statement | record (an 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.09882#QVI5 |
| 2XQ2MFF0WZ | 2XQ2MFF0WZ | statement | record (an 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.20368#CL3J |
| 2XQAP3CWE6 | 2XQAP3CWE6 | example | open | lebl_diffyqs ap-linear-algebra.tex#example-10 |
| 2XQQR9V35V | 2XQQR9V35V | statement | record (an 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.24541#6IXF |
| 2XQY5D07S1 | 2XQY5D07S1 | statement | record (an 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.01087#8OVT |
| 2XR2WC93GH | 2XR2WC93GH | statement | record (an 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.10484#6XD1 |
| 2XR80AF2V5 | 2XR80AF2V5 | statement | record (an 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.09019#S61Z |
| 2XRAZT48A7 | 2XRAZT48A7 | statement | record (an 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.06152#BPB1 |
| 2XS5EBY88B | 2XS5EBY88B | problem | open | Wikipedia Baillie–PSW primality test#3YYT |
| 2XSC6YQQTV | 2XSC6YQQTV | statement | record (an 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.11872#B3BF |
| 2XSQMGF61P | 2XSQMGF61P | statement | record (an 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.40189#QQG6 |
| 2XT05MXERJ | 2XT05MXERJ | 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.06045#DQRF |
| 2XTASP51CM | 2XTASP51CM | statement | record (an 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#QRQ2 |
| 2XTNH62FGR | 2XTNH62FGR | 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.07890#M7QC |
| 2XTQGJPKRF | 2XTQGJPKRF | statement | record (an 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#DVWZ |
| 2XV1YDVRVQ | 2XV1YDVRVQ | statement | record (an 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.30637#TAES |
| 2XVV8HM9W1 | 2XVV8HM9W1 | statement | record (an 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.25129#7KJ4 |
| 2XW5HHSWQF | 2XW5HHSWQF | statement | record (an 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#NMHX |
| 2XWXXK072G | 2XWXXK072G | statement | record (an 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#Q3SU |
| 2XWYY5S88V | 2XWYY5S88V | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2212.01916#7JV6 |
| 2XWZDCWE7C | 2XWZDCWE7C | statement | record (an 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#7PH1 |
| 2XXTGX7J7Y | 2XXTGX7J7Y | 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.31907#J7OG |
| 2XXY91NXXG | 2XXY91NXXG | statement | record (an 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.22040#ZG5V |
| 2XY0NB5J3A | 2XY0NB5J3A | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2606.00589#X2KI |
| 2XZ6PY5EKG | 2XZ6PY5EKG | statement | record (an 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.17825#VTRT |
| 2XZN63TRRY | 2XZN63TRRY | statement | record (an 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.30444#HCB0 |
| 2XZS836KES | 2XZS836KES | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2306.12846#XLNO |
| 2Y00FH365S | 2Y00FH365S | 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.19590#NEOZ |
| 2Y0SN7SEGH | 2Y0SN7SEGH | unknown | open | arXiv 1804.06366#8A5J |
| 2Y1DA3AY8P | 2Y1DA3AY8P | statement | record (an 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.00798#Q4PN |
| 2Y1QV4HMVW | 2Y1QV4HMVW | statement | record (an 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.25080#3U63 |
| 2Y2MMTK31Q | 2Y2MMTK31Q | statement | record (an 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.03081#0Y9X |
| 2Y30TVMRYA | 2Y30TVMRYA | statement | record (an 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#Z60M |
| 2Y33Z1N4VF | 2Y33Z1N4VF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2102.12931#TEXW |
| 2Y39GXJY62 | 2Y39GXJY62 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2307.02473#8NIY |
| 2Y3GZC2YEZ | 2Y3GZC2YEZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2403.01959#GEEP |
| 2Y3SMYZKY9 | 2Y3SMYZKY9 | statement | record (an 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.27420#96EU |
| 2Y3XQYECNV | 2Y3XQYECNV | statement | record (an 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.10816#N36T |
| 2Y44EMS7XD | 2Y44EMS7XD | 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.10928#FETD |
| 2Y4D58FR6N | 2Y4D58FR6N | statement | record (an 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#KPB3 |
| 2Y4M6J45FS | 2Y4M6J45FS | statement | record (an 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.09648#9WDF |
| 2Y4RTA8XCT | 2Y4RTA8XCT | statement | record (an 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.20798#49WF |
| 2Y4Z95VYBN | 2Y4Z95VYBN | statement | record (an 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.05471#MDAH |
| 2Y537EF970 | 2Y537EF970 | statement | record (an 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#ZAD4 |
| 2Y53AM7B48 | 2Y53AM7B48 | statement | record (an 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.16989#C4C5 |
| 2Y558QSZET | 2Y558QSZET | proof | open | hott_book homotopy.tex#proof-42 |
| 2Y57FDCBTA | 2Y57FDCBTA | 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.23341#IVJ2 |
| 2Y59Z5A9CJ | 2Y59Z5A9CJ | 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#QGSF |
| 2Y5F42RS3B | 2Y5F42RS3B | exercise | open | levin_dmoi ptx/exercises/intro-sets.ptx#exercise-11 |
| 2Y5GDR5QCS | 2Y5GDR5QCS | statement | record (an 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.37471#KMKU |
| 2Y5PRXTKBJ | 2Y5PRXTKBJ | 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.20665#TOTT |
| 2Y5VJG1YZ5 | 2Y5VJG1YZ5 | statement | record (an 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.24523#AABB |
| 2Y64ZARV7B | 2Y64ZARV7B | statement | record (an 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.31274#C0M0 |
| 2Y6PZBR8FV | 2Y6PZBR8FV | 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.13833#ZI94 |
| 2Y6THFBWQ5 | 2Y6THFBWQ5 | proof | open | hott_book equivalences.tex#proof-16 |
| 2Y74959HR1 | 2Y74959HR1 | definition | open | lebl_ra ch-one-dim-ints-sv.tex#defn-4 |
| 2Y7EN03CH2 | 2Y7EN03CH2 | 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 2104.00162#E7XG |
| 2Y7N1QDBD3 | 2Y7N1QDBD3 | statement | record (an 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.38068#2DRD |
| 2Y82MEH98S | 2Y82MEH98S | statement | record (an 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.39706#EOCE |
| 2Y84TRKPZ1 | 2Y84TRKPZ1 | 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.37931#G5UO |
| 2Y8Y3FEGHC | 2Y8Y3FEGHC | statement | record (an 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.20801#CE60 |
| 2Y940RCPKV | 2Y940RCPKV | statement | record (an 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.28824#41WE |
| 2Y98CPK906 | 2Y98CPK906 | statement | record (an 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.24553#DU0A |
| 2YADDMHGC4 | 2YADDMHGC4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2111.14143#VQ6C |
| 2YAGW89BV5 | 2YAGW89BV5 | statement | record (an 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#AROM |
| 2YB4J5CSRR | 2YB4J5CSRR | example | open | open_logic content/first-order-logic/models-theories/expressing-relations.tex#ex-1 |