Similar to 項書き換え
合流性
Confluence (abstract rewriting)
0
0
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
帰納言語
Recursive language
帰納的可算言語
Recursively enumerable language
不動点コンビネータ
Fixed-point combinator
Μ再帰関数
General recursive function
DPLLアルゴリズム
DPLL algorithm
形式体系
Formal system構成規則
Formation rule
4次元多様体
4-manifold
CR多様体
CR manifold
Mizar
Mizar system
第7SS義勇山岳師団
7th SS Volunteer Mountain Division Prinz Eugen
1812年ロシア戦役
French invasion of Russia
I号戦車
Panzer I▼-1 trends
第252予備役機甲師団 (イスラエル国防軍)
252nd Division (Israel)
II号戦車
Panzer II
III号突撃砲
Sturmgeschütz III▼-1 trends
V号戦車パンター
Panther tank