@prefix psr: <http://data.loterre.fr/ark:/67375/PSR> .
@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#> .

psr:-WG0SLJKC-4
  skos:prefLabel "computability theory"@en, "théorie de la calculabilité"@fr ;
  a skos:Concept ;
  skos:narrower psr:-T3PNK5D3-7 .

psr: a skos:ConceptScheme .
psr:-T3PNK5D3-7
  skos:broader psr:-WG0SLJKC-4 ;
  skos:altLabel "fonction calculable"@fr, "partial recursive function"@en, "μ-recursive function"@en ;
  skos:inScheme psr: ;
  skos:narrower psr:-R6T6536J-K ;
  dc:modified "2023-09-27"^^xsd:date ;
  skos:prefLabel "general recursive function"@en, "fonction récursive"@fr ;
  dc:created "2023-09-22"^^xsd:date ;
  a skos:Concept .

psr:-R6T6536J-K
  skos:prefLabel "Sudan function"@en, "fonction de Sudan"@fr ;
  a skos:Concept ;
  skos:broader psr:-T3PNK5D3-7 .