{
  "order": [
    {
      "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-hidden-nondeterminism",
      "json": "https://banes-lab.com/json/records/algorithms/no-hidden-nondeterminism",
      "label": "Injected Nondeterminism Over Hidden",
      "markdown": "https://banes-lab.com/records/algorithms/no-hidden-nondeterminism.md",
      "ref": "algorithms:no-hidden-nondeterminism"
    },
    {
      "href": "https://banes-lab.com/ontology/algorithms#algorithms-computation-core",
      "json": "https://banes-lab.com/json/records/algorithms/computation-core",
      "label": "Computation Core",
      "markdown": "https://banes-lab.com/records/algorithms/computation-core.md",
      "ref": "algorithms:computation-core"
    },
    {
      "href": "https://banes-lab.com/ontology/algorithms#algorithms-correctness-core",
      "json": "https://banes-lab.com/json/records/algorithms/correctness-core",
      "label": "Correctness Core",
      "markdown": "https://banes-lab.com/records/algorithms/correctness-core.md",
      "ref": "algorithms:correctness-core"
    }
  ],
  "record": {
    "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-hidden-nondeterminism",
    "json": "https://banes-lab.com/json/records/algorithms/no-hidden-nondeterminism",
    "label": "Injected Nondeterminism Over Hidden",
    "markdown": "https://banes-lab.com/records/algorithms/no-hidden-nondeterminism.md",
    "ref": "algorithms:no-hidden-nondeterminism"
  },
  "ref": "algorithms:no-hidden-nondeterminism/closure",
  "title": "Injected Nondeterminism Over Hidden and the contracts it depends on"
}