Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Knuth–Bendix_completion_algorithm> ?p ?o }
Showing triples 1 to 93 of
93
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 "18909".
- Knuth–Bendix_completion_algorithm wikiPageOutDegree "54".
- Knuth–Bendix_completion_algorithm wikiPageRevisionID "678336004".
- 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 Confluence_(term_rewriting).
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Convergent_term_rewrite_system.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Converse_relation.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Coset.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Critical_pair_(logic).
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Critical_pair_lemma.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Donald_E._Knuth.
- 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 Equivalence_closure.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Finitely_presented_group.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Finitely_presented_monoid.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Free_Abelian_group.
- 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 Normal_form_(term_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 Reduction_ordering.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Reflexive_transitive_closure.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Relation_(mathematics).
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Relation_composition.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Rewrite_closure.
- 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 Semidecidable.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Shortlex_order.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Term_(logic).
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Term_(mathematics).
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Term_rewriting_system.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Undecidable_problem.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Variant_(logic).
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Well-order.
- Knuth–Bendix_completion_algorithm wikiPageWikiLink Well-ordered.
- 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 b "E".
- Knuth–Bendix_completion_algorithm b "R".
- Knuth–Bendix_completion_algorithm hasPhotoCollection Knuth–Bendix_completion_algorithm.
- Knuth–Bendix_completion_algorithm p "*".
- 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:MathWorld.
- Knuth–Bendix_completion_algorithm wikiPageUsesTemplate Template:Reflist.
- Knuth–Bendix_completion_algorithm wikiPageUsesTemplate Template:Su.
- 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 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 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 sameAs Q2835803.
- Knuth–Bendix_completion_algorithm wasDerivedFrom Knuth–Bendix_completion_algorithm?oldid=678336004.
- Knuth–Bendix_completion_algorithm isPrimaryTopicOf Knuth–Bendix_completion_algorithm.