Knuth–Bendix completion algorithm

<http://www.wikidata.org/entity/Q2835803>

semi-decision algorithm for transforming a set of equations
rdfs:label
"Knuth–Bendix completion algorithm"@en
skos:altLabel
"Complétion de Knuth-Bendix"@fr
"Knuth-Bendix (algorithme)"@fr
schema:description
"semi-decision algorithm for transforming a set of equations"@en
schema:dateModified "2026-08-10T23:39:24+00:00"^^xsd:dateTime
schema:version 2529795646
wikibase:identifiers 3
wikibase:sitelinks 4
wikibase:statements 9
p:P1269 wd:statement/Q2835803-8523F0DE-E181-43AC-A901-8FE3A8244D22
p:P138 wd:statement/q2835803-512949c3-4015-fe95-d4e1-ec5b1a5fffd4
wd:statement/q2835803-9505cee8-4e16-a14e-4a2f-0b941432368f
p:P2579 wd:statement/Q2835803-B08434EF-3C27-4A75-AE5F-92A9940994F2
p:P2812 wd:statement/Q2835803-C4E8CB93-6077-4896-8D79-97895053C468
p:P31 wd:statement/Q2835803-174FC3C5-405A-4533-AE64-7852BE373A22
p:P6104 wd:statement/Q2835803-10E1B45D-6021-4EBF-BBF0-E75342272C50
p:P6366 wd:statement/Q2835803-449634B7-452B-4249-86E3-490F0FB54B84
p:P646 wd:statement/Q2835803-BDC33121-386D-45A3-B382-E41C06F6D1B8
p:direct-normalized/P6366 <https://makg.org/entity/85675765>
wdt:P1269 система переписывания термов
wdt:P138 Peter Bendix
Donald Knuth
wdt:P2579 universell algebra
wdt:P2812 "Knuth-BendixCompletionAlgorithm"
wdt:P31 လၢႆးၼပ်ႉသွၼ်ႇ
wdt:P6104 Proiect:Matematică
wdt:P6366 "85675765"
wdt:P646 "/m/02wqch"

Inverse relations

[ .. ] → schema:about → Knuth–Bendix completion algorithm

Complétion de Knuth-Bendixschema:Article Knuth–Bendix completion algorithmschema:Article Алгоритм Кнута — Бендиксаschema:Article クヌース・ベンディックス完備化アルゴリズムschema:Article
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://query.wikidata.org/sparql