Similar to 連言標準形
DPLLアルゴリズム
DPLL algorithmSmn定理
Smn theoremアルゴリズム
AlgorithmΜ再帰関数
General recursive function0
0▼-1 trends1
1▲2 trends2
23
34
4▲1 trends5
56
6▲1 trends7
78
8▲1 trends9
912345679
冠頭標準形
Prenex normal formスコーレム標準形
Skolem normal form選言標準形
Disjunctive normal form否定標準形
Negation normal formホーン節
Horn clause数理論理学
Mathematical logic一階述語論理
First-order logic一般と特殊 (数学)
Special case意味論 (論理学)
Semantics宇宙 (数学)
Universe (mathematics)エルブランの定理
Herbrand's theorem型理論
Type theoryカット除去定理
Cut-elimination theorem