About: Knuth–Bendix completion algorithm

An Entity of Type: Algorithm, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:wikiPageExternalLink	https://books.google.com/books%3Fhl=en&lr=&id=UytXH6rLUDwC&oi=fnd&pg=PA256&dq=%22Logged+rewriting+and+identities+among+relators%22&ots=KYif_N4FmE&sig=We5TmSZlfdt1o8Xyxg1AYF1A4Vk%23v=onepage&q&f=false https://www.cs.tufts.edu/~nr/cs257/archive/don-knuth/knuth-bendix.pdf http://cl-informatik.uibk.ac.at/software/kbcv/ https://hal.inria.fr/inria-00076536/file/RR-0025.pdf%7C
dbo:wikiPageWikiLink	dbr:Generating_set_of_a_group dbr:Gröbner_basis dbr:Confluence_(abstract_rewriting) dbr:Computational_group_theory dbr:Algebra dbc:Donald_Knuth dbr:Resolution_(logic) dbr:Reflexive_transitive_closure dbc:Computational_group_theory dbr:Group_(mathematics) dbc:Rewriting_systems dbr:Word_problem_(mathematics) dbr:Newman's_lemma dbr:Term_(logic) dbr:Algorithm dbr:Equation dbr:Buchberger's_algorithm dbr:Converse_relation dbr:Encompassment_ordering dbc:Combinatorics_on_words dbr:Binary_relation dbr:Equivalence_closure dbr:Coset dbr:Presentation_of_a_group dbr:Polynomial_ring dbr:Critical_pair_(logic) dbr:Shortlex_order dbr:Relation_(mathematics) dbr:Term_rewriting_system dbr:Finitely_presented_group dbr:Finitely_presented_monoid dbr:Donald_E._Knuth dbr:Variant_(logic) dbr:Ground_confluent dbr:Free_Abelian_group dbr:Logged_rewriting dbr:Well-ordered dbr:Confluence_(term_rewriting) dbr:Convergent_term_rewrite_system dbr:E_theorem_prover dbr:Reduction_ordering dbr:Critical_pair_lemma dbr:Normal_form_(term_rewriting) dbr:Relation_composition dbr:Rewrite_closure dbr:Semi-algorithm dbr:Semidecidable
dbp:title	Knuth–Bendix Completion Algorithm (en)
dbp:urlname	Knuth-BendixCompletionAlgorithm (en)
dbp:wikiPageUsesTemplate	dbt:Mset dbt:Cite_book dbt:Reflist dbt:Math dbt:Cite_journal dbt:EquationNote dbt:EquationRef dbt:MathWorld dbt:Mvar dbt:Donald_Knuth_navbox dbt:NumBlk dbt:Overunderset dbt:Underset
dct:subject	dbc:Donald_Knuth dbc:Computational_group_theory dbc:Rewriting_systems dbc:Combinatorics_on_words
gold:hypernym	dbr:Algorithm
rdf:type	dbo:Algorithm
rdfs:label	Knuth–Bendix completion algorithm (en) クヌース・ベンディックス完備化アルゴリズム (ja) Complétion de Knuth-Bendix (fr)
owl:sameAs	freebase:Knuth–Bendix completion algorithm wikidata:Knuth–Bendix completion algorithm dbpedia-fr:Knuth–Bendix completion algorithm dbpedia-ja:Knuth–Bendix completion algorithm dbpedia-global:Knuth–Bendix completion algorithm
prov:wasDerivedFrom	wikipedia-en:Knuth–Bendix_completion_algorithm?oldid=1293526173&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Knuth–Bendix_completion_algorithm
is dbo:wikiPageDisambiguates of	dbr:Bendix dbr:Completion
is dbo:wikiPageRedirects of	dbr:Knuth-Bendix dbr:Knuth-Bendix_algorithm dbr:Knuth-Bendix_completion dbr:Knuth-Bendix_completion_algorithm dbr:Knuth_Bendix_completion dbr:Knuth_Bendix_completion_algorithm dbr:Knuth–Bendix_algorithm dbr:Knuth–Bendix_completion
is dbo:wikiPageWikiLink of	dbr:List_of_computability_and_complexity_topics dbr:Superposition_calculus dbr:Timeline_of_algorithms dbr:Bendix dbr:Buchberger's_algorithm dbr:Encompassment_ordering dbr:Donald_Knuth dbr:RE_(complexity) dbr:Rewriting dbr:List_of_algorithms dbr:Sridhar_Tayur dbr:Vampire_(theorem_prover) dbr:Computer_algebra_system dbr:Completion dbr:Path_ordering_(term_rewriting) dbr:Word_problem_for_groups dbr:Knuth-Bendix dbr:Knuth-Bendix_algorithm dbr:Knuth-Bendix_completion dbr:Knuth-Bendix_completion_algorithm dbr:Knuth_Bendix_completion dbr:Knuth_Bendix_completion_algorithm dbr:Knuth–Bendix_algorithm dbr:Knuth–Bendix_completion
is foaf:primaryTopic of	wikipedia-en:Knuth–Bendix_completion_algorithm