Triple
T4443709
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | CSP (Communicating Sequential Processes) |
E96229
|
entity |
| Predicate | hasToolSupport |
P9867
|
FINISHED |
| Object | FDR model checker |
—
|
NE NERFINISHED |
Provenance (3 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69b345415ba481908df738e7174448ba |
elicitation | completed |
| NER | batch_69b355b052688190a0d8e5912f82151c |
ner | completed |
| PD | batch_69b34f62c180819097ced38da2052207 |
pd | completed |
Created at: March 12, 2026, 11:32 p.m.