BabelNet

bn:00026176n

Noun Concept

Categories: All articles containing potentially dated statements, Articles with short description, Articles containing potentially dated statements from 2011, Proof theory, Mathematical proofs

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)