logical proof (n)

n06647960

type n
lex_filenum 10
def proof of a logical theorem
Outgoing links
Hypernym proof
Incoming links
Hyponym proof

Back to the index

Click for the XML entry