Similar to ゲーデル数
帰納的可算集合
Computably enumerable set計算可能関数
Computable function原始再帰関数
Primitive recursive function項書き換え
Rewriting合流性
Confluence (abstract rewriting)再帰
Recursion述語論理
Predicate logic数学基礎論
Foundations of mathematics不動点コンビネータ
Fixed-point combinatorDPLLアルゴリズム
DPLL algorithmSmn定理
Smn theoremアルゴリズム
Algorithmゲーデルの完全性定理
Gödel's completeness theoremゲーデルの不完全性定理
Gödel's incompleteness theorems再帰理論
第1騎兵師団 (アメリカ軍)
1st Cavalry Division (United States)第1軍 (アメリカ軍)
First Army (United States)第6SS山岳師団
6th SS Mountain Division Nordコルグ・01/Wシリーズ
Korg 01/W第12SS装甲師団
12th SS Panzer Division Hitlerjugend第18空挺軍団 (アメリカ軍)
XVIII Airborne Corps第3軍 (アメリカ軍)
United States Army Central第7SS義勇山岳師団
7th SS Volunteer Mountain Division Prinz Eugen▼-1 trends1000年
AD 1000第101空挺師団 (アメリカ軍)
101st Airborne Division10月政変
1993 Russian constitutional crisis第10SS装甲師団
10th SS Panzer Division Frundsberg10世紀
10th century