deduction theorem

Summary

deduction theorem is a theorem^[1]. It draws 46 Wikipedia views per month (theorem category, ranking #231 of 1,306).^[2]

Key Facts

• deduction theorem's instance of is recorded as theorem^[3].
• deduction theorem's part of is recorded as list of theorems^[4].
• deduction theorem's Freebase ID is recorded as /m/02fkch^[5].
• deduction theorem's defining formula is recorded as E_1, E_2, ... , E_{n-1}, E_n \vdash S^[6].
• deduction theorem's MathWorld ID is recorded as DeductionTheorem^[7].
• deduction theorem's nLab ID is recorded as deduction theorem^[8].
• deduction theorem's maintained by WikiProject is recorded as WikiProject Mathematics^[9].
• deduction theorem's Microsoft Academic ID is recorded as 60485416^[10].

Why It Matters

deduction theorem draws 46 Wikipedia views per month (theorem category, ranking #231 of 1,306).^[2] It has Wikipedia articles in 13 language editions, a strong signal of global cultural recognition.^[11] It is known by 10 alternative names across languages and contexts.^[12]