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

sco: a skos:ConceptScheme .
sco:-Z4G90GP4-L
  skos:prefLabel "Langages de programmation, sémantique, compilation"@fr, "Programming languages, semantics, compilation"@en ;
  a skos:Concept ;
  skos:broader sco:-Q1H3WG1H-7 .

sco:-F9HBS8PK-W
  skos:prefLabel "Section 6 - Sciences de l'information : fondements de l'informatique, calculs, algorithmes, représentations, exploitations"@fr, "Section 6 - Computer and Information Sciences: Foundations of Computer Science, Computation, Algorithms, Data and Knowledge Representation, Information Processing"@en ;
  a skos:Concept ;
  skos:narrower sco:-Q1H3WG1H-7 .

sco:-F01JBQB4-4
  skos:prefLabel "Proof theory, automatic demonstration"@en, "Théorie de la preuve, démonstration automatique"@fr ;
  a skos:Concept ;
  skos:broader sco:-Q1H3WG1H-7 .

sco:-X1ZQSQS2-C
  skos:prefLabel "Génie logiciel"@fr, "Software engineering"@en ;
  a skos:Concept ;
  skos:broader sco:-Q1H3WG1H-7 .

sco:-JCDKM5VG-P
  skos:prefLabel "Functional reliability, model checking, programme analysis"@en, "Sûreté de fonctionnement, vérification de modèles, analyse de programmes"@fr ;
  a skos:Concept ;
  skos:broader sco:-Q1H3WG1H-7 .

sco:-SK4SL7L3-X
  skos:prefLabel "Architectures logicielles"@fr, "Software architectures"@en ;
  a skos:Concept ;
  skos:broader sco:-Q1H3WG1H-7 .

sco:-Q1H3WG1H-7
  skos:broader sco:-F9HBS8PK-W ;
  skos:inScheme sco: ;
  skos:narrower sco:-SK4SL7L3-X, sco:-X1ZQSQS2-C, sco:-F01JBQB4-4, sco:-Z4G90GP4-L, sco:-JCDKM5VG-P ;
  a skos:Concept ;
  skos:prefLabel "III. Sciences de la programmation et du logiciel"@fr, "III. Programming and software sciences"@en .