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

humord:c04211
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:narrower humord:c04283 ;
  skos:prefLabel "Computing"@en, "Databehandling"@nn, "Databehandling"@nb .

humord:c64296
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:broader humord:c04283 ;
  skos:prefLabel "Simple promela interpreter"@en, "Simple promela interpreter"@nn, "Simple promela interpreter"@nb .

humord:c62529
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:broader humord:c04283 ;
  skos:prefLabel "Datastøtta verifikasjon"@nn, "Datastøttet verifikasjon"@nb, "Computer aided verification"@en .

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

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

humord:c64065
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:broader humord:c04283 ;
  skos:prefLabel "Refinement (Computing)"@en, "Raffinering (Informatikk)"@nn, "Raffinering (Informatikk)"@nb .

humord:c04283
  a skos:Concept, <http://data.ub.uio.no/onto#Topic> ;
  ns0:ccmapperCandidates 10 ;
  ns0:ccmapperState "accepted" ;
  dc:created "2014-01-02T00:00:00"^^xsd:dateTime ;
  dc:identifier "HUME04283" ;
  dc:modified "2023-12-19T08:48:35"^^xsd:dateTime ;
  skos:altLabel "Verifisering (Databehandling)"@nb ;
  skos:broader humord:c04211 ;
  skos:closeMatch realfagstermer:c006891, <http://dewey.info/class/005.14/e23/> ;
  skos:inScheme humord: ;
  skos:mappingRelation realfagstermer:c006891, <http://dewey.info/class/005.14/e23/> ;
  skos:narrower humord:c64296, humord:c64065, humord:c62529 ;
  skos:prefLabel "Verification (Computing)"@en, "Verifikasjon (Databehandling)"@nn, "Verifikasjon (Databehandling)"@nb .