{
  "order": [
    {
      "href": "https://banes-lab.com/ontology/algorithms#algorithms-phase-decomposition",
      "json": "https://banes-lab.com/json/records/algorithms/phase-decomposition",
      "label": "Phase Decomposition",
      "markdown": "https://banes-lab.com/records/algorithms/phase-decomposition.md",
      "ref": "algorithms:phase-decomposition"
    },
    {
      "href": "https://banes-lab.com/ontology/algorithms#algorithms-four-dimensional-phase-graph",
      "json": "https://banes-lab.com/json/records/algorithms/four-dimensional-phase-graph",
      "label": "Four-Dimensional Phase Graph",
      "markdown": "https://banes-lab.com/records/algorithms/four-dimensional-phase-graph.md",
      "ref": "algorithms:four-dimensional-phase-graph"
    },
    {
      "href": "https://banes-lab.com/ontology/algorithms#algorithms-severity-assignment",
      "json": "https://banes-lab.com/json/records/algorithms/severity-assignment",
      "label": "Severity Assignment",
      "markdown": "https://banes-lab.com/records/algorithms/severity-assignment.md",
      "ref": "algorithms:severity-assignment"
    },
    {
      "href": "https://banes-lab.com/ontology/algorithms#algorithms-loop-class-labeling",
      "json": "https://banes-lab.com/json/records/algorithms/loop-class-labeling",
      "label": "Loop Class Labeling",
      "markdown": "https://banes-lab.com/records/algorithms/loop-class-labeling.md",
      "ref": "algorithms:loop-class-labeling"
    }
  ],
  "record": {
    "href": "https://banes-lab.com/ontology/algorithms#algorithms-phase-decomposition",
    "json": "https://banes-lab.com/json/records/algorithms/phase-decomposition",
    "label": "Phase Decomposition",
    "markdown": "https://banes-lab.com/records/algorithms/phase-decomposition.md",
    "ref": "algorithms:phase-decomposition"
  },
  "ref": "algorithms:phase-decomposition/closure",
  "title": "Phase Decomposition and the contracts it depends on"
}