@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 dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

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

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

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

humord:c64296
  a skos:Concept, <http://data.ub.uio.no/onto#Topic> ;
  dc:created "2024-03-12T00:00:00"^^xsd:dateTime ;
  dc:identifier "HUME64296" ;
  dc:modified "2024-03-12T08:38:09"^^xsd:dateTime ;
  skos:altLabel "SPIN model checker"@nn, "SPIN model checker"@nb, "SPIN model checker"@en, "SPIN"@nb, "SPIN"@nn, "SPIN"@en ;
  skos:broader humord:c04283 ;
  skos:definition "Simple promela interpreter  er  et generelt verktøy for å verifisere korrektheten til samtidige programvaremodeller på en grundig og i stor grad automatisert måte.<wikipedia>"@nb ;
  skos:editorialNote "Lukket bemerkning: ubo24"@nb ;
  skos:inScheme humord: ;
  skos:prefLabel "Simple promela interpreter"@en, "Simple promela interpreter"@nn, "Simple promela interpreter"@nb .