Triple

T5892221
Position Surface form Disambiguated ID Type / Status
Subject P versus NP problem E131016 entity
Predicate relatedConcept P37 FINISHED
Object Cook–Levin theorem E512972 NE FINISHED

Provenance (3 batches)

Stage Batch ID Job type Status
creating batch_69c00857439c819095950754176aa58a elicitation completed
NER batch_69c036b45bec81908a13f39bbc181a59 ner completed
NED1 batch_69c0b14c2ff081908243988d5815be6d ned_source_triple completed
Created at: March 22, 2026, 3:58 p.m.