v0.8.18
beta-testers
❯
map:Mathematics.html
❯
53AH4YwSB3z
1
Inverse
Select
Start
Edit
W
Church–Rosser theorem
W
Confluence (abstract rewriting)
W
Critical pair (logic)
W
Encompassment ordering
W
Jean-Pierre Jouannaud
W
Rewrite order
W
Rewrite order
WChurch–Rosser theorem
WConfluence (abstract rewriting)
WCritical pair (logic)
WEncompassment ordering
WJean-Pierre Jouannaud
WRewrite orderWRewrite order