Triple

T3522545
Position Surface form Disambiguated ID Type / Status
Subject PCP theorem E74456 entity
Predicate characterizes P662 FINISHED
Object NP in terms of probabilistically checkable proofs E74456 NE FINISHED

Provenance (3 batches)

Stage Batch ID Job type Status
creating batch_69ad85d0c5488190a3d8e02ebd01a1aa elicitation completed
NER batch_69adbc4dd6d48190a5a3f4b86c82b86c ner completed
NED1 batch_69b38bca41a88190b5550b9c1e763092 ned_source_triple completed
Created at: March 8, 2026, 3:19 p.m.