@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-FHXJ5XDQ-G>
  skos:prefLabel "logique propositionnelle"@fr, "propositional logic"@en ;
  a skos:Concept ;
  skos:narrower <http://data.loterre.fr/ark:/67375/23L-RM5PWC50-6> .

<http://data.loterre.fr/ark:/67375/23L> a skos:ConceptScheme .
<http://data.loterre.fr/ark:/67375/23L-Z7N8532R-J>
  skos:prefLabel "constraint programming"@en, "programmation par contraintes"@fr ;
  a skos:Concept ;
  skos:related <http://data.loterre.fr/ark:/67375/23L-RM5PWC50-6> .

<http://data.loterre.fr/ark:/67375/23L-RM5PWC50-6>
  skos:altLabel "SAT"@fr, "SAT problem"@en, "problème SAT"@fr ;
  skos:definition "le problème de satisfaction en logique propositionnelle consiste à déterminer si une formule, exprimée en logique propositionnelle, est vraie ou fausse. Ce problème est très important en informatique, car il constitue la référence des problèmes difficiles à résoudre (ce qui est l’objet de la théorie de la complexité algorithmique). Il sert de référence pour résoudre/étudier des problèmes qui lui sont réductibles ou auxquels il est réductible, tels que la vérification de logiciels, de micro-processeurs, ou de systèmes complexes. (Source :  <a href=\"https://ia.gdria.fr/Glossaire/probleme-sat/\">https://ia.gdria.fr/Glossaire/probleme-sat/</a> )"@fr, "the satisfaction problem in propositional logic consists in determining whether a formula, expressed in propositional logic, is true or false. This problem is very important in computer science, as it constitutes the reference for problems that are difficult to solve (which is the subject of algorithmic complexity theory). It provides a reference for solving/studying problems that are reducible to it or to which it is reducible, such as the verification of software, microprocessors or complex systems. (Source: translated from  <a href=\"https://ia.gdria.fr/Glossaire/probleme-sat/\">https://ia.gdria.fr/Glossaire/probleme-sat/</a> )"@en ;
  skos:broader <http://data.loterre.fr/ark:/67375/23L-FHXJ5XDQ-G> ;
  skos:related <http://data.loterre.fr/ark:/67375/23L-HP7170CW-N>, <http://data.loterre.fr/ark:/67375/23L-Z7N8532R-J> ;
  skos:exactMatch <https://www.wikidata.org/wiki/Q875276>, <https://en.wikipedia.org/wiki/Boolean_satisfiability_problem>, <https://fr.wikipedia.org/wiki/Probl%C3%A8me_SAT> ;
  skos:prefLabel "Boolean satisfiability problem"@en, "problème de satisfaisabilité booléenne"@fr ;
  skos:inScheme <http://data.loterre.fr/ark:/67375/23L> ;
  dc:modified "2025-09-08T09:20:53"^^xsd:dateTime ;
  a skos:Concept .

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