{
  "id": "domain:computer-science",
  "_kind": "Domain",
  "_file": "domain/domains/science-domains.yaml",
  "_cluster": "domain",
  "attributes": {
    "displayName": "Computer Science",
    "description": "Theoretical and applied computer science — algorithms, computational complexity,\nprogramming language theory, formal methods, type systems, automata theory,\nand computer architecture. Bridges pure mathematics and software engineering,\nunderpinning cryptography, AI, databases, and distributed systems research.\nDistinct from software engineering in its focus on mathematical foundations\nand provable correctness rather than production delivery.\n"
  },
  "outgoingEdges": [
    {
      "from": "domain:computer-science",
      "to": "specialization:quantum-computing",
      "kind": "contains"
    },
    {
      "from": "domain:computer-science",
      "to": "specialization:theoretical-computer-science",
      "kind": "contains"
    },
    {
      "from": "domain:computer-science",
      "to": "specialization:formal-methods",
      "kind": "contains"
    }
  ],
  "incomingEdges": [
    {
      "from": "benchmark:apps",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "benchmark:hle",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "benchmark:bbh",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "benchmark:arc-agi-3",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "benchmark:mt-bench",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "language:agda",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "language:common-lisp",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "language:coq",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "language:haskell",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "language:idris",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "language:lean",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "language:ocaml",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "language:racket",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "language:scheme",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "role:computational-scientist",
      "to": "domain:computer-science",
      "kind": "requires_skill",
      "attributes": {
        "level": "expert"
      }
    },
    {
      "from": "specialization:programming-languages",
      "to": "domain:computer-science",
      "kind": "specializes"
    },
    {
      "from": "specialization:computer-science",
      "to": "domain:computer-science",
      "kind": "specializes"
    },
    {
      "from": "specialization:quantum-computing",
      "to": "domain:computer-science",
      "kind": "specializes"
    },
    {
      "from": "specialization:theoretical-computer-science",
      "to": "domain:computer-science",
      "kind": "specializes"
    },
    {
      "from": "specialization:formal-methods",
      "to": "domain:computer-science",
      "kind": "specializes"
    },
    {
      "from": "workflow:peer-review-cycle",
      "to": "domain:computer-science",
      "kind": "applies_to_domain"
    },
    {
      "from": "lib-agent:algorithms-optimization--algorithm-designer",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:algorithms-optimization--algorithm-teacher",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:algorithms-optimization--competitive-programmer",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:algorithms-optimization--complexity-analyst",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:algorithms-optimization--contest-strategist",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:algorithms-optimization--correctness-verifier",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:algorithms-optimization--data-structures-expert",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:algorithms-optimization--dp-specialist",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:algorithms-optimization--geometry-specialist",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:algorithms-optimization--graph-specialist",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:algorithms-optimization--interview-coach",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:algorithms-optimization--number-theory-specialist",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:algorithms-optimization--progress-tracker",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:algorithms-optimization--string-algorithm-specialist",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:algorithms-optimization--system-design-expert",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:algorithms-optimization--technical-interviewer",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:algorithms-optimization--test-engineer",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:algorithms-optimization--upsolving-coach",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:computer-science--algorithm-analyst",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:computer-science--algorithm-engineer",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:computer-science--approximation-specialist",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:computer-science--compiler-architect",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:computer-science--complexity-theorist",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:computer-science--computability-theorist",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:computer-science--concurrency-expert",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:computer-science--distributed-systems-theorist",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:computer-science--formal-specification-expert",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:computer-science--interdisciplinary-connector",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:computer-science--model-checking-expert",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:computer-science--performance-modeler",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:computer-science--randomized-algorithms-expert",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:computer-science--semantics-specialist",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:computer-science--static-analysis-expert",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:computer-science--synthesis-specialist",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:computer-science--theorem-proving-expert",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:computer-science--theory-paper-author",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-agent:computer-science--type-theorist",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--advanced-dp-techniques",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--advanced-graph-algorithms",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--algorithm-implementation",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--atcoder-contest",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--backtracking-pruning",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--behavioral-interview-prep",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--binary-search-applications",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--classic-dp-library",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--code-level-optimization",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--codeforces-contest",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--combinatorics-counting",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--complexity-optimization",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--computational-geometry",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--correctness-proof-testing",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--cp-library-creation",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--cses-learning-path",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--data-structure-implementation",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--divide-conquer-design",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--dp-pattern-matching",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--dp-state-optimization",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--dp-transition-derivation",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--faang-interview-prep",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--fenwick-tree-implementation",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--graph-modeling",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--graph-traversal",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--greedy-algorithm-design",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--interview-problem-explanation",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--io-optimization",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--leetcode-problem-solving",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--memory-optimization",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--mock-coding-interview",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--number-theory-algorithms",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--pattern-matching-algorithms",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--pattern-recognition",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--prime-algorithms",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--progress-tracking",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--range-query-optimization",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--segment-tree-implementation",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--shortest-path-algorithms",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--skill-gap-analysis",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--string-processing",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--system-design-interview",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--topic-mastery-certification",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--trie-suffix-structures",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:algorithms-optimization--two-pointer-sliding-window",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--abstract-interpretation-analysis",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--algorithm-complexity-analysis",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--algorithm-correctness-proof",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--algorithm-design-paradigm-selection",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--algorithm-engineering-evaluation",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--approximation-algorithm-design",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--cache-optimization-analysis",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--compiler-optimization-design",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--complexity-lower-bound-proof",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--computational-problem-classification",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--concurrent-data-structure-design",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--cross-area-cs-integration",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--decidability-analysis",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--distributed-consensus-protocol-design",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--dsl-design-implementation",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--formal-specification-development",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--model-checking-verification",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--np-completeness-proof",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--operational-semantics-specification",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--program-synthesis-specification",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--randomized-algorithm-analysis",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--system-performance-modeling",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--theorem-prover-verification",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--theoretical-cs-paper-development",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:computer-science--type-system-design",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:algorithms-optimization--advanced-ds-library",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:algorithms-optimization--algorithm-visualizer",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:algorithms-optimization--atcoder-client",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:algorithms-optimization--code-profiler",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:algorithms-optimization--code-template-manager",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:algorithms-optimization--codeforces-api-client",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:algorithms-optimization--combinatorics-calculator",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:algorithms-optimization--complexity-analyzer",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:algorithms-optimization--cses-tracker",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:algorithms-optimization--data-structure-selector",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:algorithms-optimization--dp-optimizer",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:algorithms-optimization--dp-pattern-library",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:algorithms-optimization--dp-state-designer",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:algorithms-optimization--flow-network-builder",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:algorithms-optimization--geometry-algorithm-library",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:algorithms-optimization--geometry-primitive-library",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:algorithms-optimization--graph-algorithm-selector",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:algorithms-optimization--graph-modeler",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:algorithms-optimization--interview-problem-bank",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:algorithms-optimization--interview-simulator",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:algorithms-optimization--invariant-analyzer",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:algorithms-optimization--leetcode-problem-fetcher",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:algorithms-optimization--micro-optimizer",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:algorithms-optimization--number-theory-toolkit",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:algorithms-optimization--prime-sieve-generator",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:algorithms-optimization--proof-assistant",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:algorithms-optimization--segment-tree-builder",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:algorithms-optimization--solution-comparator",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:algorithms-optimization--solution-explainer",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:algorithms-optimization--string-algorithm-matcher",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:algorithms-optimization--suffix-structure-builder",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:algorithms-optimization--test-case-generator",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--abstract-domain-library",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--amortized-analysis-assistant",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--approximation-ratio-calculator",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--asymptotic-notation-calculator",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--benchmark-suite-manager",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--complexity-class-oracle",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--consensus-protocol-library",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--counterexample-guided-refinement",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--data-flow-analysis-framework",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--dsl-compiler-generator",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--latex-proof-formatter",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--linearizability-checker",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--loop-invariant-generator",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--memory-model-analyzer",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--model-checker-interface",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--operational-semantics-builder",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--optimization-correctness-verifier",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--probabilistic-analysis-toolkit",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--recurrence-solver",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--reduction-builder",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--related-work-analyzer",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--smt-solver-interface",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--soundness-proof-assistant",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--ssa-transformation-library",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--synthesis-specification-language",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--temporal-logic-translator",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--termination-analyzer",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--theorem-prover-interface",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--tla-plus-generator",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--turing-machine-simulator",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--type-inference-engine",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:computer-science--typing-rule-generator",
      "to": "domain:computer-science",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "term:acronym",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:benchmark",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:definition",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:domain",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:execution",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:invocation",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:language",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:ontology-schema",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:path-descriptor",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:source-ref",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:state-machine",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:synonym",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:rest-representational-state-transfer",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:event-driven-architecture-eda",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:domain-driven-design-ddd",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:cqrs-command-query-responsibility-segregation",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:backend-for-frontend-bff",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:service-oriented-architecture-soa",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:publish-subscribe-pubsub",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:mvc-model-view-controller",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:mvp-model-view-presenter",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:mvvm-model-view-viewmodel",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:single-page-application-spa",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:progressive-web-application-pwa",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:client-side-rendering-csr",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:server-side-rendering-ssr",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:static-site-generation-ssg",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:incremental-static-regeneration-isr",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:finite-state-machine-fsm",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:grpc-google-remote-procedure-call",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:server-sent-events-sse",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:jwt-json-web-tokens",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:circuit-breaker",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:canary-testing",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:rpc-remote-procedure-call",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:authentication",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:authorization",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:test-driven-development-tdd",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:behavior-driven-development-bdd",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:multi-page-application-mpa",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:term",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "term:topic",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    }
  ]
}