Category:自動定理証明
自動推論
Automated reasoning
反ユニフィケーション
Anti-unification
F* (プログラミング言語)
F* (programming language)ユニフィケーション
Unification (computer science)
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm
DPLLアルゴリズム
DPLL algorithm
TPTP
Thousands of Problems for Theorem Provers
自動定理証明
Automated theorem proving
導出原理
Resolution (logic)
タブローの方法
Method of analytic tableaux
シークエント計算
Sequent calculus