Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00064724n
Noun Concept
SYL
No term available
EN
A formal series of statements showing that if one thing is true something else necessarily follows from it WordNet 3.0
Relations
Sources
IS A
EN
argument
EN
document
HAS PART
EN
theorem
HAS KIND
EN
demonstration
EN
logical proof
EN
mathematical proof
EN
direct proof
EN
quantization
HAS INSTANCE
EN
Hagen–Poiseuille flow from the Navier–Stokes equations
CATEGORY DOMAIN
EN
logic
EN
mathematics
SAID TO BE THE SAME AS
EN
mathematical proof

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