Triple
T7666071
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | NP-completeness |
E173625
|
entity |
| Predicate | hasCanonicalProblem |
P78665
|
FINISHED |
| Object |
SAT
SAT (the Boolean satisfiability problem) is the fundamental decision problem of determining whether there exists an assignment of truth values that makes a given Boolean formula evaluate to true.
|
E679891
|
NE FINISHED |
Provenance (7 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69c699562484819086752091e3164a27 |
elicitation | completed |
| NER | batch_69c7063dab1881909598b04999b8b690 |
ner | completed |
| NED1 | batch_69c89b1fdccc8190a69b4745dc3b2347 |
ned_source_triple | completed |
| NED2 | batch_69c89ddd81a88190924d41529e94b06b |
ned_description | completed |
| NEDg | batch_69c89d513af88190b453bf3bf1adcbfb |
nedg | completed |
| PD | batch_69c7015f7430819099d3ea2781b7cee2 |
pd | completed |
| PDg | batch_69c7063cfd78819095c6501fe8d57312 |
pdg | completed |
Created at: March 27, 2026, 4 p.m.