Similar to 項書き換え
合流性
Confluence (abstract rewriting)
0
0▼-1 trends
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
Mizar
Mizar system
第7SS義勇山岳師団
7th SS Volunteer Mountain Division Prinz Eugen
1812年ロシア戦役
French invasion of Russia▼-1 trends
I号戦車
Panzer I▼-1 trends
第252予備役機甲師団 (イスラエル国防軍)
252nd Division (Israel)
II号戦車
Panzer II
III号突撃砲
Sturmgeschütz III
V号戦車パンター
Panther tank
9月30日事件
30 September Movement