n06647864
Back to the index
Click for the XML entry
<synset id="n06647864" type="n"> <lex_filenum>10<lex_filenum/> <word lex_id="0">mathematical proof<word/> <pointer refs="n06647614">Hypernym<pointer/> <def>proof of a mathematical theorem<def/> <synset/>