{
  "code": null,
  "collection": "reasoning",
  "href": "https://banes-lab.com/ontology/reasoning#reasoning-representation-logic",
  "id": "representation-logic",
  "kind": "representation",
  "layer": null,
  "name": "Logic",
  "ref": "reasoning:representation-logic",
  "relations": [
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-math-domain-logic",
          "json": "https://banes-lab.com/json/records/reasoning/math-domain-logic",
          "label": "Logic",
          "markdown": "https://banes-lab.com/records/reasoning/math-domain-logic.md",
          "ref": "reasoning:math-domain-logic"
        }
      ],
      "relation": "concept"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/grammar#pag-keyword-if",
          "json": "https://banes-lab.com/json/records/pag/keyword-if",
          "label": "IF",
          "markdown": "https://banes-lab.com/records/pag/keyword-if.md",
          "ref": "pag:keyword-if"
        },
        {
          "href": "https://banes-lab.com/ontology/grammar#pag-keyword-else",
          "json": "https://banes-lab.com/json/records/pag/keyword-else",
          "label": "ELSE",
          "markdown": "https://banes-lab.com/records/pag/keyword-else.md",
          "ref": "pag:keyword-else"
        },
        {
          "href": "https://banes-lab.com/ontology/grammar#pag-keyword-match",
          "json": "https://banes-lab.com/json/records/pag/keyword-match",
          "label": "MATCH",
          "markdown": "https://banes-lab.com/records/pag/keyword-match.md",
          "ref": "pag:keyword-match"
        },
        {
          "href": "https://banes-lab.com/ontology/grammar#pag-keyword-case",
          "json": "https://banes-lab.com/json/records/pag/keyword-case",
          "label": "CASE",
          "markdown": "https://banes-lab.com/records/pag/keyword-case.md",
          "ref": "pag:keyword-case"
        },
        {
          "href": "https://banes-lab.com/ontology/grammar#pag-keyword-default",
          "json": "https://banes-lab.com/json/records/pag/keyword-default",
          "label": "DEFAULT",
          "markdown": "https://banes-lab.com/records/pag/keyword-default.md",
          "ref": "pag:keyword-default"
        },
        {
          "href": "https://banes-lab.com/ontology/grammar#pag-keyword-when",
          "json": "https://banes-lab.com/json/records/pag/keyword-when",
          "label": "WHEN",
          "markdown": "https://banes-lab.com/records/pag/keyword-when.md",
          "ref": "pag:keyword-when"
        },
        {
          "href": "https://banes-lab.com/ontology/grammar#pag-keyword-unless",
          "json": "https://banes-lab.com/json/records/pag/keyword-unless",
          "label": "UNLESS",
          "markdown": "https://banes-lab.com/records/pag/keyword-unless.md",
          "ref": "pag:keyword-unless"
        },
        {
          "href": "https://banes-lab.com/ontology/grammar#pag-keyword-guard",
          "json": "https://banes-lab.com/json/records/pag/keyword-guard",
          "label": "GUARD",
          "markdown": "https://banes-lab.com/records/pag/keyword-guard.md",
          "ref": "pag:keyword-guard"
        },
        {
          "href": "https://banes-lab.com/ontology/grammar#pag-keyword-rule",
          "json": "https://banes-lab.com/json/records/pag/keyword-rule",
          "label": "RULE",
          "markdown": "https://banes-lab.com/records/pag/keyword-rule.md",
          "ref": "pag:keyword-rule"
        },
        {
          "href": "https://banes-lab.com/ontology/grammar#pag-keyword-in",
          "json": "https://banes-lab.com/json/records/pag/keyword-in",
          "label": "IN",
          "markdown": "https://banes-lab.com/records/pag/keyword-in.md",
          "ref": "pag:keyword-in"
        },
        {
          "href": "https://banes-lab.com/ontology/grammar#pag-keyword-matches",
          "json": "https://banes-lab.com/json/records/pag/keyword-matches",
          "label": "MATCHES",
          "markdown": "https://banes-lab.com/records/pag/keyword-matches.md",
          "ref": "pag:keyword-matches"
        },
        {
          "href": "https://banes-lab.com/ontology/grammar#pag-production-if-statement",
          "json": "https://banes-lab.com/json/records/pag/production-if-statement",
          "label": "if_statement",
          "markdown": "https://banes-lab.com/records/pag/production-if-statement.md",
          "ref": "pag:production-if-statement"
        }
      ],
      "relation": "grounded-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/grammar#pag-keywords-control-flow",
          "json": "https://banes-lab.com/json/ontology/grammar/pag-keywords-control-flow",
          "label": "control_flow",
          "markdown": "https://banes-lab.com/ontology/grammar/pag-keywords-control-flow.md",
          "ref": "chapter:/ontology/grammar#pag-keywords-control-flow"
        },
        {
          "href": "https://banes-lab.com/ontology/grammar#pag-productions-statement",
          "json": "https://banes-lab.com/json/ontology/grammar/pag-productions-statement",
          "label": "statement",
          "markdown": "https://banes-lab.com/ontology/grammar/pag-productions-statement.md",
          "ref": "chapter:/ontology/grammar#pag-productions-statement"
        }
      ],
      "relation": "linked-from"
    }
  ],
  "summary": "statements, predicates, proofs",
  "siblings": {
    "next": {
      "href": "https://banes-lab.com/ontology/reasoning#reasoning-representation-number",
      "json": "https://banes-lab.com/json/records/reasoning/representation-number",
      "label": "Number",
      "markdown": "https://banes-lab.com/records/reasoning/representation-number.md",
      "ref": "reasoning:representation-number"
    },
    "previous": {
      "href": "https://banes-lab.com/ontology/reasoning#reasoning-representation-symbolic",
      "json": "https://banes-lab.com/json/records/reasoning/representation-symbolic",
      "label": "Symbolic",
      "markdown": "https://banes-lab.com/records/reasoning/representation-symbolic.md",
      "ref": "reasoning:representation-symbolic"
    }
  },
  "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"
  }
}