Inventory: D
The rows of the inventory whose names start with D. 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 3401–3500 of 4710.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| DMFG5EN7MH | DMFG5EN7MH | statement | record (an 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.05486#Z5Z2 |
| DMFP0CH7J3 | DMFP0CH7J3 | 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.05299#BVX7 |
| DMFT4AXED5 | DMFT4AXED5 | exercise | open | applied_combinatorics source/s_induction_exercises.ptx#exercise-7 |
| DMG4VTHTF1 | DMG4VTHTF1 | statement | record (an 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.17408#03IX |
| DMGYQ2S9NV | DMGYQ2S9NV | statement | open | ernst_ibl MAAPressVersion/UncountableSets.tex#theorem-4 |
| DMHVWXT4NT | DMHVWXT4NT | statement | record (an 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.26500#Z2IC |
| Dmitry Dyakonov | 1GFEXRZTCY | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1232502, nLab Dmitri Diakonov |
| Dmitry Kaledin | J7R1T1C5GE | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q18228251, nLab Dmitry Kaledin |
| Dmitry Shirkov | FJJN6NV52N | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q3182292, nLab Dmitry Shirkov |
| DMJ1GVZR1Q | DMJ1GVZR1Q | 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 2510.12502#9PJX |
| DMJKHGAPZY | DMJKHGAPZY | exercise | open | austin_ula src/section2-3.xml#activity-span-r3 |
| DMK2TQX0Z3 | DMK2TQX0Z3 | 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.20008#87FC |
| DMK3WKT2G4 | DMK3WKT2G4 | statement | record (an 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#HVI4 |
| DMKBYMWRHV | DMKBYMWRHV | statement | record (an 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#RZBC |
| DMKS3A9C20 | DMKS3A9C20 | statement | record (an 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.14308#LA2M |
| DMM60T5CDS | DMM60T5CDS | statement | record (an 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.36186#4VUA |
| DMMPJ0Y0Q2 | DMMPJ0Y0Q2 | statement | record (an 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.03305#YWHU |
| DMMPRJ6TSQ | DMMPRJ6TSQ | 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.26496#TNLF |
| DMMVRMZ0H7 | DMMVRMZ0H7 | statement | record (an 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.39905#YIEA |
| DMMZ7F2H7A | DMMZ7F2H7A | unknown | open | arXiv 2609.33529#RANS |
| DMN2YJGVKK | DMN2YJGVKK | statement | record (an 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.01302#MABK |
| DMNJG1J84Y | DMNJG1J84Y | 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 2305.10921#SHJZ |
| DMNQJ41VH7 | DMNQJ41VH7 | unknown | open | |
| DMP2RD2AGP | DMP2RD2AGP | statement | record (an 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#PRY6 |
| DMPB6Q2C6V | DMPB6Q2C6V | statement | record (an 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.31527#Y09R |
| DMPD00PNNB | DMPD00PNNB | exercise | open | applied_combinatorics source/s_graphs_exercises.ptx#exercise-25 |
| DMPWZJQQWS | DMPWZJQQWS | statement | record (an 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.28742#M5ZM |
| DMQFNHBTH5 | DMQFNHBTH5 | statement | record (an 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.36827#ZR9X |
| DMQH9YGQK3 | DMQH9YGQK3 | statement | record (an 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.39491#TUKO |
| DMQNXC0K3E | DMQNXC0K3E | statement | record (an 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.11906#7IZF |
| DMQP5AF55C | DMQP5AF55C | statement | record (an 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.04993#0Q4W |
| DMR2MKZDKG | DMR2MKZDKG | statement | record (an 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.07064#W08Q |
| DMR7PRW94B | DMR7PRW94B | statement | record (an 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#4BRJ |
| DMRMJ1SW7A | DMRMJ1SW7A | statement | record (an 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.32374#6966 |
| DMS0J9DXB4 | DMS0J9DXB4 | statement | record (an 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.27366#2XC1 |
| DMSPD302FC | DMSPD302FC | statement | record (an 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#URZV |
| DMVFFXW6GH | DMVFFXW6GH | statement | record (an 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.29326#91GG |
| DMVQ23RSP6 | DMVQ23RSP6 | 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 2108.10246#0ZOK |
| DMW4HRBMP3 | DMW4HRBMP3 | statement | record (an 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.05288#O82Q |
| DMWNPDPDEM | DMWNPDPDEM | statement | record (an 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.25321#0XF3 |
| DMXY171XHE | DMXY171XHE | statement | record (an 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#0NRF |
| DMY5Z95PJ3 | DMY5Z95PJ3 | statement | record (an 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.19132#3IML |
| DMYKP55AJQ | DMYKP55AJQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2203.00606#P0K5 |
| DMYMPNEF68 | DMYMPNEF68 | statement | record (an 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.05421#PD6S |
| DMZA444PF1 | DMZA444PF1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2202.10212#Y5BR |
| DMZE5E3A7F | DMZE5E3A7F | statement | record (an 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.34852#V7PS |
| DMZQ0TMGZA | DMZQ0TMGZA | 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.00323#T6WL |
| DMZQZ3TFYS | DMZQZ3TFYS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2111.08123#TYTA |
| DN02HH9H96 | DN02HH9H96 | statement | open | open_logic content/sets-functions-relations/relations/orders.tex#prop:extensionality-strictlinearorders |
| DN0X01AY6N | DN0X01AY6N | statement | record (an 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.14374#73Q7 |
| DN1A0T2WPY | DN1A0T2WPY | statement | record (an 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#7GIR |
| DN1N6QG8EJ | DN1N6QG8EJ | statement | record (an 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.14914#LWMZ |
| DN2399ST10 | DN2399ST10 | statement | record (an 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.39491#APNS |
| DN23F4BGBC | DN23F4BGBC | statement | record (an 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.10077#ELBH |
| DN2QX3A15S | DN2QX3A15S | unknown | open | arXiv 2610.06441#L569 |
| DN31WPYFYJ | DN31WPYFYJ | statement | record (an 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#KQAB |
| DN36S76Z9E | DN36S76Z9E | statement | record (an 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.14380#NN6X |
| DN3CJACVW4 | DN3CJACVW4 | statement | record (an 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.16010#L4Y5 |
| DN3FWEZR2T | DN3FWEZR2T | exercise | open | napkin tex/H113/action.tex#ques-5 |
| DN3RAAV4GS | DN3RAAV4GS | 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.31907#7PD6 |
| DN3RTM5HBS | DN3RTM5HBS | statement | record (an 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.32834#OB6S |
| DN3XCX0T0Z | DN3XCX0T0Z | statement | record (an 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.21255#EEED |
| DN52GPAX9B | DN52GPAX9B | statement | record (an 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.17875#7CCD |
| DN58ZR13NR | DN58ZR13NR | statement | record (an 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.32829#QCJ3 |
| DN592833FB | DN592833FB | statement | record (an 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.29205#VSCX |
| DN5NSRAS8A | DN5NSRAS8A | statement | record (an 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.15434#OK8Z |
| DN6EKGNGY8 | DN6EKGNGY8 | statement | record (an 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.11034#CWFI |
| DN75P8BCRP | DN75P8BCRP | example | open | levin_dmoi ptx/sec_intro-functions.ptx#example-7 |
| DN7S3VSQHW | DN7S3VSQHW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2512.19872#O3LA |
| DN7T7W9AKW | DN7T7W9AKW | statement | record (an 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.33771#3Z2D |
| DN7VNNEPZQ | DN7VNNEPZQ | statement | record (an 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#BG5F |
| DN835ZYBK6 | DN835ZYBK6 | exercise | open | hott_book logic.tex#ex:prop-trunc-ind |
| DN8AX8G158 | DN8AX8G158 | statement | record (an 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.32107#GHML |
| DN8FQQC4BT | DN8FQQC4BT | statement | record (an 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.20663#RTYG |
| DN8WZX3S7W | DN8WZX3S7W | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2509.21444#3Z94 |
| DN94VZCY39 | DN94VZCY39 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2206.13822#UE7A |
| DN9AB1S4K0 | DN9AB1S4K0 | statement | record (an 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.30544#A2F7 |
| DN9C4HSKDT | DN9C4HSKDT | statement | record (an 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#XZRG |
| DN9KHTZNT6 | DN9KHTZNT6 | exercise | open | lebl_ra ch-one-dim-ints-sv.tex#exercise-11 |
| DN9KQWMAP1 | DN9KQWMAP1 | statement | record (an 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.08610#QLT9 |
| DNA6R6GE2D | DNA6R6GE2D | statement | record (an 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.14652#1TGZ |
| DNAMMH99DT | DNAMMH99DT | statement | record (an 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.31127#HJA9 |
| DNAPCA6ESR | DNAPCA6ESR | statement | record (an 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.33590#6T4D |
| DNBTMG6X8F | DNBTMG6X8F | statement | record (an 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.22073#V89A |
| DNC4VDFDNV | DNC4VDFDNV | statement | record (an 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.01803#6R4O |
| DNC5QC0P6Q | DNC5QC0P6Q | statement | record (an 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.02692#3Z9F |
| DNCAQE83Y2 | DNCAQE83Y2 | 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.31269#JFU4 |
| DNCKT6J85M | DNCKT6J85M | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2309.01359#N07C |
| DNCMPX6XFM | DNCMPX6XFM | exercise | open | hott_book basics.tex#ex:equiv-functor-types |
| DNCNKPCNYX | DNCNKPCNYX | statement | record (an 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.10968#CMLH |
| DNCSR8ZBRC | DNCSR8ZBRC | statement | record (an 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.03856#W15J |
| DNDH9E5WC8 | DNDH9E5WC8 | statement | record (an 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.02213#VZEV |
| DNDM89TD32 | DNDM89TD32 | 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.06340#25BV |
| DNDRRM33FK | DNDRRM33FK | statement | record (an 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.13888#RWWZ |
| DNEHGPE7QV | DNEHGPE7QV | statement | record (an 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.13548#97QS |
| DNFB14W91Y | DNFB14W91Y | statement | record (an 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#3GSN |
| DNFYNTAN7S | DNFYNTAN7S | 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.13833#3W0L |
| DNG09WYFP9 | DNG09WYFP9 | statement | record (an 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#CFIV |
| DNG9SWCCCW | DNG9SWCCCW | statement | record (an 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#7CCU |
| DNGSSBT60Y | DNGSSBT60Y | 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.30579#I8WD |