@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-000297958
  skos:narrower nllsh:LNC10-000138852 ;
  dc:identifier "LNC10-000297958" ;
  skos:note "Source: Podnieks, K. Matemātiskā loģika - 2020.11.02." ;
  dc:created "2020-11-02"^^xsd:date ;
  dc:modified "2022-05-16"^^xsd:date ;
  skos:broader nllsh:LNC10-000101674, nllsh:LNC10-000048118 ;
  skos:altLabel "Pilnības teorēmas"@lv, "Teorēma, pilnības"@lv, "Predikātu loģikas pilnības teorēma"@lv, "Gēdela pilnības teorēma"@lv, "Gēdela teorēma par pilnību"@lv ;
  skos:prefLabel "Pilnības teorēma"@lv, "Completeness theorem"@en ;
  skos:inScheme nllsh: ;
  skos:closeMatch <http://id.worldcat.org/fast/871577>, <http://id.loc.gov/authorities/subjects/sh85029362>, <https://www.wikidata.org/entity/Q902052> ;
  a skos:Concept .

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

nllsh:LNC10-000101674
  skos:prefLabel "Modeļu teorija"@lv, "Model theory"@en ;
  a skos:Concept ;
  skos:narrower nllsh:LNC10-000297958 .

nllsh:LNC10-000138852
  skos:prefLabel "Gēdela teorēma"@lv, "Gödel's incompleteness theorems"@en ;
  a skos:Concept ;
  skos:broader nllsh:LNC10-000297958 .