Triple

T18791313
Position Surface form Disambiguated ID Type / Status
Subject Dijkstra weakest precondition calculus E459519 entity
Predicate property P5774 FINISHED
Object compositional LITERAL FINISHED

Provenance (2 batches)

Stage Batch ID Job type Status
creating batch_69d8d396f54c8190ba49db31e8743842 elicitation completed
NER batch_69e5978665388190aaefed0ec30a1ff3 ner completed
Created at: April 10, 2026, 11:53 a.m.