@prefix p: <http://www.wikidata.org/prop/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema1: <http://schema.org/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix wd: <http://www.wikidata.org/entity/> .
@prefix wds: <http://www.wikidata.org/entity/statement/> .
@prefix wdt: <http://www.wikidata.org/prop/direct/> .
@prefix wdtn: <http://www.wikidata.org/prop/direct-normalized/> .
@prefix wikibase: <http://wikiba.se/ontology#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

wd:Q2835803 rdfs:label "Knuth–Bendix completion algorithm"@en,
        "complétion de Knuth-Bendix"@fr,
        "クヌース・ベンディックス完備化アルゴリズム"@ja,
        "커누스-벤딕스 완성 알고리즘"@ko,
        "алгоритм Кнута — Бендикса"@ru ;
    schema1:dateModified "2026-08-10T23:39:24+00:00"^^xsd:dateTime ;
    schema1:description "semi-decision algorithm for transforming a set of equations"@en,
        "transforme un ensemble fini d'identités décrivant une structure algébrique en un système de réécriture de termes"@fr,
        "полуалгоритм универсальной алгебры и теории систем переписывания термов"@ru ;
    schema1:version 2529795646 ;
    wikibase:identifiers 3 ;
    wikibase:sitelinks 4 ;
    wikibase:statements 9 ;
    skos:altLabel "Complétion de Knuth-Bendix"@fr,
        "Knuth-Bendix (algorithme)"@fr,
        "алгоритм завершения Кнута — Бендикса"@ru,
        "процедура Кнута — Бендикса"@ru ;
    p:P1269 wds:Q2835803-8523F0DE-E181-43AC-A901-8FE3A8244D22 ;
    p:P138 wds:q2835803-512949c3-4015-fe95-d4e1-ec5b1a5fffd4,
        wds:q2835803-9505cee8-4e16-a14e-4a2f-0b941432368f ;
    p:P2579 wds:Q2835803-B08434EF-3C27-4A75-AE5F-92A9940994F2 ;
    p:P2812 wds:Q2835803-C4E8CB93-6077-4896-8D79-97895053C468 ;
    p:P31 wds:Q2835803-174FC3C5-405A-4533-AE64-7852BE373A22 ;
    p:P6104 wds:Q2835803-10E1B45D-6021-4EBF-BBF0-E75342272C50 ;
    p:P6366 wds:Q2835803-449634B7-452B-4249-86E3-490F0FB54B84 ;
    p:P646 wds:Q2835803-BDC33121-386D-45A3-B382-E41C06F6D1B8 ;
    wdtn:P6366 <https://makg.org/entity/85675765> ;
    wdt:P1269 wd:Q140990511 ;
    wdt:P138 wd:Q13607477,
        wd:Q17457 ;
    wdt:P2579 wd:Q1636734 ;
    wdt:P2812 "Knuth-BendixCompletionAlgorithm" ;
    wdt:P31 wd:Q8366 ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6366 "85675765" ;
    wdt:P646 "/m/02wqch" .