@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:altLabel "recursion theory"@en, "théorie de la récursion"@fr ;
  skos:narrower psr:-T3PNK5D3-7 ;
  skos:prefLabel "théorie de la calculabilité"@fr, "computability theory"@en ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Computability_theory>, <https://fr.wikipedia.org/wiki/Th%C3%A9orie_de_la_calculabilit%C3%A9> ;
  skos:broader psr:-NRJSM1FG-4 ;
  a skos:Concept ;
  skos:definition """La théorie de la calculabilité (appelée aussi parfois théorie de la récursion) est un domaine de la logique mathématique et de l'informatique théorique. La calculabilité (parfois appelée « computationnalité », de l'anglais computability) cherche d'une part à identifier la classe des fonctions qui peuvent être calculées à l'aide d'un algorithme et d'autre part à appliquer ces concepts à des questions fondamentales des mathématiques. Une bonne appréhension de ce qui est calculable et de ce qui ne l'est pas permet de voir les limites des problèmes que peuvent résoudre les ordinateurs. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Th%C3%A9orie_de_la_calculabilit%C3%A9">https://fr.wikipedia.org/wiki/Th%C3%A9orie_de_la_calculabilit%C3%A9</a>)"""@fr, """ Computability theory, also known as recursion theory, is a branch of mathematical logic, computer science, and the theory of computation that originated in the 1930s with the study of computable functions and Turing degrees. The field has since expanded to include the study of generalized computability and definability. In these areas, computability theory overlaps with proof theory and effective descriptive set theory. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Computability_theory">https://en.wikipedia.org/wiki/Computability_theory</a>)"""@en ;
  dc:created "2023-07-28"^^xsd:date ;
  dc:modified "2023-07-28"^^xsd:date ;
  skos:inScheme psr: .

psr: a skos:ConceptScheme .
psr:-T3PNK5D3-7
  skos:prefLabel "general recursive function"@en, "fonction récursive"@fr ;
  a skos:Concept ;
  skos:broader psr:-WG0SLJKC-4 .

psr:-NRJSM1FG-4
  skos:prefLabel "logique mathématique"@fr, "mathematical logic"@en ;
  a skos:Concept ;
  skos:narrower psr:-WG0SLJKC-4 .