@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

<http://data.loterre.fr/ark:/67375/23L-RM5PWC50-6>
  skos:prefLabel "problème de satisfaisabilité booléenne"@fr, "Boolean satisfiability problem"@en ;
  a skos:Concept ;
  skos:broader <http://data.loterre.fr/ark:/67375/23L-FHXJ5XDQ-G> .

<http://data.loterre.fr/ark:/67375/23L-FHXJ5XDQ-G>
  skos:exactMatch <https://en.wikipedia.org/wiki/Propositional_logic>, <https://www.wikidata.org/wiki/Q16705128>, <https://fr.wikipedia.org/wiki/Calcul_des_propositions> ;
  skos:narrower <http://data.loterre.fr/ark:/67375/23L-RM5PWC50-6> ;
  skos:broader <http://data.loterre.fr/ark:/67375/23L-BDC0T8RT-1> ;
  skos:prefLabel "logique propositionnelle"@fr, "propositional logic"@en ;
  skos:inScheme <http://data.loterre.fr/ark:/67375/23L> ;
  a skos:Concept .

<http://data.loterre.fr/ark:/67375/23L-BDC0T8RT-1>
  skos:prefLabel "logique"@fr, "logic"@en ;
  a skos:Concept ;
  skos:narrower <http://data.loterre.fr/ark:/67375/23L-FHXJ5XDQ-G> .

<http://data.loterre.fr/ark:/67375/23L> a skos:ConceptScheme .