Triple
T17677448
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | FDR model checker |
E440674
|
entity |
| Predicate | supportsProperty |
P203
|
FINISHED |
| Object | failures refinement |
—
|
LITERAL FINISHED |
Provenance (2 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d8b9e940b081908b862bb0e6e89b0d |
elicitation | completed |
| NER | batch_69e46f6e959c819092d9d33e79bd51f7 |
ner | completed |
Created at: April 10, 2026, 10:01 a.m.