{
  "title": "Merge and Quicksort",
  "origin_url": "https://en.wikipedia.org/wiki/Guarded_Horn_Clauses",
  "license_guess": null,
  "code_sha256": "02ebf1acf489612cb8e2131c77ccfd677d7f2e63004d235ae70b3e23f01ca8c4",
  "added_at": "2026-03-05T12:00:00Z"
}