Disambiguation evidence for Knuth–Bendix completion algorithm via surface form
"term rewriting systems"
Triples (1)
Triples where some other subject referred to this entity
as "term rewriting systems".
Robinson unification algorithm
→
usedIn
→
"term rewriting systems"
ⓘ
↳ resolves to Knuth–Bendix completion algorithm