@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 <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:prefLabel "Knuth-Bendix-algoritmen"@nn, "Knuth-Bendix-algoritmen"@nb, "Knuth-Bendix algorithm"@en ;
  skos:related humord:c64029 .

humord:c64029
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  dc:created "2024-03-06T00:00:00"^^xsd:dateTime ;
  dc:identifier "HUME64029" ;
  dc:modified "2024-03-06T12:39:25"^^xsd:dateTime ;
  skos:altLabel "Rewrite  systems"@en, "Grafomskriving"@nn, "Omskrivingslogikk"@nn, "Termomskriving"@nb, "Termomskriving"@nn, "Term rewriting"@en, "Rewriting systems"@en, "Grafomskrivning"@nb, "Graph rewriting"@en, "Rewriting techniques"@en, "Rewriting logic"@en, "Omskrivingsteknikkar"@nn, "Reduction systems"@en, "Rewrite engines"@en, "Omskrivningslogikk"@nb, "Omskrivningsteknikker"@nb ;
  skos:broader humord:c00719 ;
  skos:definition "Formelle metoder i matematisk logikk og informatikk <uio>"@nb ;
  skos:editorialNote "Lukket bemerkning: ubo24"@nb ;
  skos:inScheme humord: ;
  skos:prefLabel "Rewriting"@en, "Omskrivning (Symbolsk logikk)"@nb, "Omskrivning  (Symbolsk logikk)"@nn ;
  skos:related humord:c63772 .

<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:c64029 ;
  skos:prefLabel "Symbolic logic"@en, "Symbolsk logikk"@nn, "Symbolsk logikk"@nb .

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