@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:-RMQ1RP9W-P
  skos:prefLabel "groupe de Lie"@fr, "Lie group"@en ;
  a skos:Concept ;
  skos:related psr:-GSXNJJR7-M .

psr:-GSXNJJR7-M
  skos:definition """La conjecture d'Oppenheim appartient à la théorie mathématique de l'approximation diophantienne. Formulée en 1929 par Alexander Oppenheim puis renforcée par Harold Davenport, elle concerne la représentation des nombres par des formes quadratiques. Dans les recherches initiales, on prenait le nombre de variables assez grand et l'on appliquait une version de la méthode du cercle de Hardy-Littlewood. En 1987, Gregori Margulis a complètement résolu la conjecture, par des méthodes issues de la théorie ergodique et de l'étude des sous-groupes discrets des groupes de Lie semi-simples. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Conjecture_d%27Oppenheim">https://fr.wikipedia.org/wiki/Conjecture_d%27Oppenheim</a>)"""@fr, """In Diophantine approximation, the Oppenheim conjecture concerns representations of numbers by real quadratic forms in several variables. It was formulated in 1929 by Alexander Oppenheim and later the conjectured property was further strengthened by Harold Davenport and Oppenheim. Initial research on this problem took the number n of variables to be large, and applied a version of the Hardy-Littlewood circle method. The definitive work of Margulis, settling the conjecture in the affirmative, used methods arising from ergodic theory and the study of discrete subgroups of semisimple Lie groups. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Oppenheim_conjecture">https://en.wikipedia.org/wiki/Oppenheim_conjecture</a>)"""@en ;
  skos:related psr:-RMQ1RP9W-P, psr:-H31GC9Q4-H ;
  dc:created "2023-08-30"^^xsd:date ;
  a skos:Concept ;
  skos:prefLabel "conjecture d'Oppenheim"@fr, "Oppenheim conjecture"@en ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Oppenheim_conjecture>, <https://fr.wikipedia.org/wiki/Conjecture_d%27Oppenheim> ;
  skos:broader psr:-Z1B19BG4-0 ;
  dc:modified "2023-08-30"^^xsd:date ;
  skos:inScheme psr: .

psr:-Z1B19BG4-0
  skos:prefLabel "approximation diophantienne"@fr, "Diophantine approximation"@en ;
  a skos:Concept ;
  skos:narrower psr:-GSXNJJR7-M .

psr: a skos:ConceptScheme .
psr:-H31GC9Q4-H
  skos:prefLabel "quadratic form"@en, "forme quadratique"@fr ;
  a skos:Concept ;
  skos:related psr:-GSXNJJR7-M .