deduction theorem
type: Item
Freebase ID: /m/02fkch
instance of: theorem
defining formula: E 1 , E 2 , ... , E n − 1 , E n ⊢ S
Microsoft Academic ID: 60485416
nLab ID: deduction theorem
MathWorld ID: DeductionTheorem
part of: list of theorems
Wikidata QID: Q1182249
label: Deduktionstheorem @de
description: theorem
description: mathematischer Satz @de
alternative label: Folgerungstheorem @de