@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-000290466
  skos:prefLabel "Datoru loģika"@lv, "Computer logic"@en ;
  a skos:Concept ;
  skos:broader nllsh:LNC10-000048118 .

nllsh:LNC10-000074139
  skos:prefLabel "Kopu teorija"@lv, "Set theory"@en ;
  a skos:Concept ;
  skos:related nllsh:LNC10-000048118 .

nllsh:LNC10-000203789
  skos:prefLabel "Rekursijas teorija"@lv, "Recursion theory"@en ;
  a skos:Concept ;
  skos:broader nllsh:LNC10-000048118 .

nllsh:LNC10-000196238
  skos:prefLabel "Algebriskā loģika"@lv, "Algebraic logic"@en ;
  a skos:Concept ;
  skos:related nllsh:LNC10-000048118 .

nllsh:LNC10-000297958
  skos:prefLabel "Pilnības teorēma"@lv, "Completeness theorem"@en ;
  a skos:Concept ;
  skos:broader nllsh:LNC10-000048118 .

nllsh:LNC10-000103978
  skos:prefLabel "Pārslēgšanas teorija"@lv, "Switching theory"@en ;
  a skos:Concept ;
  skos:broader nllsh:LNC10-000048118 .

nllsh:LNC10-000068036
  skos:prefLabel "Automātu teorija"@lv, "Automata theory"@en ;
  a skos:Concept ;
  skos:broader nllsh:LNC10-000048118 .

nllsh:LNC10-000130532
  skos:prefLabel "Siloģisms"@lv, "Syllogism"@en ;
  a skos:Concept ;
  skos:related nllsh:LNC10-000048118 .

nllsh:LNC10-000165558
  skos:prefLabel "Rekursīvās funkcijas"@lv, "Recursive functions"@en ;
  a skos:Concept ;
  skos:broader nllsh:LNC10-000048118 .

nllsh:LNC10-000131277
  skos:prefLabel "Lambda rēķini"@lv, "Lambda calculus"@en ;
  a skos:Concept ;
  skos:broader nllsh:LNC10-000048118 .

nllsh:LNC10-000077198
  skos:prefLabel "Faziloģika"@lv, "Fuzzy logic"@en ;
  a skos:Concept ;
  skos:broader nllsh:LNC10-000048118 .

nllsh:LNC10-000348714
  skos:prefLabel "Algoritmu teorija"@lv, "Theory of algorithms"@en ;
  a skos:Concept ;
  skos:broader nllsh:LNC10-000048118 .

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

nllsh:LNC10-000137654
  skos:prefLabel "Pierādījuma teorija"@lv, "Proof theory"@en ;
  a skos:Concept ;
  skos:broader nllsh:LNC10-000048118 .

nllsh:LNC10-000077031
  skos:prefLabel "Zinātnes metodoloģija"@lv, "Science--Methodology"@en ;
  a skos:Concept ;
  skos:broader nllsh:LNC10-000048118 .

nllsh:LNC10-000048110
  skos:prefLabel "Semantika (filozofija)"@lv, "Semantics (Philosophy)"@en ;
  a skos:Concept ;
  skos:broader nllsh:LNC10-000048118 .

nllsh:LNC10-000232575
  skos:prefLabel "Aksiomātiskā kopu teorija"@lv, "Axiomatic set theory"@en ;
  a skos:Concept ;
  skos:broader nllsh:LNC10-000048118 .

nllsh:LNC10-000050739
  skos:prefLabel "Matemātika"@lv, "Mathematics"@en ;
  a skos:Concept ;
  skos:narrower nllsh:LNC10-000048118 .

nllsh:LNC10-000048647
  skos:prefLabel "Pragmatika"@lv, "Pragmatics"@en ;
  a skos:Concept ;
  skos:broader nllsh:LNC10-000048118 .

nllsh:LNC10-000179556
  skos:prefLabel "Neklasiskā matemātiskā loģika"@lv, "Nonclassical mathematical logic"@en ;
  a skos:Concept ;
  skos:broader nllsh:LNC10-000048118 .

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

nllsh:LNC10-000153887
  skos:prefLabel "Kategorijas (matemātika)"@lv, "Categories (Mathematics)"@en ;
  a skos:Concept ;
  skos:broader nllsh:LNC10-000048118 .

nllsh:LNC10-000117519
  skos:prefLabel "Abstraktā algebra"@lv, "Abstract algebra"@en ;
  a skos:Concept ;
  skos:related nllsh:LNC10-000048118 .

nllsh:LNC10-000048118
  skos:narrower nllsh:LNC10-000101674, nllsh:LNC10-000077198, nllsh:LNC10-000165558, nllsh:LNC10-000131277, nllsh:LNC10-000138852, nllsh:LNC10-000179556, nllsh:LNC10-000203789, nllsh:LNC10-000348714, nllsh:LNC10-000290466, nllsh:LNC10-000297958, nllsh:LNC10-000077031, nllsh:LNC10-000103978, nllsh:LNC10-000068036, nllsh:LNC10-000048110, nllsh:LNC10-000048647, nllsh:LNC10-000232575, nllsh:LNC10-000153887, nllsh:LNC10-000137654 ;
  skos:inScheme nllsh: ;
  skos:prefLabel "Logic, Symbolic and mathematical"@en, "Simboliskā un matemātiskā loģika"@lv ;
  skos:altLabel "Matemātiskā un simboliskā loģika"@lv, "Simboliskā loģika"@lv, "Mathematical logic"@en, "Loģika, simboliskā un matemātiskā"@lv, "Matemaattinen logiikka"@fi, "Matemātiskā loģika"@lv, "Algebra, loģikas"@lv, "Loģikas algebra"@lv ;
  dc:modified "2022-05-13"^^xsd:date ;
  skos:closeMatch <http://www.yso.fi/onto/yso/p15194>, <https://www.wikidata.org/entity/Q1166618>, <http://id.loc.gov/authorities/subjects/sh85078115>, <http://id.worldcat.org/fast/1002068> ;
  skos:note "Source: Latvijas padomju enciklopēdija, 1985:" ;
  dc:identifier "LNC10-000048118" ;
  dc:created "2004-07-02"^^xsd:date ;
  skos:related nllsh:LNC10-000196238, nllsh:LNC10-000074139, nllsh:LNC10-000117519, nllsh:LNC10-000130532 ;
  skos:broader nllsh:LNC10-000050739 ;
  a skos:Concept .