@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:c64077
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:prefLabel "Rekursive algoritmar"@nn, "Rekursive algoritmer"@nb, "Recursiv algorithms"@en ;
  skos:related humord:c00719 .

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

humord:c09780
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:prefLabel "Kunstige språk"@nn, "Artificial languages"@en, "Kunstige språk"@nb ;
  skos:related humord:c00719 .

humord:c00724
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "Modellteori"@nn, "Model theory"@en, "Modellteori"@nb .

humord:c62771
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "Formelle modellar"@nn, "Formelle modeller"@nb, "Formal models"@en .

humord:c62769
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "Formell spesifikasjon"@nn, "Formell spesifikasjon"@nb, "Formal specification"@en .

humord:c65089
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "Lineær logikk"@nn, "Linear logic"@en, "Lineær logikk"@nb .

humord:c62251
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "Førsteordens logikk"@nn, "First order logic"@en, "Førsteordens logikk"@nb .

humord:c63862
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "Logisk algebra"@nn, "Logic algebra"@en, "Logisk algebra"@nb .

humord:c63875
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "Markovalgoritmar"@nn, "Markov algorithms"@en, "Markovalgoritmer"@nb .

humord:c63790
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "Kompletthetsproblem"@nn, "Completeness problems"@en, "Kompletthetsproblemer"@nb .

humord:c62770
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "Formelle metodar"@nn, "Formal methods"@en, "Formelle metoder"@nb .

humord:c08160
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:narrower humord:c00719 ;
  skos:prefLabel "Mathemathics"@en, "Matematikk"@nn, "Matematikk"@nb .

humord:c62291
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "Automater (Informatikk)"@nn, "Automater (Informatikk)"@nb, "Automatons"@en .

humord:c65026
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "Kombinatorisk logikk"@nn, "Combinatorial logic"@en, "Kombinatorisk logikk"@nb .

humord:c63846
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "L-system"@nn, "L-systemer"@nb, "L-systems"@en .

humord:c61363
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "Komplekse system"@nn, "Complex systems"@en, "Komplekse systemer"@nb .

humord:c00707
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "Høgareordens logikk"@nn, "Høyereordens logikk"@nb, "Second order logic"@en .

humord:c62547
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "Denotasjonell semantikk"@nn, "Denotasjonell semantikk"@nb, "Denotational semantics"@en .

humord:c62406
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "Chomskyhierarkiet"@nn, "Chomskyhierarkiet"@nb, "Chomsky hierarchy"@en .

humord:c62761
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "Fleirverdilogikk"@nn, "Multi value logic"@en, "Flerverdilogikk"@nb .

humord:c64325
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "Spesifikasjon"@nn, "Specifications"@en, "Spesifikasjoner"@nb .

humord:c64033
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "Operasjonell semantikk"@nn, "Operational semantics"@en, "Operasjonell semantikk"@nb .

humord:c64266
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "Concurrency (Symbolic logic)"@en, "Samtidigheit (Symbolsk logikk)"@nn, "Samtidighet (Symbolsk logikk)"@nb .

