@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:-NGR27Z8W-6
  dc:created "2023-09-26"^^xsd:date ;
  dc:modified "2023-09-26"^^xsd:date ;
  a skos:Concept ;
  skos:inScheme psr: ;
  skos:broader psr:-RMQ1RP9W-P ;
  skos:prefLabel "closed-subgroup theorem"@en, "théorème de Cartan-von Neumann"@fr ;
  skos:altLabel "Cartan's theorem"@en, "théorème du sous-groupe fermé"@fr .

psr:-RMQ1RP9W-P
  skos:prefLabel "groupe de Lie"@fr, "Lie group"@en ;
  a skos:Concept ;
  skos:narrower psr:-NGR27Z8W-6 .