{
  "title": "Counter Machine",
  "origin_url": "https://en.wikipedia.org/wiki/B_(formal_method)",
  "license_guess": null,
  "code_sha256": "d68c5a171572e6bfcc4592d5eb69070b313791452a1ab474a317b0e7fc06288f",
  "added_at": "2026-02-27T00:00:00Z"
}