{
  "main": {
    "id": "26c1d5043e97a250",
    "type": "split",
    "children": [
      {
        "id": "3a07771d4c32b983",
        "type": "leaf",
        "state": {
          "type": "markdown",
          "state": {
            "file": "Logic/Disjunction_Elimination.md",
            "mode": "preview",
            "source": false
          }
        }
      }
    ],
    "direction": "vertical"
  },
  "left": {
    "id": "2e2d413b07672e46",
    "type": "split",
    "children": [
      {
        "id": "e8e9316b59517052",
        "type": "tabs",
        "children": [
          {
            "id": "f9904be6e8b54776",
            "type": "leaf",
            "state": {
              "type": "file-explorer",
              "state": {}
            }
          },
          {
            "id": "6ce6f22853a14337",
            "type": "leaf",
            "state": {
              "type": "search",
              "state": {
                "query": "tag:#publication",
                "matchingCase": false,
                "explainSearch": false,
                "collapseAll": false,
                "extraContext": false,
                "sortOrder": "alphabetical"
              }
            }
          },
          {
            "id": "087697dc2054be3f",
            "type": "leaf",
            "state": {
              "type": "starred",
              "state": {}
            }
          }
        ],
        "currentTab": 1
      }
    ],
    "direction": "horizontal",
    "width": 300
  },
  "right": {
    "id": "ec55042120b08d99",
    "type": "split",
    "children": [
      {
        "id": "afc0c1bab3e7a1d4",
        "type": "tabs",
        "children": [
          {
            "id": "0dfdc7a995d20deb",
            "type": "leaf",
            "state": {
              "type": "backlink",
              "state": {
                "file": "Logic/Disjunction_Elimination.md",
                "collapseAll": false,
                "extraContext": false,
                "sortOrder": "alphabetical",
                "showSearch": false,
                "searchQuery": "",
                "backlinkCollapsed": false,
                "unlinkedCollapsed": true
              }
            }
          },
          {
            "id": "502a657839489cd7",
            "type": "leaf",
            "state": {
              "type": "outgoing-link",
              "state": {
                "file": "Logic/Disjunction_Elimination.md",
                "linksCollapsed": false,
                "unlinkedCollapsed": true
              }
            }
          },
          {
            "id": "f769a309ad6de62c",
            "type": "leaf",
            "state": {
              "type": "tag",
              "state": {
                "sortOrder": "frequency",
                "useHierarchy": true
              }
            }
          },
          {
            "id": "bf315f300ad73f26",
            "type": "leaf",
            "state": {
              "type": "outline",
              "state": {
                "file": "Logic/Disjunction_Elimination.md"
              }
            }
          }
        ],
        "currentTab": 2
      }
    ],
    "direction": "horizontal",
    "width": 300
  },
  "active": "6ce6f22853a14337",
  "lastOpenFiles": [
    "Logic/Biconditional_Introduction.md",
    "Logic/Conditional_Introduction.md",
    "Algorithms/Algorithmic_complexity.md",
    "Linguistics/Design_features_of_language.md"
  ]
}