bn:00092110v
Verb Concept
SYL
No term available
EN
Prove formally; demonstrate by a mathematical, formal proof WordNet 3.0
Relations
Sources
Links
IS A
CATEGORY DOMAIN