@prefix xd4: <http://data.loterre.fr/ark:/67375/XD4> .
@prefix uneskos: <http://purl.org/umu/uneskos#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix isothes: <http://purl.org/iso25964/skos-thes#> .

xd4:-NKRZVMR7-B
  uneskos:memberOf xd4:-MODL ;
  skos:hiddenLabel "Assistant de preuve"@fr, "Proof assistant"@en ;
  a skos:Concept ;
  skos:inScheme xd4: ;
  skos:prefLabel "assistant de preuve"@fr, "proof assistant"@en, "software de prueba"@es .

xd4: a skos:ConceptScheme .
xd4:-MODL
  skos:prefLabel "Modélisation / Calcul"@fr, "Modeling / Calculus"@en ;
  a isothes:ConceptGroup ;
  skos:member xd4:-NKRZVMR7-B .