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

<http://data.ub.uio.no/entity/aa780674-ac5f-40b2-a5a6-7912901f6d5f>
  a <http://trans.biblionaut.net/class#Category>, skos:Collection ;
  skos:member realfagstermer:c009781 ;
  skos:prefLabel "Matematikk"@nb .

realfagstermer:c006120
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:prefLabel "Matematisk bevisføring"@nn, "Matematisk bevisføring"@nb, "Mathematical proofs"@en ;
  skos:related realfagstermer:c009781 .

<http://data.ub.uio.no/entity/c0f08a3c-12ed-410a-b810-d8be5c48571b>
  a <http://trans.biblionaut.net/class#Category>, skos:Collection ;
  skos:member realfagstermer:c009781 ;
  skos:prefLabel "Informatikk"@nb .

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

realfagstermer:
  a void:Dataset, sd:Graph, skos:ConceptScheme ;
  rdfs:label "Realfagstermer"@nb .

realfagstermer:c009781
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  ns0:ccmapperCandidates 14 ;
  ns0:ccmapperState "accepted" ;
  dc:created "2014-08-25T00:00:00"^^xsd:dateTime ;
  dc:identifier "REAL009781" ;
  dc:modified "2026-02-19T13:59:35"^^xsd:dateTime ;
  skos:altLabel "Automatisk teorembevisføring"@nb, "Automatisk teoremprovføring"@nn, "Automatisk teoremprov"@nn, "Automatisk provsføring"@nn, "Automatic theorem proving"@en, "Automatisk teorembevis"@nn, "Automatisk teorembevis"@nb, "Automatisk teorembevisføring"@nn ;
  skos:closeMatch humord:c13368, wd:Q431667 ;
  skos:inScheme realfagstermer: ;
  skos:mappingRelation humord:c13368, <http://dewey.info/class/511.36/e23/>, wd:Q431667 ;
  skos:prefLabel "Automated theorem proving"@en, "Automatisk bevisføring"@nn, "Automatisk bevisføring"@nb ;
  skos:related realfagstermer:c006120 ;
  skos:relatedMatch <http://dewey.info/class/511.36/e23/> .