@prefix nllsh: <http://dati.lnb.lv/onto/subject/> .
@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#> .

nllsh:LNC10-000048118
  skos:prefLabel "Simboliskā un matemātiskā loģika"@lv, "Logic, Symbolic and mathematical"@en ;
  a skos:Concept ;
  skos:narrower nllsh:LNC10-000137654 .

nllsh:LNC10-000137654
  a skos:Concept ;
  skos:altLabel "Todistusteoria"@fi ;
  skos:prefLabel "Proof theory"@en, "Pierādījuma teorija"@lv ;
  skos:closeMatch <http://www.yso.fi/onto/yso/p455>, <http://id.worldcat.org/fast/1078942>, <http://id.loc.gov/authorities/subjects/sh85107437>, <https://www.wikidata.org/entity/Q852732> ;
  dc:created "2009-10-19"^^xsd:date ;
  skos:inScheme nllsh: ;
  dc:identifier "LNC10-000137654" ;
  skos:broader nllsh:LNC10-000048118 ;
  skos:narrower nllsh:LNC10-000165855 ;
  dc:modified "2022-05-16"^^xsd:date .

nllsh:LNC10-000165855
  skos:prefLabel "Nepilnības teorēmas"@lv, "Incompleteness theorems"@en ;
  a skos:Concept ;
  skos:broader nllsh:LNC10-000137654 .