Triple
T4765318
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Temporal Logic of Actions |
E105794
|
entity |
| Predicate | comparedWith |
P278
|
FINISHED |
| Object | Hoare logic |
E100208
|
NE FINISHED |
Provenance (3 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69bd43f226fc8190b867cc249c2a9042 |
elicitation | completed |
| NER | batch_69bd65327af48190881c25763232c368 |
ner | completed |
| NED1 | batch_69be3a87741081909380c51ba4efed92 |
ned_source_triple | completed |
Created at: March 20, 2026, 1:21 p.m.