Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00050622n
Noun Concept
SYL
No term available
EN
A subsidiary proposition that is assumed to be true in order to prove another proposition WordNet 3.0
English:
logic
mathematics
Relations
Sources
IS A
EN
proposition
EN
concept
EN
theorem
EN
proposition
HAS KIND
EN
axiom
EN
pumping lemma
EN
Schwarz lemma
EN
zig-zag lemma
EN
Gauss's lemma
+5 relations
HAS INSTANCE
EN
Vitali covering lemma
EN
Levi's lemma
EN
Céa's lemma
EN
Siegel's lemma
EN
Mazur's lemma
+116 relations
DIFFERENT FROM
EN
lemma

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License