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

<http://dewey.info/class/511.3/e23/>
  skos:notation "511.3" ;
  skos:prefLabel "Matematisk logikk (symbolsk logikk)"@nb ;
  a skos:Concept ;
  skos:narrower <http://dewey.info/class/511.35/e23/> .

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

<http://dewey.info/class/511.35/e23/>
  skos:altLabel "Maskinteori--matematikk"@nb, "Petrinett"@nb, "Automater--matematikk"@nb, "Lambdakalkyle"@nb, "Turingmaskiner"@nb, "Cellulære automater"@nb, "Sekvensielle maskiner"@nb, "Cellulære automater--matematikk"@nb ;
  a skos:Concept ;
  ns0:classHere "Turingmaskiner"@nb, "Sekvensielle maskiner"@nb, "Maskinteori"@nb, "Automatteori"@nb ;
  skos:broader <http://dewey.info/class/511.3/e23/> ;
  skos:narrower <http://dewey.info/class/511.352/e23/> ;
  skos:prefLabel "Rekursjonsteori"@nb ;
  ns0:including "Petrinett"@nb, "Cellulære automater"@nb, "Lambdakalkyle"@nb ;
  dc:modified "2025-04-08"^^xsd:date ;
  dc:created "2010-02-04"^^xsd:date ;
  skos:notation "511.35" ;
  skos:inScheme <http://dewey.info/scheme/edition/e23/> ;
  dc:identifier "ocd00145480" .

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