@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:sh85031452
  skos:notation "QA9.56" ;
  skos:prefLabel "Constructive mathematics"@en ;
  a skos:Concept .

lcsh:sh85029469
  skos:notation "QA9.59" ;
  skos:member lcsh:collection_LCSH_General, lcsh:collection_LCSHAuthorizedHeadings ;
  skos:altLabel "Recursive functions, Partial"@en, "Computability theory"@en, "Functions, Computable"@en, "Partial recursive functions"@en ;
  dc:modified "1987-04-03T09:01:10"^^xsd:dateTime ;
  skos:closeMatch <http://d-nb.info/gnd/4138368-0>, <http://data.bnf.fr/ark:/12148/cb119798658> ;
  skos:related lcsh:sh85036191 ;
  skos:broader lcsh:sh85031452 ;
  skos:inScheme <http://www.yso.fi/onto/lcsh> ;
  dc:created "1986-02-11T00:00:00"^^xsd:dateTime ;
  a skos:Concept ;
  skos:prefLabel "Computable functions"@en .

<http://d-nb.info/gnd/4138368-0> skos:closeMatch lcsh:sh85029469 .
lcsh:sh85036191
  skos:notation "QA9.65" ;
  skos:prefLabel "Decidability (Mathematical logic)"@en ;
  a skos:Concept ;
  skos:related lcsh:sh85029469 .

<http://www.yso.fi/onto/lcsh> a skos:ConceptScheme .
<http://data.bnf.fr/ark:/12148/cb119798658> skos:closeMatch lcsh:sh85029469 .