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 3501–3600 of 4710.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| DNHC5AAMPS | DNHC5AAMPS | statement | record (an 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.27023#XACO |
| DNHE7CDB4S | DNHE7CDB4S | statement | record (an 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#IFXA |
| DNHQ2S6236 | DNHQ2S6236 | statement | record (an 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.22218#QAWV |
| DNJVJARTT2 | DNJVJARTT2 | exercise | open | lebl_ra ch-seq-ser.tex#exercise-80 |
| DNJZV9WVNE | DNJZV9WVNE | statement | record (an 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.01818#RXBN |
| DNKH2HWA1Z | DNKH2HWA1Z | 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.20050#UL3Z |
| DNKP5R36QQ | DNKP5R36QQ | statement | record (an 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.04164#2KKF |
| DNKPQW09KS | DNKPQW09KS | statement | record (an 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.05829#BZOO |
| DNM18D7MFA | DNM18D7MFA | proof | open | napkin tex/set-theory/ordinal.tex#proof-3 |
| DNM4HGY2YN | DNM4HGY2YN | statement | open | open_logic content/set-theory/ord-arithmetic/addition.tex#ordsumlessiswo |
| DNM9KGMRAK | DNM9KGMRAK | statement | record (an 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.10452#I1FP |
| DNME9MXK9M | DNME9MXK9M | 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.02017#2Q25 |
| DNMKVRSW3H | DNMKVRSW3H | 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 2206.05392#YLKS |
| DNMQGGA9WA | DNMQGGA9WA | statement | record (an 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.17677#CZAH |
| DNPD49JFKB | DNPD49JFKB | 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.27078#R705 |
| DNPJ53QZB1 | DNPJ53QZB1 | statement | record (an 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#3BZA |
| DNPP0Z614T | DNPP0Z614T | statement | record (an 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.12716#9E99 |
| DNPTFFG27C | DNPTFFG27C | 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.10930#NZ3J |
| DNQ0TNH3EP | DNQ0TNH3EP | statement | record (an 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.10262#0JC4 |
| DNQBEXZ0PJ | DNQBEXZ0PJ | 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 2512.16003#XFAI |
| DNQMHQC73F | DNQMHQC73F | statement | record (an 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#CD9J |
| DNR0FYMEYG | DNR0FYMEYG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1103.1038#P96K |
| DNR4NEQKW8 | DNR4NEQKW8 | statement | record (an 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.31604#AQNX |
| DNR9VXEF88 | DNR9VXEF88 | proof | open | open_logic content/set-theory/card-arithmetic/expotough.tex#proof-1 |
| DNSAJ76B1F | DNSAJ76B1F | statement | record (an 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.17677#GHIY |
| DNSJXZR87B | DNSJXZR87B | 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 1705.04310#DKN2 |
| DNSKGHMFMR | DNSKGHMFMR | 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.36423#4GYM |
| DNSSYTR6Q8 | DNSSYTR6Q8 | example | open | lebl_scv scv.tex#example:noextend |
| DNSXSJJMTE | DNSXSJJMTE | 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.28141#S2ET |
| DNT7GCH3BC | DNT7GCH3BC | statement | record (an 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.22636#X384 |
| DNT9DZ962Y | DNT9DZ962Y | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2304.02722#V0G8 |
| DNTB6N0J4P | DNTB6N0J4P | statement | record (an 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.00358#ZAA0 |
| DNTYK0QFQA | DNTYK0QFQA | statement | record (an 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.24463#227V |
| DNVEJ1GCMG | DNVEJ1GCMG | statement | record (an 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#ASH1 |
| DNVEZDNPE3 | DNVEZDNPE3 | statement | record (an 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.27023#SA6P |
| DNVVFB3AXB | DNVVFB3AXB | unknown | open | |
| DNWYCS5T9K | DNWYCS5T9K | 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.25168#7RYV |
| DNX3T263P0 | DNX3T263P0 | statement | record (an 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.04608#E76T |
| DNX6GCAQR7 | DNX6GCAQR7 | statement | record (an 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.19455#EON4 |
| DNXJM9FB5Z | DNXJM9FB5Z | statement | record (an 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.25106#E7Z6 |
| DNXKFR24MW | DNXKFR24MW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2507.05417#6DVO |
| DNXQXWCMMK | DNXQXWCMMK | 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.10840#QHWN |
| DNXZBX6FRR | DNXZBX6FRR | 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.10505#CUQ6 |
| DNXZZ8MRHC | DNXZZ8MRHC | proof | open | lebl_ra ch-der.tex#proof-12 |
| DNY09EB9BZ | DNY09EB9BZ | 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.33856#S8GD |
| DNYGC8XX8W | DNYGC8XX8W | statement | record (an 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.01216#IJ9L |
| DNZ2WYE3A6 | DNZ2WYE3A6 | definition | open | active_calculus source/sec-5-1-antid-graphs.xml#definition-1 |
| DNZ7Z35ZY3 | DNZ7Z35ZY3 | 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.25004#JWHV |
| Dobrushin | M4QNKGEBTW | statement | record (an 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#1VWX |
| Dobrushin coefficient | MZAJ2M1WHS | 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.14988#VWAQ |
| Dobrushin uniqueness implies the tree--graph bound | E7YPWV3B3Z | statement | record (an 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#YAD2 |
| Doctor Who | MT9BFTTEXA | concept | open | levin_dmoi index/1.3/doctor-who |
| dodecadodecahedron | 4SDR46MBTP | object | open | Wikidata Q3033696, MathWorld Dodecadodecahedron |
| dodecagon | V4CEDKNHCY | unknown | open | Wikidata Q212074, MathWorld Dodecagon |
| dodecagonal number | BYJYVZ1FPN | object | open | Wikidata Q1081248, OEIS A051624 |
| dodecagram | QS38C8PE9X | unknown | open | Wikidata Q3033697, MathWorld Dodecagram |
| dodecahedral graph | ZER724YR0Y | unknown | open | Wikidata Q3115552, House of Graphs 1043, MathWorld DodecahedralGraph |
| dodecahedral number | MSR5902NGW | object | open | Wikidata Q13825533, OEIS A006566 |
| dodecahedron | KVG5JCTQ2Q | unknown | open | Wikidata Q178296, EoM Dodecahedron, MathWorld Dodecahedron, nLab dodecahedron |
| dodecahedron | T4BCW0K3W9 | concept | open | levin_dmoi index/5.3.2/dodecahedron |
| Dodgson condensation | 425FFH2Y28 | concept | open | Wikidata Q4230490, MathWorld Condensation |
| Doeblin and Dobrushin coefficients | XDF3J0QTSP | statement | record (an 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.14988#VQ1X |
| Doeblin's condition | 8QWDMCWKR1 | statement | record (an 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.32585#0ADO |
| Dolbeault | 6F2MT2FK13 | statement | record (an 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.24943#64QE |
| Dolbeault cohomology | 84QZ43TK35 | unknown | open | Wikidata Q1235317, nLab Dolbeault cohomology |
| Dolbeault--Grothendieck | 661X8F0Z2D | statement | open | lebl_scv scv.tex#lemma:dolgro |
| Dold | R528JM6AZG | statement | record (an 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.19729#E25S |
| Dold–Kan correspondence | MXQFQ2YT3E | unknown | open | Wikidata Q16962174, nLab Dold-Kan correspondence |
| Dold–Thom theorem | 1N2C7S934N | statement | open | Wikidata Q3527062, nLab Dold-Thom theorem |
| domain | MY9WWH6N7J | concept | open | levin_dmoi index/1.4/domain |
| domain | PRJ7DR6MT8 | concept | open | active_calculus index/2.6.2/domain |
| domain decomposition methods | 737JV0EZ9B | topic | open | Wikidata Q5289813 |
| domain of a function | Z1BFF817EG | concept | node (a node has the same Wikidata item as the row) | Wikidata Q192439, MathWorld Domain |
| Domain of bounded formulas | TM8Q3YFN2N | 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 2506.08233#KOVC |
| domain of holomorphy | QNZK124R14 | unknown | open | Wikidata Q1625065, EoM Domain_of_holomorphy, nLab domain of holomorphy |
| Domain of the $\mathfrak{b}$-to-$\mathfrak{b}$ mapping $\widehat{\mathfrak{P}}$ | 6HRH95PWRG | 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 2512.24812#U1EO |
| Domain splitting | 60HNJB82PD | statement | record (an 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.03865#VKFO |
| domain theory | NC2E3FZP9V | unknown | open | Wikidata Q1079166, nLab domain theory |
| domain with smooth boundary | Z1589TBXQ0 | concept | open | lebl_scv index/2.2/domain-with-smooth-boundary |
| domain, of a constructor | 7TM53BXWJX | concept | open | hott_book index/8.6/domain-of-a-constructor |
| domain, of a function | K8BW5WV7ZW | concept | open | hott_book index/A.2/domain-of-a-function |
| Domains | HH03JK2AD9 | 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/0003117#5PW4 |
| Domains | S4SSKMZ0E7 | unknown | open | |
| domatic number | TV1AERB9GG | unknown | open | Wikidata Q3343067, MathWorld DomaticNumber |
| Domenico Giulini | CANYMPYTX4 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q57073325, nLab Domenico Giulini |
| Dominance | 8G2CWYRFMG | statement | record (an 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.27830#4DA4 |
| Dominance and generic finiteness of the likelihood projection | RHASBEDANY | statement | record (an 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.19669#V8L4 |
| Dominance of the flat direction | S0NRRJAD5W | statement | record (an 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.30957#JIOM |
| Dominant breakpoint | H4WPYAR1Q2 | 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.12271#OM5H |
| Dominant quadratic roots | ATSFP1CBMP | statement | record (an 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.09912#ZXLQ |
| dominated convergence theorem | 7X2VAD97KN | statement | open | mathlib_1000 Q1067156, Mathlib MeasureTheory.tendsto_integral_of_dominated_convergence, Wikidata Q1067156, mathlib_1000 Q1067156X, Mathlib MeasureTheory.FiniteMeasure.tendsto_lintegral_nn_of_le_const, Mathlib MeasureTheory.tendsto_lintegral_nn_filter_of_le_const, mathlib_overview Analysis > Measures and integral calculus > dominated convergence theorem, mathlib_undergrad Measures and integral calculus > Integration > dominated convergence theorem, thousand_plus Q1067156, Wikipedia Dominated convergence theorem, thousand_plus Q1067156X, Wikipedia Bounded convergence theorem, MathWorld LebesguesDominatedConvergenceTheorem, ProofWiki Lebesgue's_Dominated_Convergence_Theorem |
| Dominated convergence theorem | Y8JEG6DSAT | statement | open | lebl_scv scv.tex#thm-48 |
| Dominated convergence theorem | YXJ4A1N8GM | concept | open | lebl_scv index/E.1/dominated-convergence-theorem |
| Dominating algebra exists in small dimensions | JAPDJX7V9T | statement | record (an 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.40054#OLUX |
| Dominating and maximal transmittable algebras | WG4J2QKN5W | 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.40054#FG9P |
| Dominating Hadwiger | 3JKHK0KN8X | 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.35361#5TMO |
| Domination and surrogate exp-concavity | 5RMN5HA6CK | statement | record (an 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.20187#XDCT |
| Domination and the generic function | B3BM6CFQP3 | 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.09086#UY5F |
| Domination by $2$-groups of class $2$ | RHM34C7R88 | statement | record (an 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.14509#RJ8P |
| Domination Elliptic Sombor Index | JJK1VN0754 | 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.10221#569I |