Disambiguation evidence for Knuth–Bendix completion algorithm via surface form
"Knuth–Bendix completion algorithm"
Triples (4)
Triples where some other subject referred to this entity
as "Knuth–Bendix completion algorithm".
Donald E. Knuth
→
knownFor
→
"Knuth–Bendix completion algorithm"
ⓘ
↳ resolves to Knuth–Bendix completion algorithm
Peter B. Bendix
→
coDeveloperOf
→
"Knuth–Bendix completion algorithm"
ⓘ
↳ resolves to Knuth–Bendix completion algorithm
Peter B. Bendix
→
notableWork
→
"Knuth–Bendix completion algorithm"
ⓘ
↳ resolves to Knuth–Bendix completion algorithm
Knuth–Bendix order
→
usedIn
→
"Knuth–Bendix completion algorithm"
ⓘ
↳ resolves to Knuth–Bendix completion algorithm