a01430628
Back to the index
Click for the XML entry
<synset id="a01430628" type="s"> <lex_filenum>00<lex_filenum/> <word lex_id="0">formal<word/> <pointer refs="a01430111">Similar to<pointer/> <def>logically deductive<def/> <example>formal proof<example/> <synset/>