{
  "schemaVersion": 1,
  "page": {
    "type": "problem",
    "slug": "separation-de-structures-par-des-enonces",
    "title": "Séparation de structures par des énoncés",
    "language": "fr"
  },
  "references": [
    {
      "key": "legacy-16",
      "text": "TD LMFI",
      "url": null,
      "locator": null,
      "note": "Extrait d'un exercice du master LMFI (Logique Mathématique et Fondements de l'Informatique).",
      "role": "SOURCE",
      "bibliography": null
    }
  ]
}