@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 bibbi: <https://id.bs.no/bibbi/> .

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

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

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

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

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

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

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

<http://dewey.info/class/511.3/e23/>
  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 ;
  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:closeMatch bibbi:1138967, bibbi:1144551, bibbi:1438152 ;
  skos:notation "511.3" ;
  dc:modified "2018-01-23"^^xsd:date ;
  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/> ;
  dc:identifier "ocd00145468" ;
  a skos:Concept ;
  skos:inScheme <http://dewey.info/scheme/edition/e23/> ;
  skos:prefLabel "Matematisk logikk (symbolsk logikk)"@nb ;
  skos:broader <http://dewey.info/class/511/e23/> .

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

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