humord:c00719
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  ns0:ccmapperCandidates 27 ;
  ns0:ccmapperState "accepted" ;
  dc:created "1995-02-10T00:00:00"^^xsd:dateTime ;
  dc:identifier "HUME00719" ;
  dc:modified "2026-03-19T16:08:01"^^xsd:dateTime ;
  skos:altLabel "Formallogikk"@nb, "Formallogikk"@nn, "Formal logic"@en, "Matematisk logikk"@nb, "Matematisk logikk"@nn, "Mathematical logic"@en, "Logistikk (Logikk)"@nb, "Formal logikk"@nb, "Logikk-kalkyle"@nb ;
  skos:broader humord:c08160, humord:c00704 ;
  skos:closeMatch realfagstermer:c012433 ;
  skos:exactMatch <http://dewey.info/class/511.3/e23/>, realfagstermer:c001644, <http://dewey.info/class/005.131/e23/> ;
  skos:inScheme humord: ;
  skos:mappingRelation <http://dewey.info/class/511.3/e23/>, <http://dewey.info/class/005.131/e23/>, realfagstermer:c001644, realfagstermer:c012433, <http://dewey.info/class/005.74015113/e23/> ;
  skos:narrower humord:c64029, humord:c61062, humord:c62761, humord:c65164, humord:c65089, humord:c62406, humord:c65044, humord:c00707, humord:c65026, humord:c00688, humord:c62769, humord:c00726, humord:c64266, humord:c12380, humord:c22911, humord:c63862, humord:c62251, humord:c64033, humord:c63649, humord:c61363, humord:c64557, humord:c62547, humord:c63772, humord:c65322, humord:c64325, humord:c64252, humord:c08175, humord:c63790, humord:c00724, humord:c63875, humord:c62771, humord:c62770, humord:c63846, humord:c62380, humord:c00538, humord:c64103, humord:c62291, humord:c62309, humord:c04299 ;
  skos:prefLabel "Symbolsk logikk"@nb, "Symbolsk logikk"@nn, "Symbolic logic"@en ;
  skos:related humord:c64077, humord:c09780 ;
  skos:relatedMatch <http://dewey.info/class/005.74015113/e23/> .

humord:c22911
  a ns0:Topic, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "Fuzzy logikk"@nn, "Fuzzy logic"@en, "Fuzzy logikk"@nb .

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

humord:c00726
  a ns0:Topic, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "Type theory (Logic)"@en, "Typeteori"@nn, "Typeteori"@nb .

humord:c61062
  a ns0:Topic, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "Aksiom"@nn, "Axioms"@en, "Aksiomer"@nb .

humord:c04299
  a ns0:Topic, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "Nonmonotonic logics"@en, "Ikkje-monoton logikk"@nn, "Ikke-monoton logikk"@nb .

humord:c64252
  a ns0:Topic, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "Programsemantikk"@nn, "Software semantics"@en, "Programsemantikk"@nb .

humord:c64557
  a ns0:Topic, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "Automorfiar"@nn, "Automorfier"@nb, "Automorphism"@en .

humord:c63772
  a ns0:Topic, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "Knuth-Bendix-algoritmen"@nn, "Knuth-Bendix-algoritmen"@nb, "Knuth-Bendix algorithm"@en .

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

humord:c65044
  a ns0:Topic, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "Konstruktiv matematikk"@nn, "Constructive mathematics"@en, "Konstruktiv matematikk"@nb .

humord:c65164
  a ns0:Topic, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "Metamatematikk"@nn, "Metamathematics"@en, "Metamatematikk"@nb .

humord:c64103
  a ns0:Topic, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "Spesifikasjonsspråk"@nn, "Specification languages"@en, "Spesifikasjonsspråk"@nb .

humord:c62380
  a ns0:Topic, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "Boolsk algebra"@nn, "Boolean algebra"@en, "Boolsk algebra"@nb .

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

humord:c08175
  a ns0:Topic, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "Mengdelære"@nn, "Set theory"@en, "Mengdelære"@nb .

humord:c63649
  a ns0:Topic, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "Horn-logikk"@nn, "Horn logic"@en, "Horn-logikk"@nb .

humord:c64029
  a ns0:Topic, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "Omskrivning  (Symbolsk logikk)"@nn, "Omskrivning (Symbolsk logikk)"@nb, "Rewriting"@en .

humord:c00704
  a ns0:Topic, skos:Concept ;
  skos:narrower humord:c00719 ;
  skos:prefLabel "Logics"@en, "Logikk"@nn, "Logikk"@nb .

humord:c65322
  a ns0:Topic, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "Predikatlogikk"@nn, "Predicate logic"@en, "Predikatlogikk"@nb .

humord:c00538
  a ns0:Topic, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "Ævelengd"@nn, "Infinity"@en, "Uendelighet"@nb .

humord:c62309
  a ns0:Topic, skos:Concept ;
  skos:broader humord:c00719 ;
  skos:prefLabel "Avgjerbarheit"@nn, "Decidability"@en, "Avgjørbarhet"@nb .