@prefix psr: <http://data.loterre.fr/ark:/67375/PSR> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

psr:-HV084N3C-L
  dc:created "2023-07-19"^^xsd:date ;
  skos:prefLabel "théorème de Sard"@fr, "Sard's theorem"@en ;
  skos:broader psr:-SKTRS1V0-R, psr:-R6THHLSB-1, psr:-MHPG0QZH-R ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Sard%27s_theorem>, <https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_de_Sard> ;
  skos:inScheme psr: ;
  skos:altLabel "Morse-Sard theorem"@en, "Sard's lemma"@en, "théorème de Morse-Sard"@fr, "lemme de Sard"@fr ;
  skos:definition """Le théorème de Sard, connu aussi sous le nom de lemme de Sard ou théorème de Morse-Sard, est un résultat de mathématiques qui donne des informations sur l'image <i>K</i> de l'ensemble des points critiques d'une fonction suffisamment régulière d'un espace euclidien vers un autre. Le théorème énonce que l'ensemble <i>K</i> est alors négligeable pour la mesure de Lebesgue. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_de_Sard">https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_de_Sard</a>)"""@fr, """In mathematics, Sard's theorem, also known as Sard's lemma or the Morse–Sard theorem, is a result in mathematical analysis that asserts that the set of critical values (that is, the image of the set of critical points) of a smooth function <i>f</i> from one Euclidean space or manifold to another is a null set, i.e., it has Lebesgue measure 0. This makes the set of critical values "small" in the sense of a generic property. The theorem is named for Anthony Morse and Arthur Sard. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Sard%27s_theorem">https://en.wikipedia.org/wiki/Sard%27s_theorem</a>)"""@en ;
  dc:modified "2023-08-24"^^xsd:date ;
  a skos:Concept .

psr:-SKTRS1V0-R
  skos:prefLabel "real analysis"@en, "analyse réelle"@fr ;
  a skos:Concept ;
  skos:narrower psr:-HV084N3C-L .

psr: a skos:ConceptScheme .
psr:-R6THHLSB-1
  skos:prefLabel "singularity theory"@en, "théorie des singularités"@fr ;
  a skos:Concept ;
  skos:narrower psr:-HV084N3C-L .

psr:-MHPG0QZH-R
  skos:prefLabel "multivariable calculus"@en, "calcul multivariable"@fr ;
  a skos:Concept ;
  skos:narrower psr:-HV084N3C-L .