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

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

sco:-Q1H3WG1H-7
  skos:prefLabel "III. Programming and software sciences"@en, "III. Sciences de la programmation et du logiciel"@fr ;
  a skos:Concept ;
  skos:narrower sco:-F01JBQB4-4 .

sco: a skos:ConceptScheme .