06751833-n 'a subsidiary proposition that is assumed to be true in order to prove another proposition';
 
汉语 辅助 定理 , 辅助定理 , 引理
英语 lemma 4
Italian lemma
日语 補助定理
Definitions
日语
他の命題を証明するために真であると想定される補足的命題
英语
a subsidiary proposition that is assumed to be true in order to prove another proposition
Relations
Hypernym: proposition
Semantic Field: communicationn
External Links

Langs:

Preferences
(0.03199 seconds)
More detail about the NTUMC+ Open Multilingual Wordnet (0.9)
This project is now integrated in the Extended Open Multilingual Wordnet (0.9)
Maintainer: Francis Bond <bond@ieee.org>