@prefix humord: <http://data.ub.uio.no/humord/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix ns0: <http://data.ub.uio.no/onto#> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .

humord:c63772
  a skos:Concept, <http://data.ub.uio.no/onto#Topic> ;
  ns0:ccmapperCandidates 1 ;
  ns0:ccmapperState "accepted" ;
  dc:created "2024-02-29T00:00:00"^^xsd:dateTime ;
  dc:identifier "HUME63772" ;
  dc:modified "2024-02-29T11:21:07"^^xsd:dateTime ;
  skos:altLabel "Knuth–Bendix completion algorithm"@en, "Knuth-Bendix-komplettering"@nn, "Knuth-Bendix-komplettering"@nb ;
  skos:broadMatch <http://dewey.info/class/511.3/e23/> ;
  skos:broader humord:c00719, humord:c08164 ;
  skos:definition "Knuth-Bendix-algoritmen (oppkalt etter Donald Knuth og Peter Bendix) er en halvbeslutningsalgoritme for å transformere en mengde ligninger (over termer) til et sammenhengende termomskrivningssystem. <wikipedia>"@nb ;
  skos:editorialNote "Lukket bemerkning: ubo24"@nb ;
  skos:inScheme humord: ;
  skos:mappingRelation <http://dewey.info/class/511.3/e23/>, <http://dewey.info/class/005.131/e23/> ;
  skos:prefLabel "Knuth-Bendix algorithm"@en, "Knuth-Bendix-algoritmen"@nn, "Knuth-Bendix-algoritmen"@nb ;
  skos:related humord:c64029 ;
  skos:relatedMatch <http://dewey.info/class/005.131/e23/> .

humord:c64029
  a ns0:Topic, skos:Concept ;
  skos:prefLabel "Omskrivning  (Symbolsk logikk)"@nn, "Omskrivning (Symbolsk logikk)"@nb, "Rewriting"@en ;
  skos:related humord:c63772 .

humord:c08164
  a ns0:Topic, skos:Concept ;
  skos:narrower humord:c63772 ;
  skos:prefLabel "Algoritmar"@nn, "Algorithms"@en, "Algoritmer"@nb .

ns0:Topic
  a rdfs:Class, owl:Class ;
  rdfs:label "Innholdsbeskrivende emne"@nb, "Topic"@en .

humord:c00719
  a ns0:Topic, skos:Concept ;
  skos:narrower humord:c63772 ;
  skos:prefLabel "Symbolic logic"@en, "Symbolsk logikk"@nn, "Symbolsk logikk"@nb .

humord:
  a skos:ConceptScheme ;
  rdfs:label "Humord"@nb .