Wikidata facts
Show 3 more facts
- different from
- Resolution
- maintained by WikiProject
- WikiProject Mathematics
- described by source
- Encyclopædia Britannica 11th edition
Sources (3)
via Wikidata · CC0
Article · 中文
归结（resolution）原理，在数理逻辑和自动定理证明中（GOFAI涉及的主题），是对于命题逻辑和一阶逻辑中的句子的推理规则，它导致了一种反证法的定理证明技术。
Abstract from DBpedia / Wikipedia · CC BY-SA