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

dom: a skos:ConceptScheme .
dom:-D687JZ01-8
  skos:notation "001A02A02" ;
  skos:prefLabel "set theory"@en, "théorie des ensembles"@fr ;
  a skos:Concept ;
  skos:broader dom:-Z1L0RHZL-7 .

dom:-Z1L0RHZL-7
  skos:notation "001A02A" ;
  skos:narrower dom:-FT30CLJZ-9, dom:-D687JZ01-8 ;
  a skos:Concept ;
  skos:inScheme dom: ;
  skos:broader dom:-B42LWG62-F ;
  skos:prefLabel "logique mathématique, fondements, théorie des ensembles"@fr, "mathematical logic, foundations, set theory"@en .

dom:-FT30CLJZ-9
  skos:notation "001A02A01" ;
  skos:prefLabel "logic and foundations"@en, "logique et fondements"@fr ;
  a skos:Concept ;
  skos:broader dom:-Z1L0RHZL-7 .

dom:-B42LWG62-F
  skos:notation "001A02" ;
  skos:prefLabel "mathématiques"@fr, "mathematics"@en ;
  a skos:Concept ;
  skos:narrower dom:-Z1L0RHZL-7 .

