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 20001–20100 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| 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 |
| 8182WHF7DM | 8182WHF7DM | example | open | napkin tex/cats/abelian.tex#example-1 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 82B5WD3ASA | 82B5WD3ASA | statement | record (an 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.24465#AVOJ |
| 82C8RPSBM0 | 82C8RPSBM0 | statement | record (an 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#T5SM |
| 82C9A9TEGC | 82C9A9TEGC | statement | record (an 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.20825#R8D9 |
| 82CF3MGNKG | 82CF3MGNKG | statement | record (an 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.26019#1T99 |
| 82DPNE3XNQ | 82DPNE3XNQ | 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.06529#KFL5 |
| 82DVY8QV0A | 82DVY8QV0A | statement | record (an 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.06944#GFHN |
| 82EGK83GT8 | 82EGK83GT8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2512.21427#2JXM |
| 82EJD7RSR4 | 82EJD7RSR4 | statement | open | open_logic content/sets-functions-relations/size-of-sets/enumerability.tex#prop-1 |
| 82ETX7W3NF | 82ETX7W3NF | statement | record (an 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#CWSX |
| 82FJYEMNHJ | 82FJYEMNHJ | 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.00512#CKS4 |
| 82FX94MNNM | 82FX94MNNM | 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 2203.15223#AHSN |
| 82FY6YJN54 | 82FY6YJN54 | 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 2604.10080#ZO29 |
| 82G8ZP4CD2 | 82G8ZP4CD2 | statement | record (an 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.24320#OV1V |
| 82G9SS41M6 | 82G9SS41M6 | statement | record (an 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.40123#TBLT |
| 82HMDM2K4A | 82HMDM2K4A | 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.10262#H2WN |
| 82HXJBRAZ4 | 82HXJBRAZ4 | proof | open | open_logic content/set-theory/z/powerset.tex#proof-1 |
| 82J4M6TB3G | 82J4M6TB3G | statement | record (an 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.26269#7D1O |