@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-K54PRD35-C>
  skos:prefLabel "déduction"@fr, "deduction"@en ;
  a skos:Concept ;
  skos:narrower <http://data.loterre.fr/ark:/67375/23L-BQ9FFXZ5-9> .

<http://data.loterre.fr/ark:/67375/23L> a skos:ConceptScheme .
<http://data.loterre.fr/ark:/67375/23L-BQ9FFXZ5-9>
  skos:prefLabel "inference rule"@en, "règle d'inférence"@fr ;
  dc:modified "2025-09-29T08:42:45"^^xsd:dateTime ;
  a skos:Concept ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Rule_of_inference>, <https://www.wikidata.org/wiki/Q1068763>, <https://fr.wikipedia.org/wiki/R%C3%A8gle_d%27inf%C3%A9rence> ;
  dc:created "2025-06-05T16:42:35"^^xsd:dateTime ;
  skos:broader <http://data.loterre.fr/ark:/67375/23L-K54PRD35-C> ;
  skos:inScheme <http://data.loterre.fr/ark:/67375/23L> .

