| De Gua's theorem | 36N6E73890 | statement | open | Wikipedia Trirectangular tetrahedron#RRC0 |
| De Gua's theorem | 9HF4E4TPDP | statement | open | mathlib_1000 Q1202608, Wikidata Q1202608, thousand_plus Q1202608, Wikipedia De Gua's theorem, MathWorld deGuasTheorem |
| De Institutione Musica | FM7PM1PF20 | unknown | open | Wikipedia Boethius#FAAF |
| de La Vallée Poussin | QK594HF8H9 | statement | record (an 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.26645#6HZH |
| De Laval nozzle | 3H306E5X10 | definition | open | Wikipedia De Laval nozzle, Wikidata Q902354 |
| De Longchamps point | 1Y9X3E41R3 | definition | open | Wikipedia List of triangle topics#N5EB |
| de Longchamps point | ZPCZT9FK8N | definition | open | Wikidata Q1807042, MathWorld deLongchampsPoint, Wikipedia De Longchamps point |
| De Moivre's formula | N924Q0N7X8 | statement | open | Wikipedia List of exponential topics#HJWU |
| De Moivre's formula | R2GB20RXGE | statement | open | Wikipedia Abraham de Moivre#0GR7 |
| de Moivre's formula | XBG390VY47 | statement | node (a node has the same Wikidata item as the row) | mathlib_100 17, Mathlib Complex.cos_add_sin_mul_I_pow, mathlib_1000 Q190556, Wikidata Q190556, thousand_plus Q190556, Wikipedia De Moivre's formula, MathWorld deMoivresIdentity, ProofWiki De_Moivre's_Formula |
| De Moivre's law | 7B7T06Z684 | statement | open | Wikipedia List of statistics articles#LX5J |
| De Moivre's law | BDDTGH8BKN | statement | open | Wikipedia De Moivre's law, Wikidata Q5244630 |
| De Moivre's theorem | NV4B210HZJ | statement | open | Wikipedia List of theorems#WNCB |
| De Moivre–Laplace theorem | 537V325AAT | statement | open | Wikipedia List of statistics articles#21XZ |
| De Moivre–Laplace theorem | SAP4CASGP0 | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q1855610, Wikidata Q1855610, thousand_plus Q1855610, Wikipedia Theorem of de Moivre–Laplace, MathWorld deMoivre-LaplaceTheorem, Wikipedia De Moivre–Laplace theorem |
| De moneta | Z0H71JQVT4 | unknown | open | Wikipedia Nicole Oresme#QBE0 |
| De Morgan algebra | PQ4H6KECNH | definition | open | Wikidata Q5244640, nLab De Morgan algebra, Wikipedia De Morgan algebra |
| De Morgan algebra | YR5PRCAACR | definition | open | Wikipedia List of Boolean algebra topics#7LNA |
| De Morgan dual | MAMTMQXF3T | unknown | open | Wikipedia De Morgan's laws#M2IK |
| De Morgan duality | F8ZV4HCAKY | definition | open | Wikipedia Glossary of logic#KHBB |
| De Morgan Medal | 6R0S8D1A8A | definition | open | Wikipedia De Morgan Medal, Wikidata Q507299 |
| De Morgan negation | PEQDWQ6JT6 | definition | open | Wikipedia Glossary of logic#MXPD |
| De Morgan's Law | 76G5PCENYZ | statement | open | ernst_ibl MAAPressVersion/IntroToLogic.tex#thm:De Morgan |
| De Morgan's law | J3E90VZBJ9 | statement | open | Wikipedia Relaxed intersection#MUGL |
| De Morgan's law | KCQ35N2J14 | statement | open | Wikipedia Vector logic#4UQ5 |
| De Morgan's Law | MD7TM43AKY | statement | open | ernst_ibl MAAPressVersion/Sets.tex#theorem-5 |
| De Morgan's Law | Z8J8TVZDN5 | exercise | open | ernst_ibl MAAPressVersion/IntroToLogic.tex#prob:De Morgan |
| De Morgan's laws | 63C6ABFCEE | statement | open | Wikipedia Conjunction/disjunction duality#JVIS |
| De Morgan's laws | HW5C0SEJTF | statement | node (a node has the same Wikidata item as the row) | Wikidata Q173300, EoM De_Morgan_laws, MathWorld deMorgansLaws, Wikipedia De Morgan's laws |
| De Morgan's laws | NAFAVTZNJS | statement | open | Wikipedia List of Boolean algebra topics#0I3M |
| De Morgan's laws | NNXW644W3F | statement | open | Wikipedia Propositional formula#3MKY |
| De Morgan's laws | PBWYRE2J7E | concept | open | levin_dmoi index/4.1.2/de-morgan-s-laws |
| de Morgan's laws | V3D33NFC8M | concept | open | hott_book index/A.11/de-morgan-s-laws |
| De Morgan's laws for quantifiers | W72RTEJDHC | unknown | open | Wikipedia De Morgan's laws#SHP2 |
| De Morgan's rules | CP5QXEZDRB | definition | open | Wikipedia Glossary of logic#6VZN |
| De Morgan, Augustus | AP4JDXWFMM | topic | open | Wikipedia List of Boolean algebra topics#39UR |
| De mundi systemate | PC929DEV9B | unknown | open | Wikipedia Philosophiæ Naturalis Principia Mathematica#HUPA |
| De Nive Sexangula | 1A2Y884RHQ | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q4328876, ProofWiki Book:Johannes_Kepler/De_Nive_Sexangula |
| De Nive Sexangula | Y89PW9XGBG | unknown | open | Wikipedia Johannes Kepler#9TFX |
| De Nullitate Magiae | G7FQ5WXHGG | unknown | open | Wikipedia Roger Bacon#WJWR |
| De numeris triangularibus et inde de progressionibus arithmeticis: Magisteria magna | 58BE972RKE | definition | open | Wikipedia De numeris triangularibus et inde de progressionibus arithmeticis: Magisteria magna, Wikidata Q85755973 |
| De Pagter's theorem | BSV8Y6KN3D | statement | open | Wikipedia Krein–Rutman theorem#E7RH |
| De plantis | E6GXHS19DZ | unknown | open | Wikipedia List of works by Averroes#WER5 |
| De Polignac number | 9CR0YBDMMJ | unknown | open | Wikipedia Riesel number#OCB6 |
| De Polignac's formula | XY0SFFR77V | statement | open | Wikipedia List of factorial and binomial topics#DPGX |
| De prospectiva pingendi | 64YPZZ8071 | definition | open | Wikipedia De prospectiva pingendi, Wikidata Q3704153 |
| De quinque corporibus regularibus | X9J0WHADH9 | definition | open | Wikipedia De quinque corporibus regularibus, Wikidata Q3704155 |
| De rerum natura | XM9FZ0HT3E | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q861986, ProofWiki Book:Lucretius/De_Rerum_Natura |
| De revolutionibus orbium coelestium | E5FNM729P2 | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q845981, ProofWiki Book:Nicolaus_Copernicus/De_Revolutionibus_Orbium_Coelestium |
| de Rham | CRX78HSX6H | definition | open | Wikipedia Glossary of algebraic topology#RWIF |
| de Rham cohomology | HVK10KNP5W | statement | open | mathlib_1000 Q1179446, Wikidata Q1179446, thousand_plus Q1179446, Wikipedia De Rham's theorem, MathWorld deRhamCohomology, nLab de Rham complex, Wikipedia De Rham cohomology |
| de Rham cohomology | TF87XSJNFS | example | open | napkin tex/homology/cohomology.tex#example-1 |
| De Rham cohomology | Z4FDM0DW91 | definition | open | Wikipedia List of differential geometry topics#89JU, Wikipedia List of differential geometry topics#R8JG, Wikipedia List of algebraic topology topics#BV66 |
| De Rham curve | 2E3ZCAY4PS | definition | open | Wikipedia De Rham curve, Wikidata Q5244711 |
| De Rham curve | SEXS4QVKAE | definition | open | Wikipedia List of chaotic maps#KCL0, Wikipedia List of mathematical shapes#C3YL, Wikipedia List of curves#ZXF0 |
| De Rham invariant | KF05XJW1W5 | definition | open | Wikipedia De Rham invariant, Wikidata Q5244714 |
| De Rham theorem | 203YKMGJM1 | statement | open | Wikipedia De Rham theorem, Wikidata Q129064812 |
| De Rham theorem | Z3JK5M9X2N | statement | open | Wikipedia De Rham cohomology#2V91 |
| De Rham's theorem | 7ECH1XNFNQ | statement | open | Wikipedia List of theorems#32VT |
| De Rham–Weil theorem | 9ZX64K9YWA | statement | open | Wikipedia De Rham–Weil theorem, Wikidata Q5244715 |
| De Rham–Weil theorem | NM8GRWZ5SX | statement | open | Wikipedia List of things named after André Weil#K5O6 |
| De Sitter space | CS33KPJ7V6 | object | open | Wikipedia De Sitter space, Wikidata Q1179448 |
| De Sitter space | DZMGG5ENS4 | object | open | Wikipedia List of mathematical topics in relativity#H8Y6 |
| De Sitter universe | J43SVHX5DP | definition | open | Wikipedia De Sitter universe, Wikidata Q3036474 |
| De Thiende | 6D91CXY1PM | definition | out_of_scope (a book, not an item of mathematics) | Wikidata Q4414473, ProofWiki Book:Simon_Stevin/De_Thiende, Wikipedia De Thiende |
| De Topicis Differentiis | HYS92Y7ZCW | unknown | open | Wikipedia Boethius#RFIV |
| De Vaucouleurs's law | 7AA7F37EFJ | statement | open | Wikipedia De Vaucouleurs's law, Wikidata Q1179455 |
| De vetula | X50HC3GDBG | definition | open | Wikipedia De vetula, Wikidata Q5244991 |
| De vi Centrifuga | VV91J19TM0 | unknown | open | Wikipedia Christiaan Huygens#EF51 |
| DE-9IM | 1YCBHS822B | definition | open | Wikipedia DE-9IM, Wikidata Q5204755 |
| De-sparsified lasso | FEGRBYM6PB | definition | open | Wikipedia De-sparsified lasso, Wikidata Q25303914 |
| DE03JNQB1Z | DE03JNQB1Z | statement | record (an 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#2SS9 |
| DE03KWQXCE | DE03KWQXCE | statement | record (an 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.33027#6MJH |
| DE0C9G8PPQ | DE0C9G8PPQ | statement | record (an 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.12047#DLAY |
| DE0CGMV70S | DE0CGMV70S | statement | record (an 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.33050#PMFH |
| DE0G946F95 | DE0G946F95 | statement | record (an 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.04876#O2UT |
| DE0K6QMPPP | DE0K6QMPPP | statement | record (an 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.32439#80BT |
| DE169AF2DT | DE169AF2DT | statement | record (an 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.16844#BB6S |
| DE1KQ498T1 | DE1KQ498T1 | statement | record (an 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.22825#KY63 |
| DE1R3FPAYN | DE1R3FPAYN | statement | record (an 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.19882#6MKX |
| DE1V7QR73R | DE1V7QR73R | 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.20516#XQDE |
| DE2S9MGNQG | DE2S9MGNQG | statement | record (an 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.35574#N0LJ |
| DE358QG8NJ | DE358QG8NJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0808.1331#H7U2 |
| DE39AM8180 | DE39AM8180 | proof | open | open_logic content/first-order-logic/beyond/intuitionistic-logic.tex#proof-1 |
| DE3VZ9TM9M | DE3VZ9TM9M | 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.15631#87QS |
| DE4V2DP1P9 | DE4V2DP1P9 | statement | record (an 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.18673#O8MA |
| DE52GVTTTC | DE52GVTTTC | statement | record (an 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.34856#5FRS |
| DE5VS5GXSA | DE5VS5GXSA | statement | record (an 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.39700#0DOP |
| DE5ZQ75534 | DE5ZQ75534 | 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 2411.01837#QRNY |
| DE615NTBEG | DE615NTBEG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2204.01073#MQLG |
| DE6DT3HG5A | DE6DT3HG5A | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0807.1652#XLC5 |
| DE7PKF89RM | DE7PKF89RM | statement | record (an 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.19449#A2YK |
| DE9M1177T5 | DE9M1177T5 | exercise | open | austin_ula src/section4-4.xml#activity-1 |
| DE9SWW1X5F | DE9SWW1X5F | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2501.17276#P5PN |
| DE9W56CETZ | DE9W56CETZ | statement | record (an 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.33578#V0E3 |
| Dead-beat control | 4KG90J1Z8R | definition | open | Wikipedia Dead-beat control, Wikidata Q5245465 |
| Dead-zone quantizer | BB52Y4PTWJ | unknown | open | Wikipedia Quantization (signal processing)#82C6 |
| Deadbeat control under additive disturbances | 8TSX1ZXRFM | 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.00660#VEBA |
| Deaf in STEM fields | TAJ891QBNW | definition | open | Wikipedia Deaf in STEM fields, Wikidata Q118904832 |
| DEAF06GJX1 | DEAF06GJX1 | statement | record (an 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.31104#R8K2 |