Similar to 節標準形
DPLLアルゴリズム
DPLL algorithmSmn定理
Smn theoremアルゴリズム
Algorithm▼-1 trendsギルモアのアルゴリズム
形式体系
Formal system項書き換え
Rewriting構成規則
Formation rule合流性
Confluence (abstract rewriting)シークエント計算
Sequent calculus自己認識論理
Autoepistemic logic時相論理
Temporal logic自動推論
Automated reasoning制約論理プログラミング
Constraint logic programmingデービス・パトナムのアルゴリズム
Davis–Putnam algorithm導出原理
Resolution (logic)不動点コンビネータ
Fixed-point combinator並行制約プログラミング
Concurrent constraint logic programming並行論理プログラミング
Concurrent logic programmingΜ再帰関数
General recursive functionラムダ計算
Lambda calculus論理プログラミング
Logic programmingMizar
Mizar system0
01
12
23
34
45
5