@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: a skos:ConceptScheme .
psr:-XZBJ865P-9
  skos:prefLabel "nombre réel"@fr, "real number"@en ;
  a skos:Concept ;
  skos:narrower psr:-HZW983QZ-4 .

psr:-HZW983QZ-4
  a skos:Concept ;
  skos:broader psr:-R2ZQC914-N, psr:-XZBJ865P-9 ;
  dc:modified "2023-08-03"^^xsd:date ;
  skos:prefLabel "disjunctive sequence"@en, "nombre univers"@fr ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Nombre_univers>, <https://en.wikipedia.org/wiki/Disjunctive_sequence> ;
  dc:created "2023-08-03"^^xsd:date ;
  skos:inScheme psr: ;
  skos:definition """A disjunctive sequence is an infinite sequence (over a finite alphabet of characters) in which every finite string appears as a substring. For instance, the binary Champernowne sequence
<br/>    0 1 00 01 10 11 000 001 … 
<br/>formed by concatenating all binary strings in shortlex order, clearly contains all the binary strings and so is disjunctive. (The spaces above are not significant and are present solely to make clear the boundaries between strings). 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Disjunctive_sequence">https://en.wikipedia.org/wiki/Disjunctive_sequence</a>)"""@en, """Un nombre univers est un nombre réel dans les décimales duquel on peut trouver n'importe quelle succession de chiffres de longueur finie, pour une base donnée. Ainsi, si l'on se donne une manière de coder les caractères d'un livre selon une suite de chiffres (ce qui est le cas, par exemple, dans tout format informatique), on trouvera dans un nombre univers tous les livres déjà écrits et à venir, y compris celui de l'histoire de votre vie passée et future. Mais on ne peut bien sûr pas en tirer une quelconque information : ce serait aussi efficace que de générer une succession aléatoire de lettres et de réessayer jusqu'à obtenir le livre que l'on cherche, et cela suppose de le connaître déjà lettre par lettre. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Nombre_univers">https://fr.wikipedia.org/wiki/Nombre_univers</a>)"""@fr .

psr:-R2ZQC914-N
  skos:prefLabel "suite"@fr, "sequence"@en ;
  a skos:Concept ;
  skos:narrower psr:-HZW983QZ-4 .