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 2701–2800 of 13617.

NameIdKindOutcomeSources
deduction ruleNVGPF9WN2Aconceptopenlevin_dmoi index/4.1.3/deduction-rule
Deduction TheoremGEWZ5HNMPJstatementopenopen_logic content/first-order-logic/axiomatic-deduction/deduction-theorem-quantifiers.tex#thm:deduction-thm-q
Deduction TheoremK9XMBKJZBYstatementopenopen_logic content/first-order-logic/axiomatic-deduction/deduction-theorem.tex#thm:deduction-thm
deduction theoremVEW9AYW2SSstatementopenmathlib_1000 Q1182249, Wikidata Q1182249, thousand_plus Q1182249, Wikipedia Deduction theorem, MathWorld DeductionTheorem, nLab deduction theorem
Deduction theoremX36XPF18N8statementopenWikipedia List of theorems#MMNR
deduction theoremXAJAK7NKPKdefinitionopenWikipedia Glossary of logic#3V42
Deduction theoremZ0VH4BM497statementopenWikipedia List of mathematical logic topics#BPIV
Deduction theorem for LTP41Y2C31PZ6statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2303.14022#241H
Deduction, Induction, and Hypothesis (1878)CXMK26JB77statementopenWikipedia Abductive reasoning#FT8W
deductive argumentFY666NX8WNdefinitionopenWikipedia Glossary of logic#LIOF
Deductive closureZWA2YXE8KAdefinitionopenWikipedia Deductive closure, Wikidata Q4633743
Deductive completenessHSXJ6JXBJEunknownopenWikipedia Completeness (logic)#XBX7
deductive consequence84E3K7FCP8definitionopenWikipedia Glossary of logic#8G0W
deductive reasoningCCZ08Z51MTdefinitionopenWikidata Q484284, MathWorld Deduction, Wikipedia Deductive reasoning
deductive system4YJKWT4A9Bconceptopenhott_book index/A.1/deductive-system
Deductive systems for first-order logicCB29J5VQ1PunknownopenWikipedia First-order logic#3RQF
deductive validity8DQMDW96TXdefinitionopenWikipedia Glossary of logic#SGZ2
deductively equivalentBJT7DK6011definitionopenWikipedia Glossary of logic#J4RN
deductivismRB4T4QJM0AdefinitionopenWikipedia Glossary of logic#O1XY
DEE0YAYFXEDEE0YAYFXEstatementrecord (an 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.10819#SNF4
DEEMMK99BVDEEMMK99BVstatementrecord (an 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.21528#FPE1
deep8RMBSFXNYNdefinitionopenWikipedia Glossary of mathematical jargon#C02P
Deep backward stochastic differential equation methodT8HNJN1RHMdefinitionopenWikipedia Deep backward stochastic differential equation method, Wikidata Q127379802
Deep Belief NetworkBJB32X8VFNdefinitionopenWikipedia Unsupervised learning#AKU3
Deep belief networkYJ61XDX0NPdefinitionopenWikipedia Deep belief network, Wikidata Q16954980
Deep Boltzmann MachineYQCSHGV2ZGunknownopenWikipedia Boltzmann machine#32D1
Deep inferenceZCDN26X5X1definitionopenWikipedia Deep inference, Wikidata Q5250402
Deep link expansion6P1WEE0Q0Zstatementrecord (an 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.09506#QKYA
Deep link expansionQV6Q0H1BCXstatementrecord (an 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.09506#6L35
deep pointBAXAAEFPVEstatementrecord (an 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.14050#YBRG
Deep points and their componentsD3C236ZR14definitionrecord (an 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.25457#83BU
Deep webGMV8S0DXSFunknownopenWikipedia List of common misconceptions about science, technology, and mathematics#LWKJ
Deep-message necessityM17PXCKKENstatementrecord (an 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.39633#L8J6
DeepSeekGK39ZBDYRAdefinitionopenWikipedia DeepSeek, Wikidata Q131577453
DeepSeek-V4.1-FlashEKTDR0Q930unknownopenWikipedia DeepSeek#RJ2A
DEEW751C1XDEEW751C1Xdefinitionrecord (an 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.01912#Z5Z7
defY108DX4AVTdefinitionopenWikipedia Glossary of set theory#2M4S
DEF698DKM4DEF698DKM4proofopenlebl_scv scv.tex#proof-39
Default effectYT30TC8HD7unknownopenWikipedia List of cognitive biases#SJA7
Default logic282SABATPXdefinitionopenWikipedia Default logic, Wikidata Q842421
Defeasible logic2FPFTKW31BdefinitionopenWikipedia Defeasible logic, Wikidata Q542504
Defeasible reasoningZYD5T965FQdefinitionopenWikipedia Defeasible reasoning, Wikidata Q840067
defect7GW7CD8QDWstatementopenmathlib_1000 Q2533936, Wikidata Q2533936, thousand_plus Q2533936, MathWorld AngularDefect, Wikipedia Angular defect
defectFDZ8JZT8K6definitionopenWikipedia Glossary of commutative algebra#5ODA
Defect bounds9S56PGV164statementrecord (an 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.06739#2BME
Defect coloring of the forcersW11YFX1M3Fstatementrecord (an 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.30315#67XM
Defect congruencesMC1SB6WMRPstatementrecord (an 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.38993#BMKF
Defect formula for a smooth exceptional curve9A9H63VKRQstatementrecord (an 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.21093#0QX2
Defect formula for the constructed neighborhoodsSM52KVK2E6statementrecord (an 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.21093#K5BQ
Defect recursionT83N9BB4BVstatementrecord (an 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.12326#GTMJ
Defect-free quotient ruleJPS9MCJ9Y9statementrecord (an 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.20593#PNFF
Defect-seventeen rigidityYDCYAD7BBGstatementrecord (an 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.02216#LDGM
defective eigenvalueVA7AVJSJ7Bconceptopenlebl_diffyqs index/10.7.2/defective-eigenvalue
defective matrixYF7FFYB3KVdefinitionopenWikidata Q5251123, MathWorld DefectiveMatrix, Wikipedia Defective matrix
Defects control the errorPT6XB6KE1Xstatementrecord (an 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.22058#SMCS
Defects of idealsNEWG10N1DPstatementrecord (an 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.15262#YCY9
DEFEHVX2HEDEFEHVX2HEstatementrecord (an 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#EORH
Defeng Sun136C8QFMK3topicopenWikipedia Defeng Sun, Wikidata Q58320158
Defense Intelligence HeadquartersDBGRWKNZCMdefinitionopenWikipedia Defense Intelligence Headquarters, Wikidata Q2915133
Defensive attribution hypothesisNPCG0W7K5GunknownopenWikipedia List of cognitive biases#FB0M
Deferred shadingBCFYXB84WFunknownopenWikipedia List of computer graphics and descriptive geometry topics#UF9O
deficiency3838G1Z44QdefinitionopenWikipedia Glossary of commutative algebra#Q2VB
deficiencyDTVV94NTJTdefinitionopenWikipedia Glossary of classical algebraic geometry#FR5D
DeficiencyJRDDDXH3X4definitionopenWikipedia Deficiency (statistics), Wikidata Q124719131
DeficiencyN5ARXSZQ5GdefinitionopenWikipedia Deficiency (graph theory), Wikidata Q97184960
Deficiency (group theory)D04ZXSW5BQunknownopenWikipedia Presentation of a group#7SNE
Deficiency LemmaM0HK5YW0GZstatementrecord (an 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.16258#YAMZ
deficient matrix66SNP3PDZXconceptopenlebl_diffyqs index/10.7.2/deficient-matrix
deficient number11EPCM4WQCdefinitionnode (a node has the same name as the row)Wikidata Q467511, MathWorld DeficientNumber, OEIS A005100, ProofWiki Definition:Deficient_Number, Wikipedia Deficient number
Deficient number28HRY3GYMHdefinitionopenWikipedia List of recreational number theory topics#KURK
Definability and the KL propertyKH6SRDP9RYstatementrecord (an 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.28306#3QIQ
Definability of the ReconstructionDABM2W707Pstatementrecord (an 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.12239#5355
definableQ5MTAE46DZdefinitionopenWikipedia Glossary of set theory#0K61
Definable approximationsPQC3W2MK50definitionrecord (an 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#IVWU
Definable functionA9PV5DM5NBdefinitionrecord (an 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.03126#B90T
Definable number40K3WK9QYWdefinitionopenWikipedia List of computability and complexity topics#Z7EQ
Definable numberVPBBDF05AGdefinitionopenWikipedia List of types of numbers#PHOZ
Definable real numberE0B5EWR0W7definitionopenWikipedia Definable real number, Wikidata Q3893614
Definable real numberGH5KEC509DdefinitionopenWikipedia List of mathematical logic topics#KS3K, Wikipedia List of mathematical logic topics#XF0T
Definable set47WJATN7J1definitionopenWikipedia List of mathematical logic topics#O7RD
definable setQESKKWGKJ1unknownopenmathlib_overview Logic and computation > Model theory > definable set, Mathlib Set.Definable
Definable setQPJHK2KWC1definitionopenWikipedia Definable set, Wikidata Q2895824
Define9YW2VR6AGFstatementopenWikipedia BQP#6T26
DefineJ057CVQAV7statementopenWikipedia BQP#C1WG
DefineQYES563ZJ4definitionopenWikipedia List of mathematical abbreviations#Y9TW
defined overA9YYNA7ARAdefinitionopenWikipedia Glossary of representation theory#ZLC2
Definiendum2DGX4C5F9JunknownopenWikipedia Definition#I5D6
definiendum84BY8VZ3VMdefinitionopenWikipedia Glossary of Principia Mathematica#P7ZJ
definiendumNC6C9FVKXBdefinitionopenWikipedia Glossary of logic#58KJ
definiens6YTSTKN6AVdefinitionopenWikipedia Glossary of Principia Mathematica#AS7K
definiensJNHTTB3WMYdefinitionopenWikipedia Glossary of logic#QH3A
defining equationD07M4N93FMconceptopenhott_book index/4.1/defining-equation
Defining equationPG9NE6HBDJdefinitionopenWikipedia Defining equation (physical chemistry), Wikidata Q5251579
Defining functionPN1SKBJRJFstatementrecord (an 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.39409#GXU9
Defining function formulationE5ATY3DA7Zstatementrecord (an 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.17519#4975
Definist fallacy (logic)8S8BP85KVKunknownopenWikipedia Fallacies of definition#F43M
Definite bilinear form4MX4AJJ8Q3unknownopenWikipedia Definite quadratic form#2Y6C
Definite clause grammarMQ4R5GPCGCdefinitionopenWikipedia Definite clause grammar, Wikidata Q1582738
Definite conjugate forms without integralityFWK97X8BWQexamplerecord (an 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.25805#XIN2
definite description4K0FTAWQXCunknownopenWikidata Q265469, nLab definite description