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