Knuth-Bendix completion algorithm

http://dbpedia.org/resource/Knuth-Bendix_completion_algorithm

rdfs:label

rdf:langString Knuth-Bendix completion algorithm

dbpedia-owl:wikiPageID

xsd:integer 21306363

dbpedia-owl:wikiPageRevisionID

xsd:integer 344363705

dbpedia-owl:wikiPageLength

xsd:nonNegativeInteger 71

dbpedia-owl:wikiPageWikiLink

<http://dbpedia.org/resource/Knuth–Bendix_completion_algorithm>

dbpedia-owl:wikiPageRedirects

<http://dbpedia.org/resource/Knuth–Bendix_completion_algorithm>

dbpprop:wikiPageUsesTemplate

<http://dbpedia.org/resource/Template:R_from_modification>

prov:wasDerivedFrom

<http://en.wikipedia.org/wiki/Knuth-Bendix_completion_algorithm?oldid=344363705&ns=0>

foaf:isPrimaryTopicOf

<http://en.wikipedia.org/wiki/Knuth-Bendix_completion_algorithm>

data from the linked data cloud