BabelNet

bn:00026176n

Noun Concept

Categories: Mathematical logic, Sources of knowledge, Mathematical terminology, Articles containing potentially dated statements from 2011, All articles containing potentially dated statements

demonstration monstrance

Proof by a process of argument or a series of proposition proving an asserted conclusion WordNet 3.0

Definitions

Relations

Sources

Proof by a process of argument or a series of proposition proving an asserted conclusion WordNet 3.0 & Open English WordNet

IS A

proof

HAS KIND

proof by contrapositive

proof without words

proof by contradiction

automated theorem proving

computer-assisted proof

WordNet 3.0 & Open English WordNet

demonstration, monstrance

Wikipedia Redirections

demonstration (proof)