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 22701–22800 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 81302R3RWP | 81302R3RWP | statement | record (an 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.05512#ZN8C |
| 813H7DPQ4H | 813H7DPQ4H | statement | record (an 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.35577#UJWG |
| 813SNX7C9W | 813SNX7C9W | statement | record (an 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.10469#3NU0 |
| 813YAHG0PR | 813YAHG0PR | statement | record (an 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.26471#J1IX |
| 81430GFJ20 | 81430GFJ20 | statement | record (an 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.27628#MMTC |
| 8145DVAFXF | 8145DVAFXF | 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.25100#V59G |
| 814809T2GY | 814809T2GY | exercise | open | ernst_ibl MAAPressVersion/Relations.tex#problem-2 |
| 8149CE59AH | 8149CE59AH | 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.18219#N8FB |
| 814DWXHV9M | 814DWXHV9M | statement | record (an 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.17871#NFH7 |
| 814H5FQ1WM | 814H5FQ1WM | 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 2309.17091#TL9O |
| 814JH32EX2 | 814JH32EX2 | statement | record (an 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.09735#9QY6 |
| 815MP8VX32 | 815MP8VX32 | statement | record (an 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.00676#GMF2 |
| 816961KXRR | 816961KXRR | statement | record (an 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.37252#1LEV |
| 817ECK7PDA | 817ECK7PDA | statement | record (an 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#A9ZW |
| 817MG352ZY | 817MG352ZY | statement | record (an 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.19882#8S05 |
| 817QSBE3ZE | 817QSBE3ZE | statement | record (an 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.32860#3W9T |
| 818 knot | WQNSCSG1W0 | unknown | open | Wikipedia List of mathematical knots and links#8H2V |
| 8182WHF7DM | 8182WHF7DM | example | open | napkin tex/cats/abelian.tex#example-1 |
| 8191 | 1F2YCRW0MV | definition | open | Wikipedia 8191 (number), Wikidata Q141272316 |
| 819GNYZA6F | 819GNYZA6F | statement | record (an 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.04694#HQM8 |
| 81A5WYXM48 | 81A5WYXM48 | statement | record (an 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.18744#9AE0 |
| 81A8NAATHD | 81A8NAATHD | statement | record (an 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#7YRN |
| 81AKH8R4NX | 81AKH8R4NX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.00562#TV9X |
| 81BFFHX5ZW | 81BFFHX5ZW | statement | record (an 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.23871#FGZ1 |
| 81BFHPDTPG | 81BFHPDTPG | statement | record (an 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.17677#AWPP |
| 81BGQZZD9X | 81BGQZZD9X | statement | record (an 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.17181#1QXU |
| 81CWTGQJ69 | 81CWTGQJ69 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1612.08394#RLJH |
| 81DT6CBVGH | 81DT6CBVGH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2511.07697#6L49 |
| 81DT6MJSV6 | 81DT6MJSV6 | statement | record (an 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.24206#KFH0 |
| 81DWTZ3ZNN | 81DWTZ3ZNN | statement | record (an 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.26496#CT7Z |
| 81E0DM4F54 | 81E0DM4F54 | exercise | open | active_calculus source/activities/act-7-4-1.xml#act-7-4-1 |
| 81E0M7DH6C | 81E0M7DH6C | statement | record (an 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#QH47 |
| 81EE9Q539X | 81EE9Q539X | statement | record (an 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#011X |
| 81EKK6FKAE | 81EKK6FKAE | statement | record (an 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.10902#1LBC |
| 81ER1NN02N | 81ER1NN02N | statement | record (an 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.37479#X3PS |
| 81EWPX0TEQ | 81EWPX0TEQ | 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 2610.16245#SPZW |
| 81FRVK6G2F | 81FRVK6G2F | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1311.6044#N29A |
| 81FXD05C04 | 81FXD05C04 | statement | record (an 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.19861#XRZ2 |
| 81FZVW5GAH | 81FZVW5GAH | statement | record (an 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.30097#PGQE |
| 81GRWJATGW | 81GRWJATGW | statement | record (an 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.26134#INY4 |
| 81HHY099MT | 81HHY099MT | statement | record (an 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.01276#NSX1 |
| 81HW124G76 | 81HW124G76 | statement | record (an 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.18536#PI0K |
| 81J8H4SZ17 | 81J8H4SZ17 | statement | record (an 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.12908#9ZHA |
| 81K6N5ZVEW | 81K6N5ZVEW | statement | record (an 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.25717#PJAR |
| 81M8N22YM6 | 81M8N22YM6 | exercise | open | hott_book preliminaries.tex#ex:prod-via-bool |
| 81MC9PF2BW | 81MC9PF2BW | statement | record (an 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.01912#T3UB |
| 81NGP3JK52 | 81NGP3JK52 | statement | record (an 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.20170#J4PU |
| 81QSKRK0W8 | 81QSKRK0W8 | statement | record (an 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#VYVE |
| 81RFSM0AY1 | 81RFSM0AY1 | statement | record (an 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.12819#G5TD |
| 81RNMQH9A9 | 81RNMQH9A9 | exercise | open | hott_book setmath.tex#ex:prop-ord |
| 81RQ6A30CK | 81RQ6A30CK | statement | record (an 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#Y9L3 |
| 81RY3RYNGF | 81RY3RYNGF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2205.13464#30FT |
| 81SDX99FJ5 | 81SDX99FJ5 | statement | record (an 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.20316#YN9E |
| 81T3J3PKK8 | 81T3J3PKK8 | statement | record (an 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.40017#VEWC |
| 81T7A3NESG | 81T7A3NESG | 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#KFLY |
| 81TJAXH40G | 81TJAXH40G | statement | record (an 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.24424#RY5M |
| 81VCWDMJJ6 | 81VCWDMJJ6 | example | open | lebl_ra ch-approximate.tex#example-4 |
| 81VE8JNSZ5 | 81VE8JNSZ5 | exercise | open | lebl_diffyqs ch-systems.tex#exercise-34 |
| 81VK1BJW6B | 81VK1BJW6B | statement | record (an 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.18483#AFNC |
| 81VQP41KD1 | 81VQP41KD1 | statement | record (an 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#PO27 |
| 81VSASMNQ5 | 81VSASMNQ5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2509.10268#VRYG |
| 81WQK55K0P | 81WQK55K0P | statement | record (an 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.17308#9X8Q |
| 81WRRH5VCZ | 81WRRH5VCZ | 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 2105.13129#D346 |
| 81WX5AF031 | 81WX5AF031 | 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.00412#NSAA |
| 81X8RKH6V8 | 81X8RKH6V8 | statement | record (an 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.27253#P5JC |
| 81XGZJ7RN2 | 81XGZJ7RN2 | statement | record (an 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.16102#912A |
| 81XNSW6QP0 | 81XNSW6QP0 | statement | record (an 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.14681#WNMG |
| 81XXDKFCW7 | 81XXDKFCW7 | statement | record (an 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.18797#77AV |
| 81XYCFK29M | 81XYCFK29M | 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 2206.11471#XRSN |
| 81YHX9MNRE | 81YHX9MNRE | statement | record (an 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#0EI4 |
| 81YNB9G04N | 81YNB9G04N | 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.30519#D6HH |
| 81ZD4QMKWF | 81ZD4QMKWF | problem | open | Wikipedia Differential poset#E5F6 |
| 81ZDNK2WNT | 81ZDNK2WNT | statement | record (an 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#5JAA |
| 81ZE7H10SE | 81ZE7H10SE | statement | record (an 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.01888#GHUI |
| 81ZNVSJZAK | 81ZNVSJZAK | 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#2MED |
| 81ZR0HBMA9 | 81ZR0HBMA9 | statement | record (an 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.21337#1VRJ |
| 820 (number) | 59HZ3C4SC0 | unknown | open | Wikipedia 800 (number)#UKB2 |
| 8204FXYA5Y | 8204FXYA5Y | statement | record (an 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#TDTE |
| 820V5R946F | 820V5R946F | statement | record (an 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.20558#VDWG |
| 821SEGJ3JT | 821SEGJ3JT | statement | record (an 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.21274#5D8U |
| 821YSVB6Y7 | 821YSVB6Y7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1707.07744#VJKS |
| 8220FD3RAD | 8220FD3RAD | statement | record (an 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.39347#7C5B |
| 82233NB7SW | 82233NB7SW | proof | open | open_logic content/incompleteness/incompleteness-provability/first-incompleteness-thm.tex#proof-1 |
| 822BF1S7J1 | 822BF1S7J1 | statement | record (an 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.06438#1VMH |
| 822SNABJ1J | 822SNABJ1J | statement | record (an 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.20444#WYIF |
| 822ZY4MNZD | 822ZY4MNZD | statement | record (an 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.13103#2ITC |
| 8238BNHAVH | 8238BNHAVH | statement | record (an 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.37103#VM9B |
| 8239M2KX1E | 8239M2KX1E | definition | open | open_logic content/propositional-logic/syntax-and-semantics/valuations-sat.tex#defn-2 |
| 823Y7N42X2 | 823Y7N42X2 | statement | record (an 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.17203#F1NC |
| 824ABF2BSN | 824ABF2BSN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2004.12552#0YEO |
| 8257F61PBB | 8257F61PBB | statement | record (an 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.09735#28MI |
| 825DJKK53D | 825DJKK53D | statement | record (an 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.07718#W9JW |
| 8264G1WQH9 | 8264G1WQH9 | example | open | active_calculus source/sec-2-1-elem-rules.xml#example-3 |
| 8267NZQH73 | 8267NZQH73 | 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 2302.05529#WIM5 |
| 827BW18VDP | 827BW18VDP | statement | record (an 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.15405#8V66 |
| 827SGTW4SW | 827SGTW4SW | statement | record (an 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#L4ZS |
| 827TGQXDDC | 827TGQXDDC | statement | record (an 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.22288#44XH |
| 8289BCW5A1 | 8289BCW5A1 | statement | record (an 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.12188#QFEV |
| 828QR1JDE7 | 828QR1JDE7 | statement | open | hott_book homotopy.tex#thm:conn-trunc-variable-ind |
| 829XXZGF85 | 829XXZGF85 | 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.32997#6PUP |