@prefix humord: <http://data.ub.uio.no/humord/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@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> ;
  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: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:prefLabel "Knuth-Bendix algorithm"@en, "Knuth-Bendix-algoritmen"@nn, "Knuth-Bendix-algoritmen"@nb ;
  skos:related humord:c64029 .

humord:c64029
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:prefLabel "Omskrivning  (Symbolsk logikk)"@nn, "Omskrivning (Symbolsk logikk)"@nb, "Rewriting"@en ;
  skos:related humord:c63772 .

humord:c08164
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:narrower humord:c63772 ;
  skos:prefLabel "Algoritmar"@nn, "Algorithms"@en, "Algoritmer"@nb .

<http://data.ub.uio.no/onto#Topic>
  a rdfs:Class, owl:Class ;
  rdfs:label "Innholdsbeskrivende emne"@nb, "Topic"@en .

humord:c00719
  a <http://data.ub.uio.no/onto#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 .