06751833-n 'a subsidiary proposition that is assumed to be true in order to prove another proposition';
 
Chinese (simplified) 辅助 定理 , 辅助定理 , 引理
English lemma 4
Italian lemma
Japanese 補助定理
Definitions
Japanese
他の命題を証明するために真であると想定される補足的命題
English
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.02794 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>