Similar to ギルモアのアルゴリズム
DPLLアルゴリズム
DPLL algorithm
アルゴリズム
Algorithm
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm
数理論理学
Mathematical logic
Smn定理
Smn theorem
エルブランの定理
Herbrand's theorem
グッドスタインの定理
Goodstein's theorem
形式体系
Formal system
ゲーデルの完全性定理
Gödel's completeness theorem
ゲーデルの不完全性定理
Gödel's incompleteness theorems
項書き換え
Rewriting構成規則
Formation rule
合流性
Confluence (abstract rewriting)
シークエント計算
Sequent calculus
自己認識論理
Autoepistemic logic
時相論理
Temporal logic
自動推論
Automated reasoning
制約論理プログラミング
Constraint logic programming
節標準形
タルスキの定義不可能性定理
Tarski's undefinability theorem
導出原理
Resolution (logic)
不動点コンビネータ
Fixed-point combinator
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming
Μ再帰関数
General recursive functionラムダ計算
Lambda calculus
論理プログラミング
Logic programming