logical proof, n.
proof of a logical theorem
<noun.communication>
logical proof
semantic pointers
hypernym
Word
proof of a logical theorem
<noun.communication>
logical proof
proof of a logical theorem
<noun.communication>
logical proof