{
  "title": "Socrates Syllogism",
  "origin_url": "https://github.com/vprover/vampire/blob/master/EXAMPLES/PUZ001+1.p",
  "license_guess": null,
  "code_sha256": "c7454f926b1fb1f262e45c6072d425fb9b044a3dd1709e61ee7ced7a0eac5cfc",
  "added_at": "2026-02-11T14:05:09Z"
}