Similar to DPLLアルゴリズム
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm
シークエント計算
Sequent calculus
自動推論
Automated reasoning
導出原理
Resolution (logic)
アルゴリズム
Algorithm
ギルモアのアルゴリズム
自動定理証明
Automated theorem proving
TPTP
Thousands of Problems for Theorem Provers
ユニフィケーション
Unification (computer science)
数理論理学
Mathematical logic
Smn定理
Smn theorem
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
形式体系
Formal system
項書き換え
Rewriting構成規則
Formation rule
合流性
Confluence (abstract rewriting)
自己認識論理
Autoepistemic logic
時相論理
Temporal logic
制約論理プログラミング
Constraint logic programming
節標準形
不動点コンビネータ
Fixed-point combinator
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming
Μ再帰関数
General recursive functionラムダ計算
Lambda calculus
論理プログラミング
Logic programming
Annals of Mathematics
Annals of Mathematics
Axiom (数式処理システム)
Axiom (computer algebra system)