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 2301–2400 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 1CEY6RAGQ1 | 1CEY6RAGQ1 | statement | record (an 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.11395#EU6Q |
| 1CF69DXKAD | 1CF69DXKAD | statement | record (an 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.00375#G7UZ |
| 1CF7EEA4CK | 1CF7EEA4CK | statement | record (an 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.30746#PPJE |
| 1CFPWN2PJH | 1CFPWN2PJH | 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.22074#YLR3 |
| 1CGAJ2X25S | 1CGAJ2X25S | statement | record (an 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.31768#PLSR |
| 1CGGYZ5WD5 | 1CGGYZ5WD5 | 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 2504.00596#9ZST |
| 1CGHKNB0VQ | 1CGHKNB0VQ | statement | record (an 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#WL07 |
| 1CGNJB5W8P | 1CGNJB5W8P | statement | record (an 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.23119#OS5E |
| 1CGRE0X70V | 1CGRE0X70V | statement | record (an 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.24323#YICI |
| 1CJF6ZCHEE | 1CJF6ZCHEE | statement | record (an 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.07114#OXB5 |
| 1CJY03X7TN | 1CJY03X7TN | statement | record (an 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.29943#338B |
| 1CKZ3XZCQF | 1CKZ3XZCQF | exercise | open | lebl_ra ch-approximate.tex#exercise-21 |
| 1CMH4W0X5D | 1CMH4W0X5D | 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 2508.07340#KFTC |
| 1CNA3D480T | 1CNA3D480T | statement | record (an 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.14458#6TNF |
| 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 |
| 1CNJDC7MN2 | 1CNJDC7MN2 | statement | record (an 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.23872#6Q7Y |
| 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 |
| 1CNS35XQ0H | 1CNS35XQ0H | statement | record (an 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.21680#OOOJ |
| 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 |
| 1CPQNTNYZ1 | 1CPQNTNYZ1 | statement | record (an 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.22394#E9Q9 |
| 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 |
| 1CWCMN975C | 1CWCMN975C | statement | record (an 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.20607#V9W0 |
| 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 |
| 1d point groups | 94QM2BV4QE | unknown | open | Wikipedia One-dimensional symmetry group#RB81 |
| 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 |
| 1D7CJ5Z3ZC | 1D7CJ5Z3ZC | statement | record (an 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#CCLE |
| 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 |
| 1DB64D9T0M | 1DB64D9T0M | statement | record (an 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.23527#UP82 |
| 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 |
| 1DEN0VTWR3 | 1DEN0VTWR3 | statement | record (an 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.20008#HIH1 |
| 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 |
| 1DF64DPP2H | 1DF64DPP2H | statement | record (an 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.22642#XZO4 |
| 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 |