{"@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"}