Skip to content
AIDb
K

Knuth–Bendix completion algorithm

Semi-decision algorithm for transforming a set of equations

EntityalgorithmQ2835803
Instance of

All data

7 statements · 0% with external sources · numbers in brackets are citations

Named after
Studied by
Facet of

On other databases

3 identifiers linking Knuth–Bendix completion algorithm across the web's reference databases