@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:-XJWLBZKZ-8
  skos:prefLabel "elementary arithmetic"@en, "arithmétique élémentaire"@fr ;
  a skos:Concept ;
  skos:narrower psr:-DDJ6PXBZ-R .

psr:-DDJ6PXBZ-R
  dc:created "2023-09-22"^^xsd:date ;
  dc:modified "2023-09-22"^^xsd:date ;
  a skos:Concept ;
  skos:inScheme psr: ;
  skos:broader psr:-NRJSM1FG-4, psr:-XJWLBZKZ-8 ;
  skos:prefLabel "fonction successeur"@fr, "successor function"@en ;
  skos:altLabel "successor operation"@en .

psr:-NRJSM1FG-4
  skos:prefLabel "logique mathématique"@fr, "mathematical logic"@en ;
  a skos:Concept ;
  skos:narrower psr:-DDJ6PXBZ-R .