{
  "@context": [
    "http://api.conceptnet.io/ld/conceptnet5.7/context.ld.json"
  ],
  "@id": "/c/mul/2_sat",
  "edges": [
    {
      "@id": "/a/[/r/RelatedTo/,/c/mul/2_sat/,/c/en/conjunctive_normal_form/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/conjunctive_normal_form",
        "@type": "Node",
        "label": "conjunctive normal form",
        "language": "en",
        "term": "/c/en/conjunctive_normal_form"
      },
      "license": "cc:by-sa/4.0",
      "rel": {
        "@id": "/r/RelatedTo",
        "@type": "Relation",
        "label": "RelatedTo"
      },
      "sources": [
        {
          "@id": "/and/[/s/process/wikiparsec/2/,/s/resource/wiktionary/en/]",
          "@type": "Source",
          "contributor": "/s/resource/wiktionary/en",
          "process": "/s/process/wikiparsec/2"
        }
      ],
      "start": {
        "@id": "/c/mul/2_sat",
        "@type": "Node",
        "label": "2 sat",
        "language": "mul",
        "term": "/c/mul/2_sat"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/RelatedTo/,/c/mul/2_sat/,/c/en/clause/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/clause",
        "@type": "Node",
        "label": "clause",
        "language": "en",
        "term": "/c/en/clause"
      },
      "license": "cc:by-sa/4.0",
      "rel": {
        "@id": "/r/RelatedTo",
        "@type": "Relation",
        "label": "RelatedTo"
      },
      "sources": [
        {
          "@id": "/and/[/s/process/wikiparsec/2/,/s/resource/wiktionary/en/]",
          "@type": "Source",
          "contributor": "/s/resource/wiktionary/en",
          "process": "/s/process/wikiparsec/2"
        }
      ],
      "start": {
        "@id": "/c/mul/2_sat",
        "@type": "Node",
        "label": "2 sat",
        "language": "mul",
        "term": "/c/mul/2_sat"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/RelatedTo/,/c/mul/2_sat/,/c/mul/3_sat/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/mul/3_sat",
        "@type": "Node",
        "label": "3 sat",
        "language": "mul",
        "term": "/c/mul/3_sat"
      },
      "license": "cc:by-sa/4.0",
      "rel": {
        "@id": "/r/RelatedTo",
        "@type": "Relation",
        "label": "RelatedTo"
      },
      "sources": [
        {
          "@id": "/and/[/s/process/wikiparsec/2/,/s/resource/wiktionary/en/]",
          "@type": "Source",
          "contributor": "/s/resource/wiktionary/en",
          "process": "/s/process/wikiparsec/2"
        }
      ],
      "start": {
        "@id": "/c/mul/2_sat",
        "@type": "Node",
        "label": "2 sat",
        "language": "mul",
        "term": "/c/mul/2_sat"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/RelatedTo/,/c/mul/2_sat/,/c/en/literal/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/literal",
        "@type": "Node",
        "label": "literal",
        "language": "en",
        "term": "/c/en/literal"
      },
      "license": "cc:by-sa/4.0",
      "rel": {
        "@id": "/r/RelatedTo",
        "@type": "Relation",
        "label": "RelatedTo"
      },
      "sources": [
        {
          "@id": "/and/[/s/process/wikiparsec/2/,/s/resource/wiktionary/en/]",
          "@type": "Source",
          "contributor": "/s/resource/wiktionary/en",
          "process": "/s/process/wikiparsec/2"
        }
      ],
      "start": {
        "@id": "/c/mul/2_sat",
        "@type": "Node",
        "label": "2 sat",
        "language": "mul",
        "term": "/c/mul/2_sat"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/HasContext/,/c/mul/2_sat/,/c/en/computing_theory/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/computing_theory",
        "@type": "Node",
        "label": "computing theory",
        "language": "en",
        "term": "/c/en/computing_theory"
      },
      "license": "cc:by-sa/4.0",
      "rel": {
        "@id": "/r/HasContext",
        "@type": "Relation",
        "label": "HasContext"
      },
      "sources": [
        {
          "@id": "/and/[/s/process/wikiparsec/2/,/s/resource/wiktionary/en/]",
          "@type": "Source",
          "contributor": "/s/resource/wiktionary/en",
          "process": "/s/process/wikiparsec/2"
        }
      ],
      "start": {
        "@id": "/c/mul/2_sat",
        "@type": "Node",
        "label": "2 sat",
        "language": "mul",
        "term": "/c/mul/2_sat"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/FormOf/,/c/mul/2sat/,/c/mul/2_sat/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/mul/2_sat",
        "@type": "Node",
        "label": "2 sat",
        "language": "mul",
        "term": "/c/mul/2_sat"
      },
      "license": "cc:by-sa/4.0",
      "rel": {
        "@id": "/r/FormOf",
        "@type": "Relation",
        "label": "FormOf"
      },
      "sources": [
        {
          "@id": "/and/[/s/process/wikiparsec/2/,/s/resource/wiktionary/en/]",
          "@type": "Source",
          "contributor": "/s/resource/wiktionary/en",
          "process": "/s/process/wikiparsec/2"
        }
      ],
      "start": {
        "@id": "/c/mul/2sat",
        "@type": "Node",
        "label": "2sat",
        "language": "mul",
        "term": "/c/mul/2sat"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/RelatedTo/,/c/mul/2_sat/,/c/en/formula/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/formula",
        "@type": "Node",
        "label": "formula",
        "language": "en",
        "term": "/c/en/formula"
      },
      "license": "cc:by-sa/4.0",
      "rel": {
        "@id": "/r/RelatedTo",
        "@type": "Relation",
        "label": "RelatedTo"
      },
      "sources": [
        {
          "@id": "/and/[/s/process/wikiparsec/2/,/s/resource/wiktionary/en/]",
          "@type": "Source",
          "contributor": "/s/resource/wiktionary/en",
          "process": "/s/process/wikiparsec/2"
        }
      ],
      "start": {
        "@id": "/c/mul/2_sat",
        "@type": "Node",
        "label": "2 sat",
        "language": "mul",
        "term": "/c/mul/2_sat"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/RelatedTo/,/c/mul/2_sat/,/c/en/decision_problem/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/decision_problem",
        "@type": "Node",
        "label": "decision problem",
        "language": "en",
        "term": "/c/en/decision_problem"
      },
      "license": "cc:by-sa/4.0",
      "rel": {
        "@id": "/r/RelatedTo",
        "@type": "Relation",
        "label": "RelatedTo"
      },
      "sources": [
        {
          "@id": "/and/[/s/process/wikiparsec/2/,/s/resource/wiktionary/en/]",
          "@type": "Source",
          "contributor": "/s/resource/wiktionary/en",
          "process": "/s/process/wikiparsec/2"
        }
      ],
      "start": {
        "@id": "/c/mul/2_sat",
        "@type": "Node",
        "label": "2 sat",
        "language": "mul",
        "term": "/c/mul/2_sat"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/RelatedTo/,/c/mul/2_sat/,/c/mul/sat/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/mul/sat",
        "@type": "Node",
        "label": "sat",
        "language": "mul",
        "term": "/c/mul/sat"
      },
      "license": "cc:by-sa/4.0",
      "rel": {
        "@id": "/r/RelatedTo",
        "@type": "Relation",
        "label": "RelatedTo"
      },
      "sources": [
        {
          "@id": "/and/[/s/process/wikiparsec/2/,/s/resource/wiktionary/en/]",
          "@type": "Source",
          "contributor": "/s/resource/wiktionary/en",
          "process": "/s/process/wikiparsec/2"
        }
      ],
      "start": {
        "@id": "/c/mul/2_sat",
        "@type": "Node",
        "label": "2 sat",
        "language": "mul",
        "term": "/c/mul/2_sat"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/RelatedTo/,/c/mul/2_sat/,/c/en/satisfiable/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/en/satisfiable",
        "@type": "Node",
        "label": "satisfiable",
        "language": "en",
        "term": "/c/en/satisfiable"
      },
      "license": "cc:by-sa/4.0",
      "rel": {
        "@id": "/r/RelatedTo",
        "@type": "Relation",
        "label": "RelatedTo"
      },
      "sources": [
        {
          "@id": "/and/[/s/process/wikiparsec/2/,/s/resource/wiktionary/en/]",
          "@type": "Source",
          "contributor": "/s/resource/wiktionary/en",
          "process": "/s/process/wikiparsec/2"
        }
      ],
      "start": {
        "@id": "/c/mul/2_sat",
        "@type": "Node",
        "label": "2 sat",
        "language": "mul",
        "term": "/c/mul/2_sat"
      },
      "surfaceText": null,
      "weight": 1.0
    },
    {
      "@id": "/a/[/r/ExternalURL/,/c/mul/2_sat/,/http://en.wiktionary.org/wiki/2-SAT/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "http://en.wiktionary.org/wiki/2-SAT",
        "@type": "Node",
        "label": "2-SAT",
        "path": "/wiki/2-SAT",
        "site": "en.wiktionary.org",
        "site_available": true,
        "term": "http://en.wiktionary.org/wiki/2-SAT"
      },
      "license": "cc:by-sa/4.0",
      "rel": {
        "@id": "/r/ExternalURL",
        "@type": "Relation",
        "label": "ExternalURL"
      },
      "sources": [
        {
          "@id": "/and/[/s/process/wikiparsec/2/,/s/resource/wiktionary/en/]",
          "@type": "Source",
          "contributor": "/s/resource/wiktionary/en",
          "process": "/s/process/wikiparsec/2"
        }
      ],
      "start": {
        "@id": "/c/mul/2_sat",
        "@type": "Node",
        "label": "2 sat",
        "language": "mul",
        "term": "/c/mul/2_sat"
      },
      "surfaceText": null,
      "weight": 0.25
    },
    {
      "@id": "/a/[/r/EtymologicallyRelatedTo/,/c/mul/2_sat/,/c/mul/sat/]",
      "@type": "Edge",
      "dataset": "/d/wiktionary/en",
      "end": {
        "@id": "/c/mul/sat",
        "@type": "Node",
        "label": "sat",
        "language": "mul",
        "term": "/c/mul/sat"
      },
      "license": "cc:by-sa/4.0",
      "rel": {
        "@id": "/r/EtymologicallyRelatedTo",
        "@type": "Relation",
        "label": "EtymologicallyRelatedTo"
      },
      "sources": [
        {
          "@id": "/and/[/s/process/wikiparsec/2/,/s/resource/wiktionary/en/]",
          "@type": "Source",
          "contributor": "/s/resource/wiktionary/en",
          "process": "/s/process/wikiparsec/2"
        }
      ],
      "start": {
        "@id": "/c/mul/2_sat",
        "@type": "Node",
        "label": "2 sat",
        "language": "mul",
        "term": "/c/mul/2_sat"
      },
      "surfaceText": null,
      "weight": 0.25
    }
  ],
  "version": "5.8.1"
}