@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:-XBCM5WH6-K
  dc:modified "2023-07-26"^^xsd:date ;
  skos:prefLabel "fonction de Conway en base 13"@fr, "Conway base 13 function"@en ;
  skos:broader psr:-MDFZ99KQ-Q, psr:-FH1H1FB9-1 ;
  skos:definition """The Conway base 13 function is a function created by British mathematician John H. Conway as a counterexample to the converse of the intermediate value theorem. In other words, it is a function that satisfies a particular intermediate-value property—on any interval (<i>a</i>, <i>b</i>), the function <i>f</i> takes every value between <i>f</i>(<i>a</i>) and <i>f</i>(<i>b</i>)—but is not continuous. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Conway_base_13_function">https://en.wikipedia.org/wiki/Conway_base_13_function</a>)"""@en, """La fonction de Conway en base 13, créée par le mathématicien britannique John H. Conway, est un contre-exemple extrême à la réciproque du théorème des valeurs intermédiaires. En effet, bien que cette fonction réelle <i>f</i> soit discontinue en tout point, elle vérifie la propriété des valeurs intermédiaires, c'est-à-dire que pour tous réels <i>a</i>, <i>b</i> et <i>r</i> tels que <i>f</i>(<i>a</i>) < <i>r</i> < <i>f</i>(<i>b</i>), il existe c entre <i>a</i> et <i>b</i> tel que <i>f</i>(<i>c</i>) = <i>r</i>. En réalité, la fonction vérifie une propriété bien plus forte que les deux précédentes : l'image par <i>f</i> de tout intervalle non trivial est <b>R</b>. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Fonction_de_Conway_en_base_13">https://fr.wikipedia.org/wiki/Fonction_de_Conway_en_base_13</a>)"""@fr ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Conway_base_13_function>, <https://fr.wikipedia.org/wiki/Fonction_de_Conway_en_base_13> ;
  skos:inScheme psr: ;
  dc:created "2023-07-26"^^xsd:date ;
  a skos:Concept .

psr:-MDFZ99KQ-Q
  skos:prefLabel "fonction numérique"@fr, "real-valued function"@en ;
  a skos:Concept ;
  skos:narrower psr:-XBCM5WH6-K .

psr:-FH1H1FB9-1
  skos:prefLabel "special function"@en, "fonction spéciale"@fr ;
  a skos:Concept ;
  skos:narrower psr:-XBCM5WH6-K .