{
  "code": null,
  "collection": "reasoning",
  "href": "https://banes-lab.com/ontology/reasoning#reasoning-math-type-set-theory",
  "id": "math-type-set-theory",
  "kind": "math-type",
  "layer": null,
  "name": "Set Theory",
  "ref": "reasoning:math-type-set-theory",
  "relations": [
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-evidence-before-generation",
          "json": "https://banes-lab.com/json/records/algorithms/evidence-before-generation",
          "label": "Evidence-Before-Generation",
          "markdown": "https://banes-lab.com/records/algorithms/evidence-before-generation.md",
          "ref": "algorithms:evidence-before-generation"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-capability-profile",
          "json": "https://banes-lab.com/json/records/algorithms/capability-profile",
          "label": "Capability Profile",
          "markdown": "https://banes-lab.com/records/algorithms/capability-profile.md",
          "ref": "algorithms:capability-profile"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-scope-extraction",
          "json": "https://banes-lab.com/json/records/algorithms/scope-extraction",
          "label": "Scope Extraction",
          "markdown": "https://banes-lab.com/records/algorithms/scope-extraction.md",
          "ref": "algorithms:scope-extraction"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-knowledge-base",
          "json": "https://banes-lab.com/json/records/algorithms/domain-knowledge-base",
          "label": "Domain Knowledge Base",
          "markdown": "https://banes-lab.com/records/algorithms/domain-knowledge-base.md",
          "ref": "algorithms:domain-knowledge-base"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-existing-pattern-extraction",
          "json": "https://banes-lab.com/json/records/algorithms/existing-pattern-extraction",
          "label": "Existing Pattern Extraction",
          "markdown": "https://banes-lab.com/records/algorithms/existing-pattern-extraction.md",
          "ref": "algorithms:existing-pattern-extraction"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-dsl-compliance-loading",
          "json": "https://banes-lab.com/json/records/algorithms/dsl-compliance-loading",
          "label": "DSL Compliance Loading",
          "markdown": "https://banes-lab.com/records/algorithms/dsl-compliance-loading.md",
          "ref": "algorithms:dsl-compliance-loading"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-workspace-configuration-discovery",
          "json": "https://banes-lab.com/json/records/algorithms/workspace-configuration-discovery",
          "label": "Workspace Configuration Discovery",
          "markdown": "https://banes-lab.com/records/algorithms/workspace-configuration-discovery.md",
          "ref": "algorithms:workspace-configuration-discovery"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-smell-taxonomy",
          "json": "https://banes-lab.com/json/records/algorithms/smell-taxonomy",
          "label": "Smell Taxonomy",
          "markdown": "https://banes-lab.com/records/algorithms/smell-taxonomy.md",
          "ref": "algorithms:smell-taxonomy"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-responsibility-boundary",
          "json": "https://banes-lab.com/json/records/algorithms/responsibility-boundary",
          "label": "Responsibility Boundary",
          "markdown": "https://banes-lab.com/records/algorithms/responsibility-boundary.md",
          "ref": "algorithms:responsibility-boundary"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-canonical-data",
          "json": "https://banes-lab.com/json/records/algorithms/canonical-data",
          "label": "Canonical Data",
          "markdown": "https://banes-lab.com/records/algorithms/canonical-data.md",
          "ref": "algorithms:canonical-data"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-self-description-manifest",
          "json": "https://banes-lab.com/json/records/algorithms/self-description-manifest",
          "label": "Self-Description Manifest",
          "markdown": "https://banes-lab.com/records/algorithms/self-description-manifest.md",
          "ref": "algorithms:self-description-manifest"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-runtime-discovery",
          "json": "https://banes-lab.com/json/records/algorithms/runtime-discovery",
          "label": "Runtime Discovery",
          "markdown": "https://banes-lab.com/records/algorithms/runtime-discovery.md",
          "ref": "algorithms:runtime-discovery"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-canonical-semantics",
          "json": "https://banes-lab.com/json/records/algorithms/canonical-semantics",
          "label": "Canonical Semantics",
          "markdown": "https://banes-lab.com/records/algorithms/canonical-semantics.md",
          "ref": "algorithms:canonical-semantics"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-self-description-and-discovery",
          "json": "https://banes-lab.com/json/records/algorithms/self-description-and-discovery",
          "label": "Self-Description and Discovery",
          "markdown": "https://banes-lab.com/records/algorithms/self-description-and-discovery.md",
          "ref": "algorithms:self-description-and-discovery"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-concept-cluster-extraction",
          "json": "https://banes-lab.com/json/records/algorithms/concept-cluster-extraction",
          "label": "Concept Cluster Extraction",
          "markdown": "https://banes-lab.com/records/algorithms/concept-cluster-extraction.md",
          "ref": "algorithms:concept-cluster-extraction"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-capability-degradation",
          "json": "https://banes-lab.com/json/records/algorithms/capability-degradation",
          "label": "Capability Degradation",
          "markdown": "https://banes-lab.com/records/algorithms/capability-degradation.md",
          "ref": "algorithms:capability-degradation"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-automation-opportunity-detection",
          "json": "https://banes-lab.com/json/records/algorithms/automation-opportunity-detection",
          "label": "Automation Opportunity Detection",
          "markdown": "https://banes-lab.com/records/algorithms/automation-opportunity-detection.md",
          "ref": "algorithms:automation-opportunity-detection"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-capability-disclosure",
          "json": "https://banes-lab.com/json/records/algorithms/capability-disclosure",
          "label": "Capability Disclosure",
          "markdown": "https://banes-lab.com/records/algorithms/capability-disclosure.md",
          "ref": "algorithms:capability-disclosure"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-detection-registry",
          "json": "https://banes-lab.com/json/records/algorithms/detection-registry",
          "label": "Detection Registry",
          "markdown": "https://banes-lab.com/records/algorithms/detection-registry.md",
          "ref": "algorithms:detection-registry"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-orientation-stage",
          "json": "https://banes-lab.com/json/records/algorithms/orientation-stage",
          "label": "Orientation Stage",
          "markdown": "https://banes-lab.com/records/algorithms/orientation-stage.md",
          "ref": "algorithms:orientation-stage"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-authoritative-source-loading",
          "json": "https://banes-lab.com/json/records/algorithms/authoritative-source-loading",
          "label": "Authoritative Source Loading",
          "markdown": "https://banes-lab.com/records/algorithms/authoritative-source-loading.md",
          "ref": "algorithms:authoritative-source-loading"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-skeptical-context-acquisition",
          "json": "https://banes-lab.com/json/records/algorithms/skeptical-context-acquisition",
          "label": "Skeptical Context Acquisition",
          "markdown": "https://banes-lab.com/records/algorithms/skeptical-context-acquisition.md",
          "ref": "algorithms:skeptical-context-acquisition"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-explicit-termination",
          "json": "https://banes-lab.com/json/records/algorithms/explicit-termination",
          "label": "Explicit Termination",
          "markdown": "https://banes-lab.com/records/algorithms/explicit-termination.md",
          "ref": "algorithms:explicit-termination"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-context-initialization",
          "json": "https://banes-lab.com/json/records/algorithms/context-initialization",
          "label": "Context Initialization",
          "markdown": "https://banes-lab.com/records/algorithms/context-initialization.md",
          "ref": "algorithms:context-initialization"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-early-success-exit",
          "json": "https://banes-lab.com/json/records/algorithms/early-success-exit",
          "label": "Early Success Exit",
          "markdown": "https://banes-lab.com/records/algorithms/early-success-exit.md",
          "ref": "algorithms:early-success-exit"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-trust-anchor-declaration",
          "json": "https://banes-lab.com/json/records/algorithms/trust-anchor-declaration",
          "label": "Trust Anchor Declaration",
          "markdown": "https://banes-lab.com/records/algorithms/trust-anchor-declaration.md",
          "ref": "algorithms:trust-anchor-declaration"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-duplicate-disposition-walk",
          "json": "https://banes-lab.com/json/records/algorithms/duplicate-disposition-walk",
          "label": "Duplicate Disposition Walk",
          "markdown": "https://banes-lab.com/records/algorithms/duplicate-disposition-walk.md",
          "ref": "algorithms:duplicate-disposition-walk"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-lifetime-resolution",
          "json": "https://banes-lab.com/json/records/algorithms/lifetime-resolution",
          "label": "Lifetime Resolution",
          "markdown": "https://banes-lab.com/records/algorithms/lifetime-resolution.md",
          "ref": "algorithms:lifetime-resolution"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-coverage-workspace",
          "json": "https://banes-lab.com/json/records/algorithms/coverage-workspace",
          "label": "Coverage Workspace",
          "markdown": "https://banes-lab.com/records/algorithms/coverage-workspace.md",
          "ref": "algorithms:coverage-workspace"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-surface-grid-walk",
          "json": "https://banes-lab.com/json/records/algorithms/surface-grid-walk",
          "label": "Surface Grid Walk",
          "markdown": "https://banes-lab.com/records/algorithms/surface-grid-walk.md",
          "ref": "algorithms:surface-grid-walk"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-pag-document-declaration",
          "json": "https://banes-lab.com/json/records/algorithms/pag-document-declaration",
          "label": "PAG Document Declaration",
          "markdown": "https://banes-lab.com/records/algorithms/pag-document-declaration.md",
          "ref": "algorithms:pag-document-declaration"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-pag-keyword-ontology",
          "json": "https://banes-lab.com/json/records/algorithms/pag-keyword-ontology",
          "label": "PAG Keyword Ontology",
          "markdown": "https://banes-lab.com/records/algorithms/pag-keyword-ontology.md",
          "ref": "algorithms:pag-keyword-ontology"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-analysis-workspace",
          "json": "https://banes-lab.com/json/records/algorithms/analysis-workspace",
          "label": "Analysis Workspace",
          "markdown": "https://banes-lab.com/records/algorithms/analysis-workspace.md",
          "ref": "algorithms:analysis-workspace"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-registry-baseline",
          "json": "https://banes-lab.com/json/records/algorithms/registry-baseline",
          "label": "Registry Baseline",
          "markdown": "https://banes-lab.com/records/algorithms/registry-baseline.md",
          "ref": "algorithms:registry-baseline"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-semantic-domain-partitioning",
          "json": "https://banes-lab.com/json/records/algorithms/semantic-domain-partitioning",
          "label": "Semantic Domain Partitioning",
          "markdown": "https://banes-lab.com/records/algorithms/semantic-domain-partitioning.md",
          "ref": "algorithms:semantic-domain-partitioning"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-cross-class-pattern-detection",
          "json": "https://banes-lab.com/json/records/algorithms/cross-class-pattern-detection",
          "label": "Cross-Class Pattern Detection",
          "markdown": "https://banes-lab.com/records/algorithms/cross-class-pattern-detection.md",
          "ref": "algorithms:cross-class-pattern-detection"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-temporal-coupling-detection",
          "json": "https://banes-lab.com/json/records/algorithms/temporal-coupling-detection",
          "label": "Temporal Coupling Detection",
          "markdown": "https://banes-lab.com/records/algorithms/temporal-coupling-detection.md",
          "ref": "algorithms:temporal-coupling-detection"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-profile-compose",
          "json": "https://banes-lab.com/json/records/algorithms/profile-compose",
          "label": "Profile Compose",
          "markdown": "https://banes-lab.com/records/algorithms/profile-compose.md",
          "ref": "algorithms:profile-compose"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-seed-composition",
          "json": "https://banes-lab.com/json/records/algorithms/seed-composition",
          "label": "Seed Composition",
          "markdown": "https://banes-lab.com/records/algorithms/seed-composition.md",
          "ref": "algorithms:seed-composition"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-token-source-of-truth",
          "json": "https://banes-lab.com/json/records/algorithms/token-source-of-truth",
          "label": "Token Source-of-Truth",
          "markdown": "https://banes-lab.com/records/algorithms/token-source-of-truth.md",
          "ref": "algorithms:token-source-of-truth"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-custom-type-registration",
          "json": "https://banes-lab.com/json/records/algorithms/custom-type-registration",
          "label": "Custom Type Registration",
          "markdown": "https://banes-lab.com/records/algorithms/custom-type-registration.md",
          "ref": "algorithms:custom-type-registration"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-taxonomy-jurisdiction",
          "json": "https://banes-lab.com/json/records/algorithms/taxonomy-jurisdiction",
          "label": "Taxonomy Jurisdiction",
          "markdown": "https://banes-lab.com/records/algorithms/taxonomy-jurisdiction.md",
          "ref": "algorithms:taxonomy-jurisdiction"
        }
      ],
      "relation": "contracts"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-math-domain-set-theory",
          "json": "https://banes-lab.com/json/records/reasoning/math-domain-set-theory",
          "label": "set-theory",
          "markdown": "https://banes-lab.com/records/reasoning/math-domain-set-theory.md",
          "ref": "reasoning:math-domain-set-theory"
        }
      ],
      "relation": "math-domains"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-axis-ontology",
          "json": "https://banes-lab.com/json/records/reasoning/axis-ontology",
          "label": "Ontology",
          "markdown": "https://banes-lab.com/records/reasoning/axis-ontology.md",
          "ref": "reasoning:axis-ontology"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-axis-termination",
          "json": "https://banes-lab.com/json/records/reasoning/axis-termination",
          "label": "Termination",
          "markdown": "https://banes-lab.com/records/reasoning/axis-termination.md",
          "ref": "reasoning:axis-termination"
        }
      ],
      "relation": "primary-math-type-of"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-ont-identity",
          "json": "https://banes-lab.com/json/records/reasoning/node-ont-identity",
          "label": "Identity",
          "markdown": "https://banes-lab.com/records/reasoning/node-ont-identity.md",
          "ref": "reasoning:node-ont-identity"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-ont-composition",
          "json": "https://banes-lab.com/json/records/reasoning/node-ont-composition",
          "label": "Composition",
          "markdown": "https://banes-lab.com/records/reasoning/node-ont-composition.md",
          "ref": "reasoning:node-ont-composition"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-ont-state",
          "json": "https://banes-lab.com/json/records/reasoning/node-ont-state",
          "label": "State",
          "markdown": "https://banes-lab.com/records/reasoning/node-ont-state.md",
          "ref": "reasoning:node-ont-state"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-rea-observation",
          "json": "https://banes-lab.com/json/records/reasoning/node-rea-observation",
          "label": "Observation",
          "markdown": "https://banes-lab.com/records/reasoning/node-rea-observation.md",
          "ref": "reasoning:node-rea-observation"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-rea-classification",
          "json": "https://banes-lab.com/json/records/reasoning/node-rea-classification",
          "label": "Classification",
          "markdown": "https://banes-lab.com/records/reasoning/node-rea-classification.md",
          "ref": "reasoning:node-rea-classification"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-for-existence",
          "json": "https://banes-lab.com/json/records/reasoning/node-for-existence",
          "label": "Existence",
          "markdown": "https://banes-lab.com/records/reasoning/node-for-existence.md",
          "ref": "reasoning:node-for-existence"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-for-absence",
          "json": "https://banes-lab.com/json/records/reasoning/node-for-absence",
          "label": "Absence",
          "markdown": "https://banes-lab.com/records/reasoning/node-for-absence.md",
          "ref": "reasoning:node-for-absence"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-ver-evidence",
          "json": "https://banes-lab.com/json/records/reasoning/node-ver-evidence",
          "label": "Evidence",
          "markdown": "https://banes-lab.com/records/reasoning/node-ver-evidence.md",
          "ref": "reasoning:node-ver-evidence"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-ver-population",
          "json": "https://banes-lab.com/json/records/reasoning/node-ver-population",
          "label": "Population",
          "markdown": "https://banes-lab.com/records/reasoning/node-ver-population.md",
          "ref": "reasoning:node-ver-population"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-ver-refusal",
          "json": "https://banes-lab.com/json/records/reasoning/node-ver-refusal",
          "label": "Refusal",
          "markdown": "https://banes-lab.com/records/reasoning/node-ver-refusal.md",
          "ref": "reasoning:node-ver-refusal"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-ver-observation",
          "json": "https://banes-lab.com/json/records/reasoning/node-ver-observation",
          "label": "Located Observation",
          "markdown": "https://banes-lab.com/records/reasoning/node-ver-observation.md",
          "ref": "reasoning:node-ver-observation"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-ter-completion",
          "json": "https://banes-lab.com/json/records/reasoning/node-ter-completion",
          "label": "Completion",
          "markdown": "https://banes-lab.com/records/reasoning/node-ter-completion.md",
          "ref": "reasoning:node-ter-completion"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-ter-saturation",
          "json": "https://banes-lab.com/json/records/reasoning/node-ter-saturation",
          "label": "Saturation",
          "markdown": "https://banes-lab.com/records/reasoning/node-ter-saturation.md",
          "ref": "reasoning:node-ter-saturation"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-ter-promotion",
          "json": "https://banes-lab.com/json/records/reasoning/node-ter-promotion",
          "label": "Promotion",
          "markdown": "https://banes-lab.com/records/reasoning/node-ter-promotion.md",
          "ref": "reasoning:node-ter-promotion"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-substrate-node-existence",
          "json": "https://banes-lab.com/json/records/reasoning/substrate-node-existence",
          "label": "Existence",
          "markdown": "https://banes-lab.com/records/reasoning/substrate-node-existence.md",
          "ref": "reasoning:substrate-node-existence"
        }
      ],
      "relation": "math-type-of"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-agent-creation",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-agent-creation",
          "label": "Agent creation",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-agent-creation.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-agent-creation"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-agent-workflow",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-agent-workflow",
          "label": "Agent workflow",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-agent-workflow.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-agent-workflow"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-anti-patterns",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-anti-patterns",
          "label": "Anti-patterns",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-anti-patterns.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-anti-patterns"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-architecture",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-architecture",
          "label": "Architecture",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-architecture.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-architecture"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-arch-relationships",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-arch-relationships",
          "label": "Architecture relationships",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-arch-relationships.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-arch-relationships"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-automation",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-automation",
          "label": "Automation",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-automation.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-automation"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-centralization",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-centralization",
          "label": "Centralization",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-centralization.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-centralization"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-checklist-creation",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-checklist-creation",
          "label": "Checklist creation",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-checklist-creation.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-checklist-creation"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-codebase-verification",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-codebase-verification",
          "label": "Codebase verification",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-codebase-verification.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-codebase-verification"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-context-verification",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-context-verification",
          "label": "Context verification",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-context-verification.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-context-verification"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-coordination",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-coordination",
          "label": "Coordination",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-coordination.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-coordination"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-test-coverage",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-test-coverage",
          "label": "Test coverage",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-test-coverage.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-test-coverage"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-pag",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-pag",
          "label": "Pattern Abstract Grammar",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-pag.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-pag"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-pattern-distillation",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-pattern-distillation",
          "label": "Pattern distillation",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-pattern-distillation.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-pattern-distillation"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-living-profile",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-living-profile",
          "label": "Living profile",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-living-profile.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-living-profile"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-css-cascade",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-css-cascade",
          "label": "CSS cascade",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-css-cascade.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-css-cascade"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-taxonomy",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-taxonomy",
          "label": "Taxonomy",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-taxonomy.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-taxonomy"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#the-substrate",
          "json": "https://banes-lab.com/json/ontology/reasoning/the-substrate",
          "label": "The substrate",
          "markdown": "https://banes-lab.com/ontology/reasoning/the-substrate.md",
          "ref": "chapter:/ontology/reasoning#the-substrate"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#the-axes",
          "json": "https://banes-lab.com/json/ontology/reasoning/the-axes",
          "label": "The axes",
          "markdown": "https://banes-lab.com/ontology/reasoning/the-axes.md",
          "ref": "chapter:/ontology/reasoning#the-axes"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#the-nodes",
          "json": "https://banes-lab.com/json/ontology/reasoning/the-nodes",
          "label": "The nodes",
          "markdown": "https://banes-lab.com/ontology/reasoning/the-nodes.md",
          "ref": "chapter:/ontology/reasoning#the-nodes"
        }
      ],
      "relation": "linked-from"
    }
  ],
  "summary": "What members exist?",
  "siblings": {
    "next": {
      "href": "https://banes-lab.com/ontology/reasoning#reasoning-math-type-logic",
      "json": "https://banes-lab.com/json/records/reasoning/math-type-logic",
      "label": "Logic",
      "markdown": "https://banes-lab.com/records/reasoning/math-type-logic.md",
      "ref": "reasoning:math-type-logic"
    },
    "previous": {
      "href": "https://banes-lab.com/ontology/reasoning#reasoning-math-domain-category-theory",
      "json": "https://banes-lab.com/json/records/reasoning/math-domain-category-theory",
      "label": "Category Theory",
      "markdown": "https://banes-lab.com/records/reasoning/math-domain-category-theory.md",
      "ref": "reasoning:math-domain-category-theory"
    }
  },
  "up": {
    "href": null,
    "json": "https://banes-lab.com/json/api/records/reasoning",
    "label": "Reasoning records",
    "markdown": "https://banes-lab.com/api/records/reasoning.md",
    "ref": "api:records/reasoning"
  }
}