Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00064724n
Noun Concept
JA
導出  形式的証明  証明
JA
あるひとつのものが真実であるのならば、他の何かが必ずそれに追随することを示す供述の公式のシリーズ Japanese Open Multilingual WordNet
Definitions
Relations
Sources
JA
あるひとつのものが真実であるのならば、他の何かが必ずそれに追随することを示す供述の公式のシリーズ Japanese Open Multilingual WordNet
IS A
論拠
文書
HAS PART
定理
HAS KIND
EN
demonstration
論理的証明
証明
直接証明
量子化
HAS INSTANCE
EN
Hagen–Poiseuille flow from the Navier–Stokes equations
CATEGORY DOMAIN
論理学
数学
SAID TO BE THE SAME AS
証明
Japanese Open Multilingual WordNet
JA
証明
Wikidata
JA
導出
Wikidata Alias
JA
形式的証明

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