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

<http://dewey.info/class/005.131/e23/>
  skos:altLabel "Formelle grammatikker--programmeringsspråk"@nb, "Symbolsk logikk--programmeringsspråk"@nb, "Matematisk logikk--programmeringsspråk"@nb, "Formelle språk--programmeringsspråk"@nb ;
  dc:modified "2019-12-16"^^xsd:date ;
  skos:inScheme <http://dewey.info/scheme/edition/e23/> ;
  ns0:classHere "Matematiske prinsipper for programmeringsspråk"@nb, "Rekursive funksjoner anvendt på programmeringsspråk"@nb, "Formelle språk"@nb, "Automater"@nb, "Formelle grammatikker"@nb ;
  dc:created "2009-12-03"^^xsd:date ;
  dc:identifier "ocd00116881" ;
  skos:broader <http://dewey.info/class/005.13/e23/> ;
  skos:notation "005.131" ;
  a skos:Concept ;
  skos:prefLabel "Symbolsk logikk (matematisk logikk)"@nb .

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

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