@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:c00719
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:narrower humord:c62769 ;
  skos:prefLabel "Symbolic logic"@en, "Symbolsk logikk"@nn, "Symbolsk logikk"@nb .

humord:c62769
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  dc:created "2024-02-07T00:00:00"^^xsd:dateTime ;
  dc:identifier "HUME62769" ;
  dc:modified "2024-02-07T12:01:47"^^xsd:dateTime ;
  skos:broader humord:c00719 ;
  skos:definition "Spesifikasjon (beskrivelse av et system og dets ønskede egenskaper) som bruker et språk med en matematisk definert syntaks og semantikk <Runde 2000>"@nb ;
  skos:editorialNote "Lukket bemerkning: ubo24"@nb ;
  skos:inScheme humord: ;
  skos:prefLabel "Formell spesifikasjon"@nn, "Formell spesifikasjon"@nb, "Formal specification"@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 .