@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<http://data.loterre.fr/ark:/67375/23L-BQVX4NW0-3>
  skos:prefLabel "algorithm"@en, "algorithme"@fr ;
  a skos:Concept ;
  skos:narrower <http://data.loterre.fr/ark:/67375/23L-SGRC225C-B> .

<http://data.loterre.fr/ark:/67375/23L> a skos:ConceptScheme .
<http://data.loterre.fr/ark:/67375/23L-HP7170CW-N>
  skos:prefLabel "SAT solver"@en, "solveur SAT"@fr ;
  a skos:Concept ;
  skos:broader <http://data.loterre.fr/ark:/67375/23L-SGRC225C-B> .

<http://data.loterre.fr/ark:/67375/23L-SGRC225C-B>
  skos:broader <http://data.loterre.fr/ark:/67375/23L-BQVX4NW0-3> ;
  dc:modified "2025-09-24T06:07:15"^^xsd:dateTime ;
  skos:altLabel "algorithme de résolution de contraintes"@fr, "constraint solving algorithm"@en ;
  skos:narrower <http://data.loterre.fr/ark:/67375/23L-HP7170CW-N> ;
  skos:prefLabel "constraint satisfaction algorithm"@en, "algorithme de satisfaction de contraintes"@fr ;
  skos:inScheme <http://data.loterre.fr/ark:/67375/23L> ;
  dc:created "2025-09-08T13:11:30"^^xsd:dateTime ;
  a skos:Concept .