@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-MMNL6P79-J>
  skos:prefLabel "PROLOG"@en, "PROLOG"@fr ;
  a skos:Concept ;
  skos:related <http://data.loterre.fr/ark:/67375/23L-MRXHHMWN-W> .

<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-MRXHHMWN-W> .

<http://data.loterre.fr/ark:/67375/23L> a skos:ConceptScheme .
<http://data.loterre.fr/ark:/67375/23L-MRXHHMWN-W>
  skos:prefLabel "logique de premier ordre"@fr, "first-order logic"@en ;
  skos:exactMatch <https://www.wikidata.org/wiki/Q4055684>, <https://en.wikipedia.org/wiki/First-order_logic>, <https://fr.wikipedia.org/wiki/Calcul_des_pr%C3%A9dicats> ;
  dc:created "2025-06-05T16:35:01"^^xsd:dateTime ;
  skos:inScheme <http://data.loterre.fr/ark:/67375/23L> ;
  a skos:Concept ;
  skos:broader <http://data.loterre.fr/ark:/67375/23L-BDC0T8RT-1> ;
  skos:related <http://data.loterre.fr/ark:/67375/23L-MMNL6P79-J> ;
  dc:modified "2025-06-05T16:35:15"^^xsd:dateTime .