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