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