@prefix rdfs: . @prefix owl: . @prefix tekord: . @prefix skos: . @prefix realfagstermer: . @prefix dc: . @prefix xsd: . rdfs:label "Innholdsbeskrivende emne"@nb, "Topic"@en ; a owl:Class . tekord:c07023 skos:notation "510.6" ; skos:prefLabel "Matematisk logikk"@nb ; a , skos:Concept ; skos:narrower tekord:c07414 . tekord: rdfs:label "Tekord"@nb ; a skos:ConceptScheme . tekord:c07414 skos:exactMatch realfagstermer:c001763 ; skos:inScheme tekord: ; owl:sameAs ; a skos:Concept, ; dc:modified "1991-12-23T00:00:00+00:00"^^xsd:dateTime ; skos:notation "510.643" ; dc:identifier "NTUB07414" ; skos:prefLabel "Modal logikk"@nb ; skos:broader tekord:c07023 .