@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix ns0: <http://data.ub.uio.no/webdewey-terms#> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix realfagstermer: <http://data.ub.uio.no/realfagstermer/> .
@prefix humord: <http://data.ub.uio.no/humord/> .

<http://dewey.info/class/511.33/e23/>
  a skos:Concept ;
  skos:broader <http://dewey.info/class/511.3/e23/> ;
  skos:notation "511.33" ;
  skos:prefLabel "Orden, gitre, ordnede algebraiske strukturer"@nb .

<http://dewey.info/class/511.34/e23/>
  a skos:Concept ;
  skos:broader <http://dewey.info/class/511.3/e23/> ;
  skos:notation "511.34" ;
  skos:prefLabel "Modellteori"@nb .

<http://dewey.info/scheme/edition/e23/>
  a skos:ConceptScheme ;
  rdfs:label "Norsk WebDewey"@nb .

<http://dewey.info/class/511.31/e23/>
  a skos:Concept ;
  skos:broader <http://dewey.info/class/511.3/e23/> ;
  skos:notation "511.31" ;
  skos:prefLabel "Ikke-klassisk logikk"@nb .

<http://dewey.info/class/511.32/e23/>
  a skos:Concept ;
  skos:broader <http://dewey.info/class/511.3/e23/> ;
  skos:notation "511.32" ;
  skos:prefLabel "Mengder"@nb .

<http://dewey.info/class/511.35/e23/>
  a skos:Concept ;
  skos:broader <http://dewey.info/class/511.3/e23/> ;
  skos:notation "511.35" ;
  skos:prefLabel "Rekursjonsteori"@nb .

<http://dewey.info/class/511.36/e23/>
  a skos:Concept ;
  skos:broader <http://dewey.info/class/511.3/e23/> ;
  skos:notation "511.36" ;
  skos:prefLabel "Bevisteori og konstruktiv matematikk"@nb .

<http://dewey.info/class/511.3/e23/>
  a skos:Concept ;
  ns0:classHere "Aksiomer"@nb, "Utsagnslogikk (setningslogikk)"@nb, "Tverrfaglige verker om logikk"@nb, "Første ordens logikk"@nb, "Predikatlogikk"@nb, "Høyere ordens logikk"@nb, "Hypoteser"@nb, "Formallogikk"@nb ;
  ns0:including "Intermediær logikk"@nb, "Sannhetstabeller"@nb, "Logiske operatorer"@nb, "Formalspråk"@nb, "Gödels teorem"@nb, "Typeteori"@nb, "Kombinatorisk logikk"@nb, "Fullstendighetsteorem"@nb, "Utvalgsaksiom"@nb, "Avgjørbarhet"@nb ;
  dc:created "2010-02-04"^^xsd:date ;
  dc:identifier "ocd00145468" ;
  dc:modified "2018-01-23"^^xsd:date ;
  skos:altLabel "Avgjørbarhet"@nb, "Setningslogikk"@nb, "Formalspråk"@nb, "Formallogikk--matematisk logikk"@nb, "Hypoteser--matematikk"@nb, "Intermediær logikk"@nb, "Utvalgsaksiom"@nb, "Formallogikk"@nb, "Typeteori"@nb, "Fullstendighetsteorem"@nb, "Setningslogikk--matematisk logikk"@nb, "Predikatlogikk--matematisk logikk"@nb, "Formalgrammatikk"@nb, "Matematisk logikk"@nb, "Aksiomer--matematisk logikk"@nb, "Symbollogikk"@nb, "Sannhetstabeller--matematisk logikk"@nb, "Første ordens logikk"@nb, "Utsagnslogikk"@nb, "Logiske operatorer--matematisk logikk"@nb, "Utsagnslogikk--matematisk logikk"@nb, "Sannhetstabeller"@nb, "Høyere ordens logikk"@nb, "Kombinatorisk logikk"@nb, "Gödels teorem"@nb, "Logiske operatorer"@nb, "Første ordens logikk--matematisk logikk"@nb, "Predikatlogikk"@nb ;
  skos:broader <http://dewey.info/class/511/e23/> ;
  skos:closeMatch realfagstermer:c001647, realfagstermer:c008146 ;
  skos:exactMatch realfagstermer:c001644, humord:c00719, realfagstermer:c012433, realfagstermer:c012460, realfagstermer:c009970, realfagstermer:c009915, humord:c00727 ;
  skos:inScheme <http://dewey.info/scheme/edition/e23/> ;
  skos:narrowMatch realfagstermer:c008074, realfagstermer:c013206, realfagstermer:c004252, realfagstermer:c012892, realfagstermer:c008132, realfagstermer:c010564, humord:c00726, realfagstermer:c000819, realfagstermer:c013283, realfagstermer:c007398, realfagstermer:c007971, realfagstermer:c011140, realfagstermer:c012891, realfagstermer:c005305, humord:c12542, humord:c00481, realfagstermer:c009667, realfagstermer:c006954, realfagstermer:c003979, realfagstermer:c005371, realfagstermer:c004176 ;
  skos:narrower <http://dewey.info/class/511.32/e23/>, <http://dewey.info/class/511.34/e23/>, <http://dewey.info/class/511.31/e23/>, <http://dewey.info/class/511.36/e23/>, <http://dewey.info/class/511.3076/e23/>, <http://dewey.info/class/511.35/e23/>, <http://dewey.info/class/511.33/e23/> ;
  skos:notation "511.3" ;
  skos:prefLabel "Matematisk logikk (symbolsk logikk)"@nb ;
  skos:relatedMatch humord:c00704 .

<http://dewey.info/class/511.3076/e23/>
  a skos:Concept ;
  skos:broader <http://dewey.info/class/511.3/e23/> ;
  skos:notation "511.3076" ;
  skos:prefLabel "Matematisk logikk--arbeidsbøker"@nb .

<http://dewey.info/class/511/e23/>
  a skos:Concept ;
  skos:narrower <http://dewey.info/class/511.3/e23/> ;
  skos:notation "511" ;
  skos:prefLabel "Generelle matematiske prinsipper"@nb .