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

dom: a skos:ConceptScheme .
dom:-K01NZRX6-W
  skos:notation "001D02A06" ;
  skos:prefLabel "recherche d'information ; graphe"@fr, "information retrieval; graph"@en ;
  a skos:Concept ;
  skos:broader dom:-PC4NVFTF-Q .

dom:-HP3V3VMP-D
  skos:notation "001D02A03" ;
  skos:prefLabel "automates ; machines abstraites ; machines de Turing"@fr, "automata; abstract machines; Turing machines"@en ;
  a skos:Concept ;
  skos:broader dom:-PC4NVFTF-Q .

dom:-PJDJNWRV-4
  skos:notation "001D02A02" ;
  skos:prefLabel "théorie des langages et analyse syntaxique"@fr, "language theory and syntactical analysis"@en ;
  a skos:Concept ;
  skos:broader dom:-PC4NVFTF-Q .

dom:-RBNVZ5LX-D
  skos:prefLabel "electronics, computer science"@en, "électronique, informatique"@fr ;
  a skos:Concept ;
  skos:narrower dom:-PC4NVFTF-Q .

dom:-FHJ3VFRJ-0
  skos:notation "001D02A05" ;
  skos:prefLabel "algorithmique ; calculabilité ; arithmétique ordinateur"@fr, "algorithmics; computability; computer arithmetics"@en ;
  a skos:Concept ;
  skos:broader dom:-PC4NVFTF-Q .

dom:-PC4NVFTF-Q
  skos:prefLabel "theoretical computing"@en, "informatique théorique"@fr ;
  skos:notation "001D02A08" ;
  skos:narrower dom:-K01NZRX6-W, dom:-M39N63T2-C, dom:-HP3V3VMP-D, dom:-SC4SLWPS-T, dom:-FHJ3VFRJ-0, dom:-PJDJNWRV-4 ;
  skos:broader dom:-RBNVZ5LX-D ;
  a skos:Concept ;
  skos:inScheme dom: .

dom:-SC4SLWPS-T
  skos:notation "001D02A04" ;
  skos:prefLabel "fonctions logiques, booléennes et de commutation"@fr, "logical, boolean and switching functions"@en ;
  a skos:Concept ;
  skos:broader dom:-PC4NVFTF-Q .

dom:-M39N63T2-C
  skos:notation "001D02A07" ;
  skos:prefLabel "théorie de la programmation"@fr, "programming theory"@en ;
  a skos:Concept ;
  skos:broader dom:-PC4NVFTF-Q .