Math 2.0

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.

Rows 12101–12200 of 13617.

NameIdKindOutcomeSources
Douglas' lemmaYZX87KDRVQstatementopenWikipedia Douglas' lemma, Wikidata Q5301141
Douglas' theorem and the Helmholtz conditionsTAETJMVCDNstatementopenWikipedia Inverse problem for Lagrangian mechanics#P5P9
Dov DoriBPTSZC9ZK3unknownopenWikipedia List of people by Erdős number#ZADV
Dov Gabbay1P65D8QEA4topicopenWikipedia List of Jewish mathematicians#AA53
Dov GabbayG63VYD0DC9topicopenWikipedia List of people by Erdős number#P7PV
Dov GabbayJR172WX85DtopicopenWikipedia Dov Gabbay, Wikidata Q220076
Dov GabbayX4ZFSS6XV7topicopenWikipedia List of logicians#5T6T
Dov Gabbay PrizeSD6RZ06E5SunknownopenWikipedia Dov Gabbay#2GVH
Dov Jarden7GXG6B70KBunknownout_of_scope (a person, not an item of mathematics)Wikidata Q12405644, ProofWiki Mathematician:Dov_Jarden
Dov TamariEW3Z7BPCKAunknownopenWikipedia List of people by Erdős number#GEML
Dov TamariF86J0PR3WSunknownopenWikipedia List of Jewish mathematicians#EPHY
DoverJWREJWMFQRunknownopenWikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#Y920
DoverN5QJGF9061unknownopenWikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#3B0O
Dovid Gottlieb6SAZAC96BTunknownopenWikipedia List of Jewish mathematicians#LZJK
DowkerBNMKQYY99Mstatementrecord (an 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.04559#8QME
Dowker FiltrationK79NF20SZKdefinitionrecord (an 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.04559#5AJU
Dowker spaceQCAY391SDFdefinitionopenWikipedia Glossary of general topology#O4DJ
Dowker spaceXQM3CF8HR9conceptopenWikidata Q5302693, nLab Dowker space, Wikipedia Dowker space
Dowker's theoremWKKN490K5Aexamplerecord (an 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.15099#GMJT
Dowker–Thistlethwaite notation285EWSQEZEdefinitionopenWikipedia List of knot theory topics#BEXS
Dowker–Thistlethwaite notationQ5DGWF6YGFdefinitionopenWikidata Q5302692, MathWorld DowkerNotation, Wikipedia Dowker–Thistlethwaite notation
Dowling geometry3HGSZ6HN74definitionopenWikipedia Dowling geometry, Wikidata Q5302749
down quarkTJS2YX4CS3unknownopenWikidata Q6745, nLab down quark
down setSD5MEV3W09conceptopenapplied_combinatorics index/6.3/down-set
down-coneCTT8AK7W8Gexamplerecord (an 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.15099#7T8P
Downgrade attack565KF5MKDTdefinitionopenWikipedia Downgrade attack, Wikidata Q20707942
DownscalingCGFM3SE6WCdefinitionopenWikipedia Downscaling, Wikidata Q682831
Downward entailingPXZSPD8N9DdefinitionopenWikipedia Downward entailing, Wikidata Q5303629
downward Löwenheim–Skolem theoremN6N09N06YTdefinitionopenWikipedia Glossary of logic#EIG4
Down}stream expansion rate estimate for $\mathrm{md}^{-\delta} \circ F$ZN9F04GVXGstatementrecord (an 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.10051#XZJK
Doxastic logic985Q2ZGEFNdefinitionopenWikipedia Doxastic logic, Wikidata Q669180
doxastic modal logic9BFQGV4DPGdefinitionopenWikipedia Glossary of logic#TG4A
Doyle spiralB39HCSN97HdefinitionopenWikipedia Doyle spiral, Wikidata Q97353999
dozenH4TBK8Y0TRunknownopenWikidata Q605704, MathWorld Dozen
Dozenal Society of America7X2XJDYZ30unknownopenWikipedia Duodecimal#1UTA
DP07B3SA3DDP07B3SA3Dstatementrecord (an 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.01411#RM8M
DP0E1YEHDVDP0E1YEHDVexampleopenlebl_diffyqs ch-systems.tex#example-20
DP0ZK5H15QDP0ZK5H15Qstatementopenopen_logic content/incompleteness/incompleteness-provability/fixed-point-lemma.tex#lem:fixed-point
DP17MQPVTADP17MQPVTAstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1011.5443#EHFT
DP22S6WQMRDP22S6WQMRstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2311.16252#KG7J
DP2449978EDP2449978Estatementrecord (an 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#YZXI
DP26KEJ4TKDP26KEJ4TKstatementrecord (an 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.03336#SDHU
DP2KA76C7RDP2KA76C7Rstatementrecord (an 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.23128#UMVA
DP484QC9Z1DP484QC9Z1statementrecord (an 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.01928#GGKF
DP4PN3YXG9DP4PN3YXG9statementrecord (an 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.05539#23V7
DP4VHTZEZ4DP4VHTZEZ4statementrecord (an 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.24577#AEXY
DP4ZSM82P3DP4ZSM82P3statementrecord (an 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.05499#N138
DP6JP69XDPDP6JP69XDPstatementrecord (an 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.20140#BWXV
DP6JR90QW8DP6JR90QW8statementrecord (an 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.37606#43GN
DP6RAPW05ZDP6RAPW05Zdefinitionrecord (an 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.39948#IIKF
DP71KF4Y05DP71KF4Y05statementrecord (an 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.40260#MA9W
DP74GS6ZA5DP74GS6ZA5statementrecord (an 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.33162#ZHDA
DP7KGVRGBWDP7KGVRGBWstatementrecord (an 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.29152#8DPM
DP7QXP09DQDP7QXP09DQstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2312.14445#H3CP
DP7R4TGK76DP7R4TGK76statementrecord (an 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.15454#Q0NX
DP7V5CD6JCDP7V5CD6JCstatementrecord (an 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.15010#WMRZ
DP7VKH7RSPDP7VKH7RSPexerciseopennapkin tex/alg-NT/dedekind.tex#exercise-3
DP98HRBDHNDP98HRBDHNstatementrecord (an 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.37520#0H9W
DPAC2356QADPAC2356QAstatementrecord (an 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.21116#CQBD
DPAEXGGM46DPAEXGGM46statementrecord (an 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.04317#4Q6V
DPAJ4NK9MMDPAJ4NK9MMstatementrecord (an 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.00856#MPO3
DPANDTKD5NDPANDTKD5Nstatementrecord (an 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.38742#9EHF
DPBBACBT4QDPBBACBT4Qstatementrecord (an 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.08370#I6AH
DPC31M1B0JDPC31M1B0Jexampleopennapkin tex/diffgeo/forms.tex#example-4
DPCZK34QTVDPCZK34QTVstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2102.12931#ONWU
DPDA68MDY5DPDA68MDY5examplerecord (an 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.23106#BVA7
DPDJ0XMD81DPDJ0XMD81proofopenopen_logic content/incompleteness/arithmetization-syntax/coding-formulas.tex#proof-1
DPDXA8G1S8DPDXA8G1S8statementrecord (an 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.04600#ZDEA
DPE772Q4ZBDPE772Q4ZBstatementrecord (an 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.08976#UHS5
DPEJAY7HAXDPEJAY7HAXstatementrecord (an 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.31979#WP8K
DPFA87P5V8DPFA87P5V8problemrecord (an 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#FCA6
DPFCXM07K9DPFCXM07K9conjecturerecord (an 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.27360#8D91
DPG6VSZZMJDPG6VSZZMJproofopennapkin tex/homology/excision.tex#proof-4
DPGZXGZX25DPGZXGZX25statementrecord (an 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.23128#WL6V
DPHCQNM2CTDPHCQNM2CTstatementrecord (an 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.08039#ZHA3
DPHD8DXD7DDPHD8DXD7Dstatementrecord (an 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.40189#OW4L
DPJ4NRYDJNDPJ4NRYDJNstatementrecord (an 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#BOFA
DPJ8CRAKK5DPJ8CRAKK5statementrecord (an 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.38532#LXQY
DPK97F6558DPK97F6558definitionopenopen_logic content/turing-machines/undecidability/halting-problem.tex#defn-3
DPKD81ZVGGDPKD81ZVGGstatementrecord (an 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.27641#U7KV
DPKZWJZZX6DPKZWJZZX6statementrecord (an 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.27673#5A0M
DPLL algorithm217JWT2N1DdefinitionopenWikipedia DPLL algorithm, Wikidata Q2030088
DPLL(T)FPJ3GTZ9RGdefinitionopenWikipedia DPLL(T), Wikidata Q65064127
DPM3X75AATDPM3X75AATexerciseopenlebl_diffyqs ch-fourier-and-pde.tex#exercise-67
DPMGHMR4K4DPMGHMR4K4statementrecord (an 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.38567#D3B6
DPN2D1WNKKDPN2D1WNKKstatementrecord (an 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.19451#CMRV
DPNA5Z217ZDPNA5Z217Zdefinitionrecord (an 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.05499#W77A
DPNZHDQWGADPNZHDQWGAexerciseopenlebl_scv scv.tex#exercise-167
DPP $\Theta_k$ on $(X,\phi)$H8KDSQV0QHdefinitionrecord (an 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.17669#2GUD
DPP ordered trace and conditional unordered descent8A3R9N7FZ5statementrecord (an 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.27799#VRCX
DPP-compatible monoidal logarithmic functionsP63G8T9768definitionrecord (an 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.27799#KQ53
DPPDEFG5E9DPPDEFG5E9definitionopenopen_logic content/set-theory/ord-arithmetic/multiplication.tex#defn-1
DPPEH54FYSDPPEH54FYSstatementrecord (an 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.21305#JZMU
DPPRXFGD91DPPRXFGD91exerciseopenaustin_ula src/exercises/exercises1-3.xml#exercise-2
DPQ2HPNPH2DPQ2HPNPH2proofopenhott_book reals.tex#proof-23
DPQ77XV6BWDPQ77XV6BWstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2511.17751#SVL5
DPQ939HVSRDPQ939HVSRstatementopenapplied_combinatorics source/s_graphs_color.ptx#thm_graphs_bipartite
DPQKXN9218DPQKXN9218exerciseopenlebl_diffyqs ch-higher-order-ode.tex#exercise-59
DPR062G8TKDPR062G8TKstatementrecord (an 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.18287#1G4Q
DPR48W9P9NDPR48W9P9Nstatementrecord (an 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.12736#MGMP