139 lines
No EOL
3.4 KiB
Text
139 lines
No EOL
3.4 KiB
Text
{
|
|
"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"
|
|
]
|
|
} |