Term rewriting completion
2 methods in the atlas attack this one problem. They are rivals: each wins something the others do not.
Phrasings that mean this problem
Term rewriting completion
automated-reasoning
- Knuth-Bendix completionOrdered critical-pair joiningstandardautomated-reasoning
- Unfailing completionOrdered rewriting fallbackspecialistautomated-reasoning