This HTML5 document contains 117 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
n22https://www.cs.tufts.edu/~nr/cs257/archive/don-knuth/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n4https://books.google.com/
dbpedia-globalhttps://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-frhttp://fr.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
n12http://cl-informatik.uibk.ac.at/software/kbcv/
n18https://hal.inria.fr/inria-00076536/file/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbr:List_of_computability_and_complexity_topics
dbo:wikiPageWikiLink
dbr:Knuth–Bendix_completion_algorithm
Subject Item
dbr:Superposition_calculus
dbo:wikiPageWikiLink
dbr:Knuth–Bendix_completion_algorithm
Subject Item
dbr:Timeline_of_algorithms
dbo:wikiPageWikiLink
dbr:Knuth–Bendix_completion_algorithm
Subject Item
dbr:Bendix
dbo:wikiPageDisambiguates
dbr:Knuth–Bendix_completion_algorithm
dbo:wikiPageWikiLink
dbr:Knuth–Bendix_completion_algorithm
Subject Item
dbr:Buchberger's_algorithm
dbo:wikiPageWikiLink
dbr:Knuth–Bendix_completion_algorithm
Subject Item
dbr:Knuth–Bendix_completion_algorithm
rdf:type
dbo:Algorithm
owl:sameAs
freebase:m.02wqch dbpedia-global:2e2w7 wikidata:Q2835803 dbpedia-ja:クヌース・ベンディックス完備化アルゴリズム dbpedia-fr:Complétion_de_Knuth-Bendix
rdfs:label
Knuth–Bendix completion algorithm クヌース・ベンディックス完備化アルゴリズム Complétion de Knuth-Bendix
prov:wasDerivedFrom
wikipedia-en:Knuth–Bendix_completion_algorithm?oldid=1293526173&ns=0
dbo:wikiPageExternalLink
n4: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 n12: n18:RR-0025.pdf%7C n22:knuth-bendix.pdf
dbo:wikiPageWikiLink
dbr:Confluence_(abstract_rewriting) dbr:Reduction_ordering dbr:Word_problem_(mathematics) dbr:E_theorem_prover dbc:Rewriting_systems dbr:Reflexive_transitive_closure dbc:Donald_Knuth dbr:Generating_set_of_a_group dbr:Algebra dbr:Semi-algorithm dbr:Finitely_presented_group dbr:Equation dbr:Term_rewriting_system dbr:Finitely_presented_monoid dbr:Gröbner_basis dbr:Term_(logic) dbr:Relation_composition dbr:Binary_relation dbr:Newman's_lemma dbr:Group_(mathematics) dbr:Converse_relation dbr:Convergent_term_rewrite_system dbr:Presentation_of_a_group dbr:Buchberger's_algorithm dbr:Free_Abelian_group dbr:Logged_rewriting dbr:Encompassment_ordering dbr:Normal_form_(term_rewriting) dbr:Equivalence_closure dbc:Combinatorics_on_words dbc:Computational_group_theory dbr:Ground_confluent dbr:Critical_pair_lemma dbr:Semidecidable dbr:Donald_E._Knuth dbr:Algorithm dbr:Confluence_(term_rewriting) dbr:Rewrite_closure dbr:Computational_group_theory dbr:Variant_(logic) dbr:Shortlex_order dbr:Critical_pair_(logic) dbr:Polynomial_ring dbr:Coset dbr:Well-ordered dbr:Relation_(mathematics) dbr:Resolution_(logic)
dct:subject
dbc:Donald_Knuth dbc:Combinatorics_on_words dbc:Rewriting_systems dbc:Computational_group_theory
foaf:isPrimaryTopicOf
wikipedia-en:Knuth–Bendix_completion_algorithm
dbp:wikiPageUsesTemplate
dbt:NumBlk dbt:MathWorld dbt:EquationNote dbt:EquationRef dbt:Cite_journal dbt:Donald_Knuth_navbox dbt:Mvar dbt:Cite_book dbt:Math dbt:Mset dbt:Underset dbt:Overunderset dbt:Reflist
dbp:title
Knuth–Bendix Completion Algorithm
dbp:urlname
Knuth-BendixCompletionAlgorithm
gold:hypernym
dbr:Algorithm
Subject Item
wikipedia-en:Knuth–Bendix_completion_algorithm
foaf:primaryTopic
dbr:Knuth–Bendix_completion_algorithm
Subject Item
dbr:Encompassment_ordering
dbo:wikiPageWikiLink
dbr:Knuth–Bendix_completion_algorithm
Subject Item
dbr:Donald_Knuth
dbo:wikiPageWikiLink
dbr:Knuth–Bendix_completion_algorithm
Subject Item
dbr:RE_(complexity)
dbo:wikiPageWikiLink
dbr:Knuth–Bendix_completion_algorithm
Subject Item
dbr:Rewriting
dbo:wikiPageWikiLink
dbr:Knuth–Bendix_completion_algorithm
Subject Item
dbr:List_of_algorithms
dbo:wikiPageWikiLink
dbr:Knuth–Bendix_completion_algorithm
Subject Item
dbr:Sridhar_Tayur
dbo:wikiPageWikiLink
dbr:Knuth–Bendix_completion_algorithm
Subject Item
dbr:Vampire_(theorem_prover)
dbo:wikiPageWikiLink
dbr:Knuth–Bendix_completion_algorithm
Subject Item
dbr:Computer_algebra_system
dbo:wikiPageWikiLink
dbr:Knuth–Bendix_completion_algorithm
Subject Item
dbr:Completion
dbo:wikiPageDisambiguates
dbr:Knuth–Bendix_completion_algorithm
dbo:wikiPageWikiLink
dbr:Knuth–Bendix_completion_algorithm
Subject Item
dbr:Path_ordering_(term_rewriting)
dbo:wikiPageWikiLink
dbr:Knuth–Bendix_completion_algorithm
Subject Item
dbr:Word_problem_for_groups
dbo:wikiPageWikiLink
dbr:Knuth–Bendix_completion_algorithm
Subject Item
dbr:Knuth-Bendix
dbo:wikiPageRedirects
dbr:Knuth–Bendix_completion_algorithm
dbo:wikiPageWikiLink
dbr:Knuth–Bendix_completion_algorithm
Subject Item
dbr:Knuth-Bendix_algorithm
dbo:wikiPageRedirects
dbr:Knuth–Bendix_completion_algorithm
dbo:wikiPageWikiLink
dbr:Knuth–Bendix_completion_algorithm
Subject Item
dbr:Knuth-Bendix_completion
dbo:wikiPageRedirects
dbr:Knuth–Bendix_completion_algorithm
dbo:wikiPageWikiLink
dbr:Knuth–Bendix_completion_algorithm
Subject Item
dbr:Knuth-Bendix_completion_algorithm
dbo:wikiPageRedirects
dbr:Knuth–Bendix_completion_algorithm
dbo:wikiPageWikiLink
dbr:Knuth–Bendix_completion_algorithm
Subject Item
dbr:Knuth_Bendix_completion
dbo:wikiPageRedirects
dbr:Knuth–Bendix_completion_algorithm
dbo:wikiPageWikiLink
dbr:Knuth–Bendix_completion_algorithm
Subject Item
dbr:Knuth_Bendix_completion_algorithm
dbo:wikiPageRedirects
dbr:Knuth–Bendix_completion_algorithm
dbo:wikiPageWikiLink
dbr:Knuth–Bendix_completion_algorithm
Subject Item
dbr:Knuth–Bendix_algorithm
dbo:wikiPageRedirects
dbr:Knuth–Bendix_completion_algorithm
dbo:wikiPageWikiLink
dbr:Knuth–Bendix_completion_algorithm
Subject Item
dbr:Knuth–Bendix_completion
dbo:wikiPageRedirects
dbr:Knuth–Bendix_completion_algorithm
dbo:wikiPageWikiLink
dbr:Knuth–Bendix_completion_algorithm