knuth-bendix completion algorithm
Word Rarity
Very rare
Frequency: Zipf frequency 1.90 in modern English
59
Scrabble Score
30
Letters
7
Syllables
18
Unique Chars
Meaning
name
A semidecision algorithm for transforming a set of equations (over terms) into a confluent term rewriting system.