@prefix psr: <http://data.loterre.fr/ark:/67375/PSR> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

psr: a skos:ConceptScheme .
psr:-Z5NBGSJC-F
  skos:prefLabel "nombre"@fr, "number"@en ;
  a skos:Concept ;
  skos:narrower psr:-SPX44C8G-0 .

psr:-SPX44C8G-0
  skos:prefLabel "nombre réel calculable"@fr, "computable number"@en ;
  skos:broader psr:-Z5NBGSJC-F ;
  a skos:Concept ;
  skos:altLabel "computable real"@en, "recursive real"@en, "effective number"@en, "recursive number"@en ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Computable_number>, <https://fr.wikipedia.org/wiki/Nombre_r%C3%A9el_calculable> ;
  skos:inScheme psr: ;
  skos:definition """In mathematics, computable numbers are the real numbers that can be computed to within any desired precision by a finite, terminating algorithm. They are also known as the recursive numbers, effective numbers or the computable reals or recursive reals. The concept of a computable real number was introduced by Emile Borel in 1912, using the intuitive notion of computability available at the time. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Computable_number">https://en.wikipedia.org/wiki/Computable_number</a>)"""@en, """En informatique et algorithmique, un nombre réel calculable est un réel pour lequel il existe un algorithme ou une machine de Turing permettant d'énumérer la suite de ses chiffres (éventuellement infinie), ou plus généralement des symboles de son écriture sous forme de chaîne de caractères. De manière plus générale, et équivalente, un nombre réel est calculable si on peut en calculer une approximation aussi précise que l'on veut, avec une précision connue. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Nombre_r%C3%A9el_calculable">https://fr.wikipedia.org/wiki/Nombre_r%C3%A9el_calculable</a>)"""@fr .