@prefix humord: <http://data.ub.uio.no/humord/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@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/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .

humord:c13368
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  ns0:ccmapperCandidates 14 ;
  ns0:ccmapperState "accepted" ;
  dc:created "1995-10-27T00:00:00"^^xsd:dateTime ;
  dc:identifier "HUME13368" ;
  dc:modified "2024-03-14T13:22:33"^^xsd:dateTime ;
  skos:altLabel "Automatisk teoremprovføring"@nn, "Automatisk teorembevisføring"@nn, "Automatisk teorembevisføring"@nb, "Automatisk teoremprov"@nn, "Automated theorem proving"@en, "Automatisk teorembevis"@nn, "Automatisk teorembevis"@nb, "Automatisk provsføring"@nn ;
  skos:broader humord:c04225, humord:c00688 ;
  skos:closeMatch realfagstermer:c009781 ;
  skos:inScheme humord: ;
  skos:mappingRelation realfagstermer:c009781, <http://dewey.info/class/006.3/e23/>, <http://dewey.info/class/511.36/e23/> ;
  skos:prefLabel "Automatic theorem proving"@en, "Automatisk bevisføring"@nn, "Automatisk bevisføring"@nb ;
  skos:relatedMatch <http://dewey.info/class/006.3/e23/>, <http://dewey.info/class/511.36/e23/> .

humord:c04225
  a ns0:Topic, skos:Concept ;
  skos:narrower humord:c13368 ;
  skos:prefLabel "Kunstig intelligens"@nn, "Artificial intelligence"@en, "Kunstig intelligens"@nb .

ns0:Topic
  a rdfs:Class, owl:Class ;
  rdfs:label "Innholdsbeskrivende emne"@nb, "Topic"@en .

humord:c00688
  a ns0:Topic, skos:Concept ;
  skos:narrower humord:c13368 ;
  skos:prefLabel "Provsteori"@nn, "Proof theory"@en, "Bevisteori"@nb .

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