Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02084347n
Noun Concept
Categories: 数学に関する記事, 数理論理学, 推論規則, 命題論理の定理, 自動定理証明
JA
導出  導出原理
JA
導出原理（どうしゅつげんり、英: resolution principle）とは、ジョン・アラン・ロビンソンにより1965年に提案された原理または手法を言う。 Wikipedia
English:
logic
Definitions
Relations
Sources
JA
導出原理（どうしゅつげんり、英: resolution principle）とは、ジョン・アラン・ロビンソンにより1965年に提案された原理または手法を言う。 Wikipedia
IS A
定理
推論規則
HAS KIND
EN
SLD resolution
EN
unit propagation
CS
SLG rezoluce
Wikipedia
JA
導出原理
Wikidata
JA
導出
Wikipedia Redirections
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