Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Knuth–Bendix_completion_algorithm> ?p ?o }
Showing triples 1 to 80 of
80
with 100 triples per page.
- Knuth–Bendix_completion_algorithm abstract "The Knuth–Bendix completion algorithm (named after Donald Knuth and Peter Bendix) is a semi-decision algorithm for transforming a set of equations (over terms) into a confluent term rewriting system. When the algorithm succeeds, it effectively solves the word problem for the specified algebra. Buchberger's algorithm for computing Gröbner bases is a very similar algorithm. Although developed independently, it may also be seen as the instantiation of Knuth–Bendix algorithm in the theory of polynomial rings.".
- Knuth–Bendix_completion_algorithm wikiPageID "614147".
- Knuth–Bendix_completion_algorithm wikiPageLength "19228".
- Knuth–Bendix_completion_algorithm wikiPageOutDegree "54".
- Knuth–Bendix_completion_algorithm wikiPageRevisionID "695317853".
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Abstract_rewriting_system.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Algebra.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Algorithm.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Binary_relation.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Buchbergers_algorithm.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Category:Combinatorics_on_words.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Category:Computational_group_theory.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Category:Donald_Knuth.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Category:Rewriting_systems.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Closure_(mathematics).
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Completion_without_failure.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Composition_of_relations.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Computational_group_theory.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Confluence_(abstract_rewriting).
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Coset.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Critical_pair_(logic).
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Donald_Knuth.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink E_theorem_prover.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Encompassment_ordering.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Equation.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Free_abelian_group.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Generating_set_of_a_group.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Group_(mathematics).
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Gröbner_basis.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Inverse_relation.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Logged_rewriting.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Newmans_lemma.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Normal_form_(abstract_rewriting).
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Polynomial_ring.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Presentation_of_a_group.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Presentation_of_a_monoid.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Rewrite_order.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Rewriting.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Semi-decision_procedure.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Shortlex_order.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Term_(logic).
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Undecidable_problem.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Well-order.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Word_problem_(mathematics).
- Knuth–Bendix_completion_algorithm wikiPageWikiLinkText "Knuth-Bendix ordering".
- Knuth–Bendix_completion_algorithm wikiPageWikiLinkText "Knuth–Bendix completion algorithm".
- Knuth–Bendix_completion_algorithm wikiPageWikiLinkText "Knuth–Bendix completion".
- Knuth–Bendix_completion_algorithm wikiPageWikiLinkText "completion".
- Knuth–Bendix_completion_algorithm title "Knuth–Bendix Completion Algorithm".
- Knuth–Bendix_completion_algorithm urlname "Knuth-BendixCompletionAlgorithm".
- Knuth–Bendix_completion_algorithm wikiPageUsesTemplate Template:Cite_book.
- Knuth–Bendix_completion_algorithm wikiPageUsesTemplate Template:Cite_journal.
- Knuth–Bendix_completion_algorithm wikiPageUsesTemplate Template:Donald_Knuth_navbox.
- Knuth–Bendix_completion_algorithm wikiPageUsesTemplate Template:Math.
- Knuth–Bendix_completion_algorithm wikiPageUsesTemplate Template:MathWorld.
- Knuth–Bendix_completion_algorithm wikiPageUsesTemplate Template:Mset.
- Knuth–Bendix_completion_algorithm wikiPageUsesTemplate Template:Mvar.
- Knuth–Bendix_completion_algorithm wikiPageUsesTemplate Template:Overunderset.
- Knuth–Bendix_completion_algorithm wikiPageUsesTemplate Template:Reflist.
- Knuth–Bendix_completion_algorithm wikiPageUsesTemplate Template:Underset.
- Knuth–Bendix_completion_algorithm subject Category:Combinatorics_on_words.
- Knuth–Bendix_completion_algorithm subject Category:Computational_group_theory.
- Knuth–Bendix_completion_algorithm subject Category:Donald_Knuth.
- Knuth–Bendix_completion_algorithm subject Category:Rewriting_systems.
- Knuth–Bendix_completion_algorithm hypernym Algorithm.
- Knuth–Bendix_completion_algorithm type Scientist.
- Knuth–Bendix_completion_algorithm type Software.
- Knuth–Bendix_completion_algorithm type Algorithm.
- Knuth–Bendix_completion_algorithm type Combinatoric.
- Knuth–Bendix_completion_algorithm type Redirect.
- Knuth–Bendix_completion_algorithm type Scientist.
- Knuth–Bendix_completion_algorithm comment "The Knuth–Bendix completion algorithm (named after Donald Knuth and Peter Bendix) is a semi-decision algorithm for transforming a set of equations (over terms) into a confluent term rewriting system. When the algorithm succeeds, it effectively solves the word problem for the specified algebra. Buchberger's algorithm for computing Gröbner bases is a very similar algorithm.".
- Knuth–Bendix_completion_algorithm label "Knuth–Bendix completion algorithm".
- Knuth–Bendix_completion_algorithm sameAs Q2835803.
- Knuth–Bendix_completion_algorithm sameAs Algorithme_de_Knuth-Bendix.
- Knuth–Bendix_completion_algorithm sameAs クヌース・ベンディックス完備化アルゴリズム.
- Knuth–Bendix_completion_algorithm sameAs m.02wqch.
- Knuth–Bendix_completion_algorithm sameAs Q2835803.
- Knuth–Bendix_completion_algorithm wasDerivedFrom Knuth–Bendix_completion_algorithm?oldid=695317853.
- Knuth–Bendix_completion_algorithm isPrimaryTopicOf Knuth–Bendix_completion_algorithm.