Disambiguation evidence for Knuth–Bendix order via surface form
"Knuth–Bendix order"
Triples (1)
Triples where some other subject referred to this entity
as "Knuth–Bendix order".
Knuth–Bendix completion algorithm
→
relatedTo
→
"Knuth–Bendix order"
ⓘ
↳ resolves to Knuth–Bendix order