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 1801–1900 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 1CNE55Q55C | 1CNE55Q55C | statement | record (an 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.07164#0QXY |
| 1CNQE7BAVP | 1CNQE7BAVP | statement | record (an 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.05018#8R9N |
| 1CPK6NJDF1 | 1CPK6NJDF1 | statement | record (an 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.03288#1FTS |
| 1CPNAT5BDK | 1CPNAT5BDK | statement | record (an 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.21092#MQL7 |
| 1CPTAA7D2E | 1CPTAA7D2E | statement | record (an 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.13914#LE1J |
| 1CQBV4JENZ | 1CQBV4JENZ | proof | open | open_logic content/propositional-logic/syntax-and-semantics/formation-sequences.tex#proof-2 |
| 1CQFJCK3R8 | 1CQFJCK3R8 | statement | record (an 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.14236#XKNL |
| 1CQHDH223V | 1CQHDH223V | 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.28677#PG0H |
| 1CRESJTXRB | 1CRESJTXRB | statement | record (an 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.03488#0O8F |
| 1CRTG27TKN | 1CRTG27TKN | statement | record (an 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.14562#BNGN |
| 1CS368HPBS | 1CS368HPBS | statement | record (an 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.11800#1MNR |
| 1CS5FF6AWY | 1CS5FF6AWY | statement | record (an 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.00078#DM71 |
| 1CS6SZDWN6 | 1CS6SZDWN6 | statement | record (an 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.03628#HGC0 |
| 1CSBCPV6DF | 1CSBCPV6DF | statement | record (an 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.28336#VW36 |
| 1CSM57AEPB | 1CSM57AEPB | statement | record (an 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.25762#COSD |
| 1CSN0TZ41B | 1CSN0TZ41B | 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.08091#27Z2 |
| 1CSVT7AFCD | 1CSVT7AFCD | statement | record (an 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.20385#B778 |
| 1CSX46TPNY | 1CSX46TPNY | statement | record (an 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.39539#B4TK |
| 1CT7C5XCEP | 1CT7C5XCEP | statement | record (an 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#OKDF |
| 1CTGR37WGE | 1CTGR37WGE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2505.05539#43M7 |
| 1CTJZ19DBP | 1CTJZ19DBP | exercise | open | hott_book preliminaries.tex#ex:ackermann |
| 1CV6S15GWE | 1CV6S15GWE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0902.4012#F0NU |
| 1CXBD8Q1B4 | 1CXBD8Q1B4 | 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.14240#YZMY |
| 1CXCRZJXJM | 1CXCRZJXJM | statement | record (an 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.38668#YIRC |
| 1CXCTTYC1H | 1CXCTTYC1H | exercise | open | lebl_ra ch-contfunc.tex#exercise:positivecontneigh |
| 1CXDPYE2Z2 | 1CXDPYE2Z2 | exercise | open | napkin tex/rep-theory/semisimple.tex#problem-2 |
| 1CXK5M42NH | 1CXK5M42NH | 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.02944#I4GX |
| 1CY51ZC8HC | 1CY51ZC8HC | statement | record (an 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.13378#XJ5Q |
| 1CY8J3HH3B | 1CY8J3HH3B | statement | record (an 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.14060#ZVSA |
| 1CYTHJXCRE | 1CYTHJXCRE | unknown | open | arXiv 2610.09206#PTKH |
| 1CZ4HG3Q4Q | 1CZ4HG3Q4Q | statement | record (an 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.34551#XURW |
| 1CZDN8Z638 | 1CZDN8Z638 | 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.37769#5K71 |
| 1CZDTYNNAZ | 1CZDTYNNAZ | statement | open | hott_book setmath.tex#lem-7 |
| 1CZWBGXX97 | 1CZWBGXX97 | statement | record (an 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.21921#ZJG8 |
| 1D0NND4RTF | 1D0NND4RTF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2408.01345#WWSY |
| 1D13RMET2D | 1D13RMET2D | 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 0907.5545#U2YK |
| 1D1WDB9J7W | 1D1WDB9J7W | 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.05391#JTQX |
| 1D21E3QWE6 | 1D21E3QWE6 | statement | record (an 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.00843#0Q2V |
| 1D26G6WEZT | 1D26G6WEZT | 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 2609.24484#OTUY |
| 1D2FX38WP7 | 1D2FX38WP7 | statement | record (an 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.06200#G77C |
| 1D3Q5X6S5Y | 1D3Q5X6S5Y | statement | record (an 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.24374#AHAK |
| 1D49HJRPWB | 1D49HJRPWB | statement | record (an 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.12181#NFFC |
| 1D4B3A219Q | 1D4B3A219Q | statement | record (an 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.17070#IB5Z |
| 1D4MGPAE5J | 1D4MGPAE5J | statement | record (an 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.33406#3IBC |
| 1D4PX2PBX3 | 1D4PX2PBX3 | statement | record (an 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.40274#870U |
| 1D4TR15Z4C | 1D4TR15Z4C | statement | record (an 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.27788#NKUW |
| 1D546JK787 | 1D546JK787 | statement | record (an 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.13850#R2EO |
| 1D55B3NZGY | 1D55B3NZGY | statement | record (an 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#MKV8 |
| 1D610E6YPZ | 1D610E6YPZ | 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.05320#YY7D |
| 1D6JG314AN | 1D6JG314AN | exercise | open | open_logic content/intuitionistic-logic/soundness-completeness/soundness-nd.tex#prob-1 |
| 1D6K7VAG9K | 1D6K7VAG9K | 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.13295#2OK7 |
| 1D70XFG4P7 | 1D70XFG4P7 | statement | record (an 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.19687#B2QZ |
| 1D7J1FNERP | 1D7J1FNERP | statement | record (an 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#KE8C |
| 1D7NHQBYF2 | 1D7NHQBYF2 | exercise | open | open_logic content/sets-functions-relations/arithmetization/checking-details.tex#prob-1 |
| 1D9CXS6GG2 | 1D9CXS6GG2 | statement | record (an 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.00806#NGXA |
| 1D9MBCYPP9 | 1D9MBCYPP9 | statement | record (an 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.19449#M4S2 |
| 1D9NVSEMEE | 1D9NVSEMEE | statement | open | ernst_ibl MAAPressVersion/NegatingAndContradiction.tex#thm:nm even implies n or m even |
| 1D9TG52XSB | 1D9TG52XSB | statement | record (an 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#HL7Q |
| 1DA5QC2G8S | 1DA5QC2G8S | exercise | open | lebl_ra ch-contfunc.tex#exercise-71 |
| 1DAFQWEEPC | 1DAFQWEEPC | statement | record (an 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.11517#Z2RC |
| 1DB4P5ZNDQ | 1DB4P5ZNDQ | statement | record (an 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.02901#7OU2 |
| 1DBAKY1Q0K | 1DBAKY1Q0K | statement | record (an 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.05010#PTPI |
| 1DBHAVWF0K | 1DBHAVWF0K | statement | record (an 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#PHHU |
| 1DCJ36KXT2 | 1DCJ36KXT2 | 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.15942#8NOB |
| 1DCQ7DMGP1 | 1DCQ7DMGP1 | 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 2308.05066#LWO1 |
| 1DCRV9HT4W | 1DCRV9HT4W | exercise | open | lebl_ra ch-seq-ser.tex#exercise-22 |
| 1DCV7HT49M | 1DCV7HT49M | statement | record (an 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.25291#5QZU |
| 1DDA60E4TC | 1DDA60E4TC | example | open | hott_book homotopy.tex#eg:wedge |
| 1DE7KF3H3V | 1DE7KF3H3V | 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.06152#VIHU |
| 1DEBCNNFD9 | 1DEBCNNFD9 | statement | record (an 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.29022#9WYO |
| 1DESYPB1YN | 1DESYPB1YN | statement | record (an 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/9201244#V5T4 |
| 1DF639JRPM | 1DF639JRPM | statement | record (an 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.00843#ZQO8 |
| 1DF88R4EAS | 1DF88R4EAS | statement | record (an 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.00409#1QZW |
| 1DG8MBVNPV | 1DG8MBVNPV | statement | record (an 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#3FF5 |
| 1DGDW3YSEN | 1DGDW3YSEN | statement | record (an 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.26058#NIHP |
| 1DGF0N6KVP | 1DGF0N6KVP | 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.25168#KRY4 |
| 1DGQW3GRCC | 1DGQW3GRCC | statement | record (an 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.25275#H81M |
| 1DGWCQT1VR | 1DGWCQT1VR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2110.11783#00FK |
| 1DHG7XV8P7 | 1DHG7XV8P7 | statement | record (an 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#73C9 |
| 1DJ1Y7TFVC | 1DJ1Y7TFVC | statement | open | ernst_ibl MAAPressVersion/UncountableSets.tex#thm:R uncountable |
| 1DJ8C68FVG | 1DJ8C68FVG | statement | record (an 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.13741#L6A2 |
| 1DJ9B5W9SK | 1DJ9B5W9SK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1905.00573#L6TL |
| 1DJJ24ZT97 | 1DJJ24ZT97 | 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#FXCR |
| 1DJTG02VZK | 1DJTG02VZK | statement | record (an 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.05232#AB8U |
| 1DK37JARNG | 1DK37JARNG | statement | record (an 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.32478#X5PE |
| 1DKE5EDNS2 | 1DKE5EDNS2 | statement | record (an 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.29152#BZ61 |
| 1DM5N0AT7W | 1DM5N0AT7W | statement | record (an 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.16554#TWHJ |
| 1DM84Z92DB | 1DM84Z92DB | example | open | austin_ula src/section6-5.xml#example-1 |
| 1DM91Q20F4 | 1DM91Q20F4 | statement | record (an 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#HW7F |
| 1DMGA1YYSN | 1DMGA1YYSN | exercise | open | austin_ula src/exercises/exercises7-5.xml#exercise-3 |
| 1DMHW5MAMX | 1DMHW5MAMX | statement | record (an 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#SI20 |
| 1DMV0XTF36 | 1DMV0XTF36 | statement | record (an 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#DGR6 |
| 1DN01VJNSW | 1DN01VJNSW | statement | record (an 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#CD9H |
| 1DN6NEPXT8 | 1DN6NEPXT8 | statement | record (an 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#0OU9 |
| 1DNQHR8E86 | 1DNQHR8E86 | statement | record (an 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.21501#AUF6 |
| 1DNTRMD5CG | 1DNTRMD5CG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2308.05066#INXU |
| 1DNZY5HZ9H | 1DNZY5HZ9H | statement | open | lebl_ra ch-seq-ser.tex#prop-10 |
| 1DP2XKM6QP | 1DP2XKM6QP | statement | record (an 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#UO9C |
| 1DQ06GY5VD | 1DQ06GY5VD | statement | record (an 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.17240#E57I |
| 1DQRSDFCF2 | 1DQRSDFCF2 | 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 2602.15812#PVQY |