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 18301–18400 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 7CY9KJGE0R | 7CY9KJGE0R | statement | record (an 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.24931#FTGV |
| 7CZ78J1GRV | 7CZ78J1GRV | 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.30086#ZTDA |
| 7CZ81R3Z3T | 7CZ81R3Z3T | exercise | open | hott_book induction.tex#ex:Wbounds-loose |
| 7CZKDHDM1S | 7CZKDHDM1S | 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.07280#X1BX |
| 7D1EP4TE3V | 7D1EP4TE3V | statement | record (an 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.18562#VAHC |
| 7D1KKB58CM | 7D1KKB58CM | proof | open | lebl_scv scv.tex#proof-26 |
| 7D1TGE0FTP | 7D1TGE0FTP | statement | record (an 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.11481#FJRI |
| 7D2ZB4ZX36 | 7D2ZB4ZX36 | statement | record (an 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#NW8P |
| 7D30FFPVCJ | 7D30FFPVCJ | statement | record (an 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.16606#E7HW |
| 7D3C7GZT4M | 7D3C7GZT4M | statement | record (an 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#ILE3 |
| 7D3SE77YCZ | 7D3SE77YCZ | statement | record (an 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.09599#5LB0 |
| 7D543PYV8K | 7D543PYV8K | 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.27800#BHPK |
| 7D55M2XMFY | 7D55M2XMFY | statement | record (an 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.07927#6YNP |
| 7D5PHC1RRB | 7D5PHC1RRB | statement | record (an 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.35398#QXTW |
| 7D5RVJRZNZ | 7D5RVJRZNZ | 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.36088#K0SF |
| 7D5XGJCE3Z | 7D5XGJCE3Z | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1802.02910#QQ2J |
| 7D6FZ73KEF | 7D6FZ73KEF | statement | record (an 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/0411039#I986 |
| 7D6J9N7H01 | 7D6J9N7H01 | statement | record (an 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#XNJW |
| 7D6SETJWWG | 7D6SETJWWG | exercise | open | levin_dmoi ptx/exercises/addtops-genfun.ptx#exercise-11 |
| 7D6Y9MFBRV | 7D6Y9MFBRV | statement | record (an 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.29489#SSJK |
| 7D7KGFKRMC | 7D7KGFKRMC | statement | record (an 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.06381#IQDW |
| 7D82T2GYNJ | 7D82T2GYNJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2011.08789#ZUPP |
| 7D8E080F80 | 7D8E080F80 | statement | record (an 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#329B |
| 7D904GV8A8 | 7D904GV8A8 | statement | record (an 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.33856#0L9N |
| 7D9HT7T1AW | 7D9HT7T1AW | statement | record (an 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.26127#VNF1 |
| 7DAMMESMRE | 7DAMMESMRE | proof | open | levin_dmoi ptx/sec_intro-statements.ptx#proof-1 |
| 7DANYC4CSC | 7DANYC4CSC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2208.13855#QCRW |
| 7DBNFA2Y72 | 7DBNFA2Y72 | 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.02790#XORK |
| 7DBR4NZHH7 | 7DBR4NZHH7 | statement | record (an 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.37893#EZK4 |
| 7DBV1R2P6M | 7DBV1R2P6M | 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.17045#XBAZ |
| 7DBZ6A18JB | 7DBZ6A18JB | exercise | open | active_calculus source/activities/act-1-4-2.xml#act-1-4-2 |
| 7DC1XZGBTH | 7DC1XZGBTH | statement | record (an 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.16028#9TK0 |
| 7DCNXQEZ9S | 7DCNXQEZ9S | exercise | open | lebl_scv scv.tex#exercise-246 |
| 7DCVNRK37Q | 7DCVNRK37Q | statement | record (an 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#EXHP |
| 7DDK2YRVBM | 7DDK2YRVBM | statement | record (an 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.26769#SPZX |
| 7DDZ9V218A | 7DDZ9V218A | statement | record (an 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.18503#A726 |
| 7DEB1T9DPP | 7DEB1T9DPP | statement | record (an 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#2UGQ |
| 7DEHJ1T596 | 7DEHJ1T596 | proof | open | open_logic content/set-theory/card-arithmetic/ch.tex#proof-2 |
| 7DEP4S5VHA | 7DEP4S5VHA | statement | record (an 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.03292#R2WE |
| 7DEZYXDPJV | 7DEZYXDPJV | statement | record (an 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.35467#POYO |
| 7DFF6964XR | 7DFF6964XR | statement | record (an 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.17135#40YC |
| 7DFQ5KA9WX | 7DFQ5KA9WX | statement | record (an 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.08357#6NOY |
| 7DG17A006Z | 7DG17A006Z | statement | record (an 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.12108#R6QG |
| 7DG23DDNJV | 7DG23DDNJV | statement | record (an 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#KMI5 |
| 7DGBNR4632 | 7DGBNR4632 | statement | record (an 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.02893#HFX4 |
| 7DGZMVMPY5 | 7DGZMVMPY5 | 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.25703#TSFN |
| 7DJJZWNVYG | 7DJJZWNVYG | 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.18016#UP54 |
| 7DJPEGSXGD | 7DJPEGSXGD | statement | record (an 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.17717#Q1MK |
| 7DJYVMX31Q | 7DJYVMX31Q | statement | record (an 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.08839#RBMB |
| 7DKN7XV3RK | 7DKN7XV3RK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2412.20238#QXUA |
| 7DKNQ3RTSS | 7DKNQ3RTSS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1001.1196#NK2N |
| 7DKQ5V6X5F | 7DKQ5V6X5F | statement | record (an 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.04321#9YYR |
| 7DKWFBTEWX | 7DKWFBTEWX | statement | record (an 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#JANK |
| 7DMK9P29Q5 | 7DMK9P29Q5 | statement | record (an 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.17698#WRAF |
| 7DP3NX5F5A | 7DP3NX5F5A | statement | record (an 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#J1OC |
| 7DPC0DRKGT | 7DPC0DRKGT | statement | record (an 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.28893#OUNN |
| 7DPH74J7XE | 7DPH74J7XE | statement | record (an 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#I24W |
| 7DPQGEQ0E7 | 7DPQGEQ0E7 | statement | record (an 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#Y4OA |
| 7DPXK2HNGS | 7DPXK2HNGS | statement | record (an 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.28020#L24B |
| 7DQMWQK5Y9 | 7DQMWQK5Y9 | statement | record (an 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.26769#U8EG |
| 7DQV9224TA | 7DQV9224TA | 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.28794#U8KQ |
| 7DRKQGAWP5 | 7DRKQGAWP5 | statement | record (an 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.00144#7BNO |
| 7DSARPWJ94 | 7DSARPWJ94 | statement | record (an 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.05533#4ZTO |
| 7DSFGQPY2W | 7DSFGQPY2W | statement | record (an 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.08288#RMXI |
| 7DSFSWY9J9 | 7DSFSWY9J9 | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise-40 |
| 7DSK4CVZT0 | 7DSK4CVZT0 | statement | record (an 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.34020#FBTK |
| 7DSRPZ560Y | 7DSRPZ560Y | statement | open | austin_ula src/section7-4.xml#thm-four-subspaces |
| 7DSV6QEJH3 | 7DSV6QEJH3 | 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.10930#1PW0 |
| 7DSXK33Z7R | 7DSXK33Z7R | statement | record (an 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#32ML |
| 7DT5SPWKQ7 | 7DT5SPWKQ7 | statement | record (an 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.16332#1GIU |
| 7DTT63G44T | 7DTT63G44T | statement | record (an 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.15631#GAWH |
| 7DV4PMJZ05 | 7DV4PMJZ05 | statement | record (an 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.32614#IW0Y |
| 7DVBWAJDVQ | 7DVBWAJDVQ | statement | open | austin_ula src/section6-3.xml#prop-proj-orthonormal |
| 7DVXYXAPZE | 7DVXYXAPZE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2503.01563#2C7Y |
| 7DW0EJZBBY | 7DW0EJZBBY | statement | record (an 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.05194#MPWA |
| 7DW41VZY62 | 7DW41VZY62 | statement | record (an 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.10505#8DCK |
| 7DWT00XJF7 | 7DWT00XJF7 | 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.36135#FB7L |
| 7DWTCX2V3R | 7DWTCX2V3R | 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.07214#DB5L |
| 7DWTQF5C9C | 7DWTQF5C9C | 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 0809.4587#AFKO |
| 7DX3NK6QG5 | 7DX3NK6QG5 | exercise | open | hott_book logic.tex#ex:lem-brck |
| 7DX9XRX04B | 7DX9XRX04B | 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#7I5N |
| 7DXFPRV1NK | 7DXFPRV1NK | statement | record (an 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.00789#BXM4 |
| 7DY7PN90BQ | 7DY7PN90BQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1806.00752#CEM4 |
| 7DY86TJKQK | 7DY86TJKQK | 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 2301.04933#4E24 |
| 7DYHFK9MX5 | 7DYHFK9MX5 | statement | record (an 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.12352#T8X3 |
| 7DZ991T4DQ | 7DZ991T4DQ | 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.00934#B4NH |
| 7DZQ8Y8FNQ | 7DZQ8Y8FNQ | exercise | open | lebl_ra ch-approximate.tex#exercise-11 |
| 7E0C7DMKTC | 7E0C7DMKTC | statement | record (an 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.04593#DHMN |
| 7E0MB62MB6 | 7E0MB62MB6 | statement | record (an 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.01802#47O0 |
| 7E0RHV7HVR | 7E0RHV7HVR | statement | record (an 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.03619#DMBR |
| 7E0VFNYV5M | 7E0VFNYV5M | statement | record (an 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.16505#O5Y4 |
| 7E1BF6CR03 | 7E1BF6CR03 | statement | record (an 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.14217#T2E0 |
| 7E1CGVJ0FQ | 7E1CGVJ0FQ | statement | record (an 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.17571#C2N2 |
| 7E1YG3VTWP | 7E1YG3VTWP | 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.27056#W43W |
| 7E26Q94YPF | 7E26Q94YPF | statement | record (an 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.35229#7ESO |
| 7E2AMFYY4V | 7E2AMFYY4V | statement | record (an 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.21131#72EY |
| 7E2JEP2AVQ | 7E2JEP2AVQ | statement | record (an 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.34570#YMY0 |
| 7E3ZWWSVX1 | 7E3ZWWSVX1 | 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.40161#N8ZA |
| 7E523MGDZH | 7E523MGDZH | 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 2106.09601#2B41 |
| 7E575PZGMV | 7E575PZGMV | statement | record (an 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.24363#WPIR |