proof-n
type: LexicalEntry
canonical form: proof
sense: 06660359-n
part of speech: noun

06660359-n
type: LexicalConcept
in scheme: en-word.net
definition: a formal series of statements showing that if one thing is true something else necessarily follows from it
ili: i71412
lexfile: noun.communication
part of speech: noun
domain topic: 06173467-n
domain topic: 06009822-n
hypernym: 06661469-n