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 15601–15700 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 6D4JKEJ1TX | 6D4JKEJ1TX | statement | record (an 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.39990#T146 |
| 6D4NZVPEES | 6D4NZVPEES | statement | record (an 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#LVVC |
| 6D4PHKX6ZK | 6D4PHKX6ZK | statement | open | ernst_ibl MAAPressVersion/TasteNumberTheory.tex#thm:transitivity of divides |
| 6D5EPJRA5B | 6D5EPJRA5B | statement | record (an 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.21960#SPWC |
| 6D5JFBREBD | 6D5JFBREBD | 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.08912#6N0C |
| 6D5N79BHM1 | 6D5N79BHM1 | statement | record (an 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#OSKO |
| 6D6YHGM61S | 6D6YHGM61S | statement | record (an 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.37634#8NZ5 |
| 6D7P9AZT1C | 6D7P9AZT1C | statement | record (an 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.33841#FPNG |
| 6D7SQ1SRQP | 6D7SQ1SRQP | statement | record (an 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.09019#ZO5O |
| 6D7XPKWB4G | 6D7XPKWB4G | statement | record (an 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#L3YJ |
| 6D81B1G6JK | 6D81B1G6JK | 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.03384#HLLE |
| 6D9AYZ5H3E | 6D9AYZ5H3E | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2407.05730#5GD8 |
| 6D9DF31XXD | 6D9DF31XXD | 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.32977#C2DH |
| 6D9XA7H7AZ | 6D9XA7H7AZ | example | open | active_calculus source/sec-2-1-elem-rules.xml#example-2 |
| 6DATY786W6 | 6DATY786W6 | 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#Y1U5 |
| 6DAYBN4NQY | 6DAYBN4NQY | statement | record (an 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.17258#PAES |
| 6DB7D7BTC1 | 6DB7D7BTC1 | statement | open | lebl_ra ch-several-vars-ders.tex#prop-2 |
| 6DBWWC2DW6 | 6DBWWC2DW6 | 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.02275#287J |
| 6DCD80H3GB | 6DCD80H3GB | proof | open | open_logic content/proof-theory/natural-deduction/sequents.tex#proof-2 |
| 6DD704V4EB | 6DD704V4EB | statement | record (an 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#IGH6 |
| 6DDF1206N9 | 6DDF1206N9 | 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.35577#JHLM |
| 6DE78HPTS9 | 6DE78HPTS9 | statement | record (an 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.39317#X7SF |
| 6DEM8GRWZB | 6DEM8GRWZB | statement | record (an 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.02961#KSUG |
| 6DEP0G47HK | 6DEP0G47HK | statement | record (an 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.36181#XEEH |
| 6DFQJATT76 | 6DFQJATT76 | statement | record (an 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.14985#O6K2 |
| 6DGBFVS047 | 6DGBFVS047 | 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 2607.00146#JNJP |
| 6DGS3JA1AC | 6DGS3JA1AC | 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 2403.16388#337S |
| 6DH6XK5B2Q | 6DH6XK5B2Q | statement | record (an 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.29894#CJ22 |
| 6DK0VAN0R3 | 6DK0VAN0R3 | 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.13516#ANXS |
| 6DKQNW15ZW | 6DKQNW15ZW | 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.21507#I10M |
| 6DKZVSP89A | 6DKZVSP89A | 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 2610.13295#0HU5 |
| 6DMM1ND1B2 | 6DMM1ND1B2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2002.01498#EFSZ |
| 6DMNA9C13D | 6DMNA9C13D | 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 math/9201244#O31G |
| 6DNCXC2EME | 6DNCXC2EME | statement | record (an 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.06746#GFD3 |
| 6DPKBPTTPZ | 6DPKBPTTPZ | statement | record (an 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.22681#8BEO |
| 6DPPKW4D36 | 6DPPKW4D36 | statement | record (an 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.17579#7YZ2 |
| 6DRTWBJ851 | 6DRTWBJ851 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0908.3266#5S72 |
| 6DSECKH0GQ | 6DSECKH0GQ | statement | record (an 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.28220#9QQC |
| 6DSMPJK882 | 6DSMPJK882 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q15857471, nLab Eldon Dyer |
| 6DTC2FH4M3 | 6DTC2FH4M3 | statement | record (an 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.26588#XLVC |
| 6DTDBTTGN5 | 6DTDBTTGN5 | statement | record (an 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#TE1L |
| 6DTDHK796C | 6DTDHK796C | statement | record (an 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.25255#Y5BS |
| 6DTHMQDX42 | 6DTHMQDX42 | statement | open | levin_dmoi ptx/sec_logic-proofs.ptx#theorem-1 |
| 6DTNQAAMNH | 6DTNQAAMNH | statement | record (an 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#HDWB |
| 6DTYSMXE3Y | 6DTYSMXE3Y | statement | record (an 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#BUPV |
| 6DV7YYQPZA | 6DV7YYQPZA | statement | record (an 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.07541#HHUR |
| 6DV970XS13 | 6DV970XS13 | statement | record (an 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.34845#JJLK |
| 6DW13ZEFNJ | 6DW13ZEFNJ | statement | record (an 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.20542#ZMPL |
| 6DW3WK731C | 6DW3WK731C | statement | open | napkin tex/alg-NT/classgrp.tex#lemma-1 |
| 6DX3F171NG | 6DX3F171NG | statement | record (an 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.39593#O9GF |
| 6DX5AS8DZY | 6DX5AS8DZY | statement | record (an 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.08935#UJCB |
| 6DXRTGAV3T | 6DXRTGAV3T | statement | record (an 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.03756#FS5A |
| 6DXTC94SN5 | 6DXTC94SN5 | statement | record (an 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.37112#116P |
| 6DY36MT6PZ | 6DY36MT6PZ | statement | record (an 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.16060#T8AJ |
| 6DY39QHQ7P | 6DY39QHQ7P | statement | record (an 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#SFGG |
| 6DZ1H70T8K | 6DZ1H70T8K | statement | record (an 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#0W5P |
| 6DZ21G33GA | 6DZ21G33GA | 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 2207.12181#BQAA |
| 6DZT3BBVZD | 6DZT3BBVZD | statement | record (an 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.20944#NI7S |
| 6E017P9EC9 | 6E017P9EC9 | statement | record (an 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.18992#TKRP |
| 6E020YB329 | 6E020YB329 | statement | record (an 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.28118#C6WV |
| 6E1ADPMVPS | 6E1ADPMVPS | statement | record (an 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#EHW8 |
| 6E28RKPC8D | 6E28RKPC8D | statement | record (an 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.18847#8YEA |
| 6E2CC4QTSY | 6E2CC4QTSY | 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.19285#D1V1 |
| 6E4B11T2A5 | 6E4B11T2A5 | statement | record (an 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#9TZL |
| 6E4JE809W6 | 6E4JE809W6 | statement | record (an 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.12329#579H |
| 6E6E9NGFNA | 6E6E9NGFNA | statement | record (an 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.26600#6IVH |
| 6E782HNQ3K | 6E782HNQ3K | statement | record (an 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.10017#JA5A |
| 6E7CXRJFSJ | 6E7CXRJFSJ | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-21 |
| 6E8JJHBCZD | 6E8JJHBCZD | exercise | open | levin_dmoi ptx/exercises/intro-sets.ptx#exercise-16 |
| 6E8YFBDCTM | 6E8YFBDCTM | statement | record (an 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.35740#H61A |
| 6E8YGZDMVK | 6E8YGZDMVK | statement | record (an 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.05168#92ZT |
| 6E9JCGPPFS | 6E9JCGPPFS | statement | record (an 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.03568#UNK9 |
| 6E9VCK3JNB | 6E9VCK3JNB | unknown | open | |
| 6E9ZQHBKFE | 6E9ZQHBKFE | statement | record (an 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.30976#3YNQ |
| 6EA2MGSM0G | 6EA2MGSM0G | statement | record (an 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#NYW2 |
| 6EAV0AA790 | 6EAV0AA790 | statement | record (an 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.09019#UITR |
| 6EBHZ2WFKF | 6EBHZ2WFKF | statement | record (an 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.29501#9DQF |
| 6EBN7ZWV2P | 6EBN7ZWV2P | 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 2601.13782#LGDO |
| 6EBVBK07QP | 6EBVBK07QP | exercise | open | hott_book preliminaries.tex#ex:not-not-lem |
| 6ECX13SHSN | 6ECX13SHSN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2302.04470#Q4F3 |
| 6EDQ7V8JXF | 6EDQ7V8JXF | statement | record (an 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.10964#MUAU |
| 6EF0RCVMHX | 6EF0RCVMHX | statement | record (an 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.08018#IVOY |
| 6EFB258RQX | 6EFB258RQX | statement | open | hott_book hits.tex#thm:flattening-rectnd |
| 6EFFCGY547 | 6EFFCGY547 | statement | record (an 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/0008020#6D4Z |
| 6EFTQPXSKE | 6EFTQPXSKE | definition | open | open_logic content/turing-machines/machines-computations/configuration.tex#defn-3 |
| 6EG248X6CT | 6EG248X6CT | 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#WWAS |
| 6EG3QVDZRE | 6EG3QVDZRE | statement | record (an 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.11143#SGYD |
| 6EGBCEYYGR | 6EGBCEYYGR | exercise | open | levin_dmoi ptx/exercises/logic-prop.ptx#exercise-13 |
| 6EH0MPX85Q | 6EH0MPX85Q | statement | record (an 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.08912#EFJK |
| 6EH3T5W061 | 6EH3T5W061 | definition | open | napkin tex/measure/caratheodory.tex#definition-8 |
| 6EHA517W12 | 6EHA517W12 | statement | record (an 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.25495#QNVD |
| 6EHF99AJWT | 6EHF99AJWT | statement | record (an 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.20110#7VUL |
| 6EHGHZ2TFN | 6EHGHZ2TFN | statement | record (an 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.02111#3VLU |
| 6EHHP4JRF6 | 6EHHP4JRF6 | 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 2601.13782#9483 |
| 6EHZGG5PMA | 6EHZGG5PMA | statement | record (an 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.11048#A97Y |
| 6EHZKWWD99 | 6EHZKWWD99 | statement | record (an 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.32174#LM21 |
| 6EJ1ERV4R0 | 6EJ1ERV4R0 | statement | record (an 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.06310#FDWF |
| 6EJM3HC9Q6 | 6EJM3HC9Q6 | statement | record (an 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.01837#XUAK |
| 6EKF3YENC3 | 6EKF3YENC3 | statement | record (an 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.19533#RM1M |
| 6EKF703ECP | 6EKF703ECP | statement | record (an 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.13799#5CL9 |