@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@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/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

<http://dewey.info/class/005.131/e23/>
  a skos:Concept ;
  ns0:classHere "Formelle grammatikker"@nb, "Automater"@nb, "Formelle språk"@nb, "Matematiske prinsipper for programmeringsspråk"@nb, "Rekursive funksjoner anvendt på programmeringsspråk"@nb ;
  dc:created "2009-12-03"^^xsd:date ;
  dc:identifier "ocd00116881" ;
  dc:modified "2019-12-16"^^xsd:date ;
  skos:altLabel "Symbolsk logikk--programmeringsspråk"@nb, "Matematisk logikk--programmeringsspråk"@nb, "Formelle språk--programmeringsspråk"@nb, "Formelle grammatikker--programmeringsspråk"@nb ;
  skos:broader <http://dewey.info/class/005.13/e23/> ;
  skos:closeMatch realfagstermer:c006189, realfagstermer:c012433, realfagstermer:c002404 ;
  skos:exactMatch humord:c00719, realfagstermer:c001644 ;
  skos:inScheme <http://dewey.info/scheme/edition/e23/> ;
  skos:narrowMatch realfagstermer:c002432, realfagstermer:c011414, realfagstermer:c004176, realfagstermer:c006461, realfagstermer:c005839, realfagstermer:c004339, realfagstermer:c010253, realfagstermer:c013201, humord:c00726, realfagstermer:c004252, realfagstermer:c007083, realfagstermer:c002768, realfagstermer:c006686, realfagstermer:c008109, realfagstermer:c006954, humord:c44671, realfagstermer:c000115, humord:c04242, realfagstermer:c001373, realfagstermer:c011502, realfagstermer:c003979, realfagstermer:c000576, realfagstermer:c000626 ;
  skos:notation "005.131" ;
  skos:prefLabel "Symbolsk logikk (matematisk logikk)"@nb ;
  skos:relatedMatch realfagstermer:c004128, realfagstermer:c008132, realfagstermer:c010134, realfagstermer:c009915, realfagstermer:c013206, realfagstermer:c008027, humord:c06396 .

<http://dewey.info/class/005.13/e23/>
  a skos:Concept ;
  skos:narrower <http://dewey.info/class/005.131/e23/> ;
  skos:notation "005.13" ;
  skos:prefLabel "Dataprogrammering"@nb .

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