Similar to 項書き換え
合流性
Confluence (abstract rewriting)0
01
1▲1 trends2
23
34
45
56
67
78
89
9帰納言語
Recursive language帰納的可算言語
Recursively enumerable language不動点コンビネータ
Fixed-point combinatorΜ再帰関数
General recursive functionDPLLアルゴリズム
DPLL algorithm形式体系
Formal system構成規則
Formation rule4次元多様体
4-manifoldMizar
Mizar system1812年ロシア戦役
French invasion of RussiaI号戦車
Panzer III号戦車
Panzer IIIII号突撃砲
Sturmgeschütz IIIV号戦車パンター
Panther tank▲1 trends9月30日事件
30 September MovementA7V
A7V▲1 trendsAAV7
Assault Amphibious Vehicle