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 1701–1800 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 1BBY7NCGS1 | 1BBY7NCGS1 | statement | record (an 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#0927 |
| 1BC4QCW02Z | 1BC4QCW02Z | statement | record (an 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.36517#K12W |
| 1BDEM1BS3C | 1BDEM1BS3C | unknown | open | arXiv 2609.27961#A2CI |
| 1BE37K4X8Y | 1BE37K4X8Y | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2401.13523#1ZBH |
| 1BE9VVF7B1 | 1BE9VVF7B1 | statement | record (an 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.15744#F07R |
| 1BEBYHD0E8 | 1BEBYHD0E8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2607.00323#WP89 |
| 1BEDC424EA | 1BEDC424EA | statement | open | hott_book equivalences.tex#lem:coh-hprop |
| 1BEZ5H2PF5 | 1BEZ5H2PF5 | statement | record (an 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#WCR1 |
| 1BFB36GJ51 | 1BFB36GJ51 | 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.25656#250G |
| 1BFGXK6GMJ | 1BFGXK6GMJ | statement | record (an 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.12479#PY21 |
| 1BFTNWHQ2P | 1BFTNWHQ2P | statement | record (an 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.07240#6ONF |
| 1BG70QSAR6 | 1BG70QSAR6 | statement | record (an 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.11545#K65T |
| 1BG85JB16B | 1BG85JB16B | statement | record (an 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.33300#RX58 |
| 1BHB144KSH | 1BHB144KSH | statement | record (an 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.06343#UYA3 |
| 1BHWTVY4AF | 1BHWTVY4AF | statement | record (an 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.27518#K0LM |
| 1BHXRFC479 | 1BHXRFC479 | 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.38970#HPYF |
| 1BJBJZH8N9 | 1BJBJZH8N9 | definition | open | napkin tex/linalg/inner-form.tex#definition-3 |
| 1BK3QY92K1 | 1BK3QY92K1 | 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 2403.16388#5ZOE |
| 1BK7TK2C7Z | 1BK7TK2C7Z | statement | record (an 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.24192#0G1I |
| 1BK7Z004AE | 1BK7Z004AE | 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 2105.13129#XTXQ |
| 1BKVCXYJRW | 1BKVCXYJRW | statement | record (an 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#MT4V |
| 1BM0T527H2 | 1BM0T527H2 | statement | record (an 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.07092#9EIW |
| 1BP20KMZG8 | 1BP20KMZG8 | statement | record (an 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.07061#KUS3 |
| 1BPSMVS14D | 1BPSMVS14D | statement | record (an 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#71T8 |
| 1BQYQ0F5YQ | 1BQYQ0F5YQ | statement | open | open_logic content/first-order-logic/syntax-and-semantics/assignments.tex#prop:sat-quant |
| 1BR2ME8V4P | 1BR2ME8V4P | statement | record (an 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.38556#BNH8 |
| 1BR2TQCZRC | 1BR2TQCZRC | statement | record (an 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.15472#OR2B |
| 1BR864NJDK | 1BR864NJDK | statement | record (an 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.10058#ON2O |
| 1BRK7WBGKR | 1BRK7WBGKR | statement | record (an 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.20466#G6AQ |
| 1BRM2B56RY | 1BRM2B56RY | statement | record (an 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.11965#3G12 |
| 1BRVA9W6BN | 1BRVA9W6BN | statement | record (an 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#6HMS |
| 1BRZS95C57 | 1BRZS95C57 | statement | record (an 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.26191#PI4C |
| 1BS4KX47VJ | 1BS4KX47VJ | proof | open | open_logic content/incompleteness/representability-in-q/sigma1-completeness.tex#proof-5 |
| 1BTS5G5GWR | 1BTS5G5GWR | statement | record (an 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.09171#PNIB |
| 1BTTRCH9C3 | 1BTTRCH9C3 | 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.07485#RZ88 |
| 1BTVFY5BCT | 1BTVFY5BCT | statement | record (an 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.19787#EMUG |
| 1BTW3C9EVS | 1BTW3C9EVS | statement | record (an 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.33584#RLY6 |
| 1BV495PQT8 | 1BV495PQT8 | statement | record (an 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.25289#NT7Z |
| 1BVX0DNNM9 | 1BVX0DNNM9 | statement | record (an 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.03384#FGVU |
| 1BVZWCEC80 | 1BVZWCEC80 | statement | record (an 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.09422#BYC9 |
| 1BW2K9WA21 | 1BW2K9WA21 | 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.35180#I8B2 |
| 1BW4GZJQXZ | 1BW4GZJQXZ | exercise | open | lebl_ra ch-approximate.tex#exercise-1 |
| 1BW634782G | 1BW634782G | exercise | open | napkin tex/alg-NT/frobenius.tex#ques-2 |
| 1BW7RK6NSV | 1BW7RK6NSV | statement | record (an 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.05506#D21G |
| 1BX1AQKFJH | 1BX1AQKFJH | statement | record (an 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/9802134#DZW1 |
| 1BX6R2PSKJ | 1BX6R2PSKJ | statement | record (an 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.36068#QG6J |
| 1BXK1YM3B3 | 1BXK1YM3B3 | statement | record (an 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.07461#HQHE |
| 1BY0HGWM86 | 1BY0HGWM86 | statement | record (an 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/9801068#GOR5 |
| 1BY1N8BWRZ | 1BY1N8BWRZ | statement | record (an 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#884R |
| 1BZ6H3E0VN | 1BZ6H3E0VN | statement | record (an 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#JUV6 |
| 1BZBNHFZDP | 1BZBNHFZDP | statement | record (an 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.20466#RKRG |
| 1BZG0MTD46 | 1BZG0MTD46 | statement | record (an 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.30663#KV1V |
| 1C120N45M3 | 1C120N45M3 | 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.11395#STJU |
| 1C1479BS5W | 1C1479BS5W | statement | open | open_logic content/sets-functions-relations/arithmetization/cuts.tex#realcompleteness |
| 1C15GFQSS0 | 1C15GFQSS0 | statement | record (an 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.04452#XOUO |
| 1C19BN4GWB | 1C19BN4GWB | statement | record (an 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#2DAN |
| 1C1TWF87NC | 1C1TWF87NC | statement | record (an 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.26477#8QV1 |
| 1C1XVHE6M0 | 1C1XVHE6M0 | statement | record (an 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.18324#IB6M |
| 1C3G78PARY | 1C3G78PARY | exercise | open | napkin tex/alg-NT/artin.tex#problem-1 |
| 1C44VKZDQ1 | 1C44VKZDQ1 | proof | open | lebl_scv scv.tex#proof-73 |
| 1C48RX25J6 | 1C48RX25J6 | statement | record (an 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.05327#U0AF |
| 1C4SVE8FYG | 1C4SVE8FYG | statement | record (an 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.38556#2QIQ |
| 1C4V2K0179 | 1C4V2K0179 | statement | record (an 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.01467#U39L |
| 1C4ZHFH9M4 | 1C4ZHFH9M4 | statement | record (an 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#95ET |
| 1C50F2JZ04 | 1C50F2JZ04 | statement | record (an 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.30685#BIF6 |
| 1C52A7EM0V | 1C52A7EM0V | statement | record (an 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.19590#SVOP |
| 1C5A55HB8H | 1C5A55HB8H | definition | open | open_logic content/sets-functions-relations/functions/inverses.tex#defn-1 |
| 1C5KNCJ1C0 | 1C5KNCJ1C0 | statement | record (an 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.14278#QWGY |
| 1C69CVACBM | 1C69CVACBM | statement | record (an 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.22326#CGK1 |
| 1C6Z8YMQ97 | 1C6Z8YMQ97 | statement | record (an 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#WIA2 |
| 1C7JKX671S | 1C7JKX671S | statement | record (an 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.12122#WHKO |
| 1C7QA9S4W0 | 1C7QA9S4W0 | statement | record (an 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.06707#ENIY |
| 1C7R23SKKR | 1C7R23SKKR | statement | record (an 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.07180#1TYT |
| 1C7XPRSBBE | 1C7XPRSBBE | statement | record (an 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.27078#7GSG |
| 1C88GCX9FB | 1C88GCX9FB | statement | record (an 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.35543#CKEX |
| 1C88QN5T4A | 1C88QN5T4A | statement | record (an 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#L12F |
| 1C90VGSAFY | 1C90VGSAFY | 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#GTGD |
| 1CAETZ98G1 | 1CAETZ98G1 | statement | record (an 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.18016#DJXY |
| 1CAT69TVV8 | 1CAT69TVV8 | unknown | open | arXiv 2609.35339#ZA57 |
| 1CB32XWM43 | 1CB32XWM43 | 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 0902.4012#6SRB |
| 1CBYCJ4CKS | 1CBYCJ4CKS | statement | record (an 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.16358#2VRT |
| 1CD25V6SN1 | 1CD25V6SN1 | 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.36321#1169 |
| 1CD3ANPJ37 | 1CD3ANPJ37 | statement | record (an 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#16JM |
| 1CD3FC1PHG | 1CD3FC1PHG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1406.2996#WXVP |
| 1CD8W7TTHY | 1CD8W7TTHY | statement | record (an 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#KUJG |
| 1CDBQ1MBRR | 1CDBQ1MBRR | 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.03661#O0VJ |
| 1CDX6SFWW3 | 1CDX6SFWW3 | statement | record (an 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.13580#GXCB |
| 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 |
| 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 |