Knuth–Bendix completion algorithm

Property	Value
rdf:type	Algorithm Computability and complexity topic owl:NamedIndividual Combinatoric on words Rewriting system
rdfs:label	Knuth–Bendix completion algorithm
owl:sameAs	dbr:Knuth–Bendix_completion_algorithm
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Sridhar_Tayur http://en.wikipedia.org/wiki/List_of_algorithms http://en.wikipedia.org/wiki/Timeline_of_algorithms http://en.wikipedia.org/wiki/List_of_computability_and_complexity_topics http://en.wikipedia.org/wiki/Category:Combinatorics_on_words http://en.wikipedia.org/wiki/Computer_algebra_system http://en.wikipedia.org/wiki/Category:Rewriting_systems
skos:prefLabel	Knuth–Bendix completion algorithm
skos:altLabel	Knuth–Bendix completion Knuth–Bendix ordering

About: clgr:Knuth–Bendix_completion_algorithm