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

psr: a skos:ConceptScheme .
psr:-WSV4W5WP-1
  skos:prefLabel "analytic function"@en, "fonction analytique"@fr ;
  a skos:Concept ;
  skos:related psr:-WX4R0T02-R .

psr:-RN57KZJ9-9
  skos:prefLabel "analyse complexe"@fr, "complex analysis"@en ;
  a skos:Concept ;
  skos:narrower psr:-WX4R0T02-R .

psr:-WX4R0T02-R
  skos:inScheme psr: ;
  skos:prefLabel "formule de Jensen"@fr, "Jensen's formula"@en ;
  skos:definition """In the mathematical field known as complex analysis, Jensen's formula, introduced by Johan Jensen (1899), relates the average magnitude of an analytic function on a circle with the number of its zeros inside the circle. It forms an important statement in the study of entire functions. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Jensen%27s_formula">https://en.wikipedia.org/wiki/Jensen%27s_formula</a>)"""@en, """La formule de Jensen (d'après le mathématicien Johan Jensen) est un résultat d'analyse complexe qui décrit le comportement d'une fonction analytique sur un cercle par rapport aux modules des zéros de cette fonction. Elle est d'une aide précieuse pour l'étude des fonctions entières. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Formule_de_Jensen">https://fr.wikipedia.org/wiki/Formule_de_Jensen</a>)"""@fr ;
  a skos:Concept ;
  skos:broader psr:-RN57KZJ9-9 ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Formule_de_Jensen>, <https://en.wikipedia.org/wiki/Jensen%27s_formula> ;
  skos:related psr:-WSV4W5WP-1 .