@prefix lcsh: <http://www.yso.fi/onto/lcsh/> .
@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#> .

lcsh:sh85112012
  skos:notation "QA9.6" ;
  skos:prefLabel "Recursion theory"@en ;
  a skos:Concept .

lcsh:sh85093222
  skos:notation "QA241-QA246" ;
  skos:prefLabel "Number theory"@en ;
  a skos:Concept .

<http://data.bnf.fr/ark:/12148/cb11977577z> skos:closeMatch lcsh:sh85112014 .
lcsh:sh85078115
  skos:notation "BC131-BC135", "QA9-QA10.3" ;
  skos:prefLabel "Logic, Symbolic and mathematical"@en ;
  a skos:Concept .

<http://d-nb.info/gnd/4138367-9> skos:closeMatch lcsh:sh85112014 .
lcsh:sh85003487
  skos:prefLabel "Algorithms"@en ;
  a skos:Concept .

lcsh:sh85007169
  skos:notation "QA248" ;
  skos:prefLabel "Arithmetic--Foundations"@en ;
  a skos:Concept .

lcsh:sh85036457 skos:broader lcsh:sh85112014 .
lcsh:sh85000933 skos:broader lcsh:sh85112014 .
lcsh:sh85141199 skos:broader lcsh:sh85112014 .
lcsh:sh85112014
  skos:broader lcsh:sh85007169, lcsh:sh85093222, lcsh:sh85112012, lcsh:sh85078115, lcsh:sh85003487 ;
  skos:altLabel "Functions, Recursive"@en ;
  a skos:Concept ;
  skos:related lcsh:sh85036191 ;
  skos:member lcsh:collection_LCSHAuthorizedHeadings, lcsh:collection_LCSH_General ;
  skos:closeMatch <http://d-nb.info/gnd/4138367-9>, <http://data.bnf.fr/ark:/12148/cb11977577z> ;
  dc:created "1986-02-11T00:00:00"^^xsd:dateTime ;
  skos:notation "QA9.615" ;
  skos:prefLabel "Recursive functions"@en ;
  dc:modified "1989-08-01T16:28:46"^^xsd:dateTime ;
  skos:inScheme <http://www.yso.fi/onto/lcsh> .

lcsh:sh85036191
  skos:notation "QA9.65" ;
  skos:prefLabel "Decidability (Mathematical logic)"@en ;
  a skos:Concept ;
  skos:related lcsh:sh85112014 .

<http://www.yso.fi/onto/lcsh> a skos:ConceptScheme .
lcsh:sh85079341 skos:broader lcsh:sh85112014 .