Triple
T15889172
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | A Discipline of Programming |
E385270
|
entity |
| Predicate | relatedTo |
P37
|
FINISHED |
| Object | Hoare logic |
E100208
|
NE FINISHED |
Provenance (3 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d86da5b800819083a31be937d738b0 |
elicitation | completed |
| NER | batch_69e1561d5c28819094c3541d917a4433 |
ner | completed |
| NED1 | batch_69ffb04598e0819094274868941195b9 |
ned_source_triple | completed |
Created at: April 10, 2026, 4:51 a.m.