@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 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/> .

humord:c62408
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:broader humord:c12380 ;
  skos:prefLabel "Church-Turing-tesen"@nn, "Church-Turing-tesen"@nb, "Church–Turing thesis"@en .

humord:c04242
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:broader humord:c12380 ;
  skos:prefLabel "Automatateori"@nn, "Automatateori"@nb, "Automata theory"@en .

humord:c63992
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:broader humord:c12380 ;
  skos:prefLabel "NP-problem"@nn, "NP-problemer"@nb, "NP problems"@en .

humord:c44671
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:broader humord:c12380 ;
  skos:prefLabel "Recursion"@en, "Rekursjon"@nn, "Rekursjon"@nb .

humord:c62204
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:broader humord:c12380 ;
  skos:prefLabel "Abstrakte maskinar"@nn, "Abstract machines"@en, "Abstrakte maskiner"@nb .

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

humord:c64398
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:broader humord:c12380 ;
  skos:prefLabel "Turinggrad"@nn, "Turinggrad"@nb, "Turing degree"@en .

humord:c63638
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:broader humord:c12380 ;
  skos:prefLabel "Kompleksitetsteori"@nn, "Complexity theory"@en, "Kompleksitetsteori"@nb .

humord:c63787
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:broader humord:c12380 ;
  skos:prefLabel "Kompleksitetsanalyse"@nn, "Kompleksitetsanalyse"@nb, "Complexity analysis"@en .

humord:c59507
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:broader humord:c12380 ;
  skos:prefLabel "Berekningsteori"@nn, "Calculation theory"@en, "Beregningsteori"@nb .

humord:c00719
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:narrower humord:c12380 ;
  skos:prefLabel "Symbolic logic"@en, "Symbolsk logikk"@nn, "Symbolsk logikk"@nb .

humord:c12380
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  ns0:ccmapperCandidates 10 ;
  ns0:ccmapperState "accepted" ;
  dc:created "1997-06-09T00:00:00"^^xsd:dateTime ;
  dc:identifier "HUME12380" ;
  dc:modified "2024-01-29T12:35:32"^^xsd:dateTime ;
  skos:altLabel "Recursion theory"@en, "Computable functions"@en, "Bereknelegheitsteori"@nn, "Beregnbarhet"@nb, "Rekursive funksjonar"@nn, "Rekursive funksjoner"@nb, "Beregnbarhetsteori"@nb, "Bereknelege funksjonar"@nn, "Bereknelegheit"@nn, "Beregnbare funksjoner"@nb, "Computability"@en ;
  skos:broader humord:c00719 ;
  skos:definition "I matematikk: Formell teori for beregninger <UBO>"@nb ;
  skos:exactMatch realfagstermer:c003924, <http://dewey.info/class/511.35/e23/> ;
  skos:inScheme humord: ;
  skos:mappingRelation realfagstermer:c003924, <http://dewey.info/class/511.35/e23/> ;
  skos:narrower humord:c62408, humord:c44671, humord:c04242, humord:c63787, humord:c62795, humord:c64398, humord:c62204, humord:c64199, humord:c63638, humord:c59507, humord:c63993, humord:c63992, humord:c08171 ;
  skos:prefLabel "Rekursjonsteori"@nb, "Rekursjonsteori"@nn, "Computability theory"@en .

humord:c08171
  a ns0:Topic, skos:Concept ;
  skos:broader humord:c12380 ;
  skos:prefLabel "Lambda-kalkyle"@nn, "Lambda calculus"@en, "Lambda-kalkyle"@nb .

humord:c63993
  a ns0:Topic, skos:Concept ;
  skos:broader humord:c12380 ;
  skos:prefLabel "NP-komplette problem"@nn, "NP-komplette problemer"@nb, "NP-complete problems"@en .

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

humord:c64199
  a ns0:Topic, skos:Concept ;
  skos:broader humord:c12380 ;
  skos:prefLabel "Petrinett"@nn, "Petri nets"@en, "Petrinett"@nb .

humord:c62795
  a ns0:Topic, skos:Concept ;
  skos:broader humord:c12380 ;
  skos:prefLabel "Fuzzy automatar"@nn, "Fuzzy automater"@nb, "Fuzzy automata"@en .