@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.3/e23/>
  a skos:Concept ;
  skos:narrower <http://dewey.info/class/511.35/e23/> ;
  skos:notation "511.3" ;
  skos:prefLabel "Matematisk logikk (symbolsk logikk)"@nb .

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

<http://dewey.info/class/511.35/e23/>
  a skos:Concept ;
  ns0:classHere "Turingmaskiner"@nb, "Sekvensielle maskiner"@nb, "Maskinteori"@nb, "Automatteori"@nb ;
  ns0:including "Lambdakalkyle"@nb, "Cellulære automater"@nb, "Petrinett"@nb ;
  dc:created "2010-02-04"^^xsd:date ;
  dc:identifier "ocd00145480" ;
  dc:modified "2026-04-30"^^xsd:date ;
  skos:altLabel "Cellulære automater--matematikk"@nb, "Automater--matematikk"@nb, "Turingmaskiner"@nb, "Maskinteori--matematikk"@nb, "Sekvensielle maskiner"@nb, "Lambdakalkyle"@nb, "Cellulære automater"@nb, "Petrinett"@nb ;
  skos:broader <http://dewey.info/class/511.3/e23/> ;
  skos:closeMatch realfagstermer:c013201, realfagstermer:c001768, humord:c04203, humord:c04242 ;
  skos:exactMatch humord:c12380 ;
  skos:inScheme <http://dewey.info/scheme/edition/e23/> ;
  skos:narrowMatch realfagstermer:c003378, realfagstermer:c000372, humord:c08171, realfagstermer:c009393, realfagstermer:c006465, realfagstermer:c001230, realfagstermer:c003587 ;
  skos:narrower <http://dewey.info/class/511.352/e23/> ;
  skos:notation "511.35" ;
  skos:prefLabel "Rekursjonsteori"@nb ;
  skos:relatedMatch realfagstermer:c006405, realfagstermer:c008027, realfagstermer:c001373, realfagstermer:c006189, realfagstermer:c004194, realfagstermer:c010954 .

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