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

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

dom:-Z0FKG4KJ-W
  skos:notation "001B00B10J" ;
  skos:prefLabel "systèmes mathématiques généraux"@fr, "general mathematical systems"@en ;
  a skos:Concept ;
  skos:broader dom:-FT30CLJZ-9 .

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

