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 4001–4100 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 1Y0FW2HVT3 | 1Y0FW2HVT3 | statement | record (an 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.30482#BCGX |
| 1Y0M3N9NTN | 1Y0M3N9NTN | statement | record (an 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#R1AY |
| 1Y0NG5GY9M | 1Y0NG5GY9M | 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.28552#NIZN |
| 1Y0TCCSRHM | 1Y0TCCSRHM | statement | record (an 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.19707#YDCY |
| 1Y1F9YQKE1 | 1Y1F9YQKE1 | statement | record (an 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.02061#FXC5 |
| 1Y2F6VQYR8 | 1Y2F6VQYR8 | statement | record (an 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.28664#WYF6 |
| 1Y2FWZRQK6 | 1Y2FWZRQK6 | 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 2405.14678#XGPH |
| 1Y2G1KMC5R | 1Y2G1KMC5R | statement | record (an 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.06785#VFHK |
| 1Y3D3RTX9B | 1Y3D3RTX9B | statement | record (an 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.10660#91GF |
| 1Y4DP89YRN | 1Y4DP89YRN | statement | record (an 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.20077#FKCC |
| 1Y622J7SES | 1Y622J7SES | statement | record (an 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#XWWZ |
| 1Y63T9EV0W | 1Y63T9EV0W | statement | record (an 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.16225#6UGG |
| 1Y684EK3RV | 1Y684EK3RV | statement | record (an 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.31249#HI5K |
| 1Y6A97ZPJQ | 1Y6A97ZPJQ | statement | record (an 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.01225#OHAS |
| 1Y6XCE3YN2 | 1Y6XCE3YN2 | 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.15217#UOP9 |
| 1Y8J8Y2Q4D | 1Y8J8Y2Q4D | statement | record (an 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.23559#2RSK |
| 1Y8P21W6NB | 1Y8P21W6NB | statement | record (an 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.23343#24WP |
| 1Y90W320XK | 1Y90W320XK | statement | record (an 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.28189#EPUU |
| 1Y9KSVT8EM | 1Y9KSVT8EM | exercise | open | austin_ula src/exercises/exercises6-4.xml#exercise-3 |
| 1Y9MYK6NED | 1Y9MYK6NED | statement | record (an 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#FKLS |
| 1Y9WQ3SV90 | 1Y9WQ3SV90 | exercise | open | active_calculus source/activities/act-2-1-3.xml#act-2-1-3 |
| 1YAKZF2DPD | 1YAKZF2DPD | 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.14803#CEY5 |
| 1YBHQRSV04 | 1YBHQRSV04 | statement | record (an 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.13428#3TQQ |
| 1YBSWEQA9Z | 1YBSWEQA9Z | statement | record (an 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.02642#Q3CV |
| 1YC635M4ZB | 1YC635M4ZB | 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#04QN |
| 1YCK2QSDKK | 1YCK2QSDKK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1907.01440#B8NP |
| 1YD337Q7Z1 | 1YD337Q7Z1 | statement | record (an 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.13260#GO56 |
| 1YD4T84MTM | 1YD4T84MTM | statement | record (an 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.16411#5C36 |
| 1YDFZQWFR8 | 1YDFZQWFR8 | statement | record (an 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.28552#KYG9 |
| 1YEH369EZ8 | 1YEH369EZ8 | statement | record (an 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.16931#Z0ZM |
| 1YF2D564ZJ | 1YF2D564ZJ | statement | record (an 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.36818#9LBS |
| 1YFDHE9743 | 1YFDHE9743 | statement | record (an 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.14253#3QQR |
| 1YG19GD6QD | 1YG19GD6QD | statement | record (an 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#7U7M |
| 1YG4P4925C | 1YG4P4925C | unknown | open | arXiv alg-geom/9506022#9LEL |
| 1YGAGN3DM3 | 1YGAGN3DM3 | statement | record (an 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.17751#XCYW |
| 1YH16Y5CW3 | 1YH16Y5CW3 | 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.28411#0GTB |
| 1YHDF85FXP | 1YHDF85FXP | statement | record (an 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.36045#65BN |
| 1YJPM0PG6K | 1YJPM0PG6K | statement | record (an 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.07673#EY3X |
| 1YJW1SFVTP | 1YJW1SFVTP | statement | record (an 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#K0HT |
| 1YKFKS6QTJ | 1YKFKS6QTJ | statement | record (an 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.15402#8JH2 |
| 1YKHDAWG5H | 1YKHDAWG5H | statement | record (an 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.37747#BAZQ |
| 1YKN1G8YE8 | 1YKN1G8YE8 | statement | record (an 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.34081#9VAE |
| 1YM3HG8XP7 | 1YM3HG8XP7 | statement | record (an 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.31858#PBCG |
| 1YM7DNEHJF | 1YM7DNEHJF | 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.34339#5MLY |
| 1YNFHG49VB | 1YNFHG49VB | statement | record (an 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/0406514#JMI2 |
| 1YNM3997XY | 1YNM3997XY | 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.01946#185M |
| 1YNY7ZB6XK | 1YNY7ZB6XK | statement | record (an 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.14380#4KIJ |
| 1YPCBQYQH3 | 1YPCBQYQH3 | statement | record (an 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.12169#JL8L |
| 1YSCCGSD3K | 1YSCCGSD3K | exercise | open | open_logic content/set-theory/ord-arithmetic/using-addition.tex#prob-1 |
| 1YSGJAP7ZV | 1YSGJAP7ZV | statement | record (an 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.11047#Q4XA |
| 1YSZVFTDWD | 1YSZVFTDWD | 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 0904.0817#ZA52 |
| 1YTK7SC7TX | 1YTK7SC7TX | proof | open | hott_book categories.tex#proof-9 |
| 1YV2A8ZD1X | 1YV2A8ZD1X | statement | record (an 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.20207#K64I |
| 1YV88KMXXX | 1YV88KMXXX | statement | record (an 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.23804#5G1R |
| 1YVHVXAY66 | 1YVHVXAY66 | 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 2603.29838#AGQ5 |
| 1YW0NC57X4 | 1YW0NC57X4 | statement | record (an 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.05696#J1RP |
| 1YW1BJFRDE | 1YW1BJFRDE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2210.17066#50LK |
| 1YW7HQXG6F | 1YW7HQXG6F | statement | record (an 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#CIGR |
| 1YWP45KCP4 | 1YWP45KCP4 | statement | record (an 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#2VUM |
| 1YWZ8X0KVH | 1YWZ8X0KVH | statement | record (an 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.16003#IA3S |
| 1YX8KAVXS5 | 1YX8KAVXS5 | statement | record (an 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.05403#UA2Y |
| 1YXE7ZSJ05 | 1YXE7ZSJ05 | statement | record (an 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.08583#MET5 |
| 1YXGHN19EP | 1YXGHN19EP | statement | open | open_logic content/set-theory/ord-arithmetic/addition.tex#ordadditionrecursion |
| 1YXQABAX3R | 1YXQABAX3R | statement | record (an 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.10581#14JT |
| 1YY5DC1H9K | 1YY5DC1H9K | statement | record (an 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.01612#U16T |
| 1YY8A08T5K | 1YY8A08T5K | statement | record (an 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.04870#OIFU |
| 1YYF592SY7 | 1YYF592SY7 | example | open | napkin tex/H113/ring-flavors.tex#example-5 |
| 1YYR1VHH7C | 1YYR1VHH7C | statement | record (an 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.20131#OUQP |
| 1YYYSJQ8K2 | 1YYYSJQ8K2 | statement | record (an 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.11902#8W9F |
| 1YZ5HMZT0C | 1YZ5HMZT0C | statement | record (an 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.28677#53ZI |
| 1YZ647YA8N | 1YZ647YA8N | statement | record (an 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#SCJB |
| 1Z0932SZFY | 1Z0932SZFY | statement | record (an 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.13671#HQFW |
| 1Z0CEP30QC | 1Z0CEP30QC | 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#H9EG |
| 1Z0EM26Y7E | 1Z0EM26Y7E | statement | record (an 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#0UF6 |
| 1Z0W87X6GA | 1Z0W87X6GA | statement | record (an 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.06699#UGB7 |
| 1Z13P4H7KR | 1Z13P4H7KR | statement | open | hott_book equivalences.tex#thm:total-space-of-the-fibers |
| 1Z1BNP6N1E | 1Z1BNP6N1E | 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.13505#EU2P |
| 1Z1WN9H44Y | 1Z1WN9H44Y | statement | record (an 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.21632#2AAR |
| 1Z21V356TV | 1Z21V356TV | 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.10937#569A |
| 1Z2VM6RJHB | 1Z2VM6RJHB | definition | open | lebl_ra ch-one-dim-ints-sv.tex#defn-9 |
| 1Z2W081FJ1 | 1Z2W081FJ1 | statement | record (an 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.21358#O9M0 |
| 1Z37WPHF57 | 1Z37WPHF57 | statement | record (an 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.13715#K09N |
| 1Z3N2ZCMVY | 1Z3N2ZCMVY | 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.36016#Y3CR |
| 1Z427CKH3X | 1Z427CKH3X | statement | record (an 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.26948#UOVV |
| 1Z43BV05D4 | 1Z43BV05D4 | 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.16834#RSN6 |
| 1Z472BFGN8 | 1Z472BFGN8 | statement | open | open_logic content/intuitionistic-logic/semantics/relational-models.tex#prop:true-monotonic |
| 1Z4K0D1572 | 1Z4K0D1572 | statement | record (an 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.03661#XRBK |
| 1Z4RDE37NZ | 1Z4RDE37NZ | statement | record (an 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.38735#1PJD |
| 1Z4WX15A8V | 1Z4WX15A8V | statement | record (an 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.24190#AZ9A |
| 1Z59PE7J9Z | 1Z59PE7J9Z | statement | record (an 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.00934#Q5Z8 |
| 1Z6KFPBS1V | 1Z6KFPBS1V | statement | record (an 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.11082#ZVES |
| 1Z6MCXXFD6 | 1Z6MCXXFD6 | statement | record (an 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.04349#R240 |
| 1Z6Z6EFDEK | 1Z6Z6EFDEK | 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.21572#8FL8 |
| 1Z6ZRNTFH7 | 1Z6ZRNTFH7 | statement | record (an 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.36377#A2P3 |
| 1Z78E81EYR | 1Z78E81EYR | statement | record (an 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.16465#2NDJ |
| 1Z79FCZ2QE | 1Z79FCZ2QE | 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.20237#9N3R |
| 1Z7ENZH458 | 1Z7ENZH458 | statement | record (an 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.06488#1CI7 |
| 1Z87CPQ17W | 1Z87CPQ17W | statement | record (an 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.19461#E46L |
| 1Z8K1Q65BW | 1Z8K1Q65BW | statement | record (an 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.24917#7IVC |
| 1Z8K9H2GE9 | 1Z8K9H2GE9 | statement | record (an 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.14455#H2A1 |