Triple
T9634395
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | The Definition of Standard ML |
E232891
|
entity |
| Predicate | influenced |
P9
|
FINISHED |
| Object | HOL theorem provers |
E807591
|
NE FINISHED |
Provenance (3 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69ca848940cc8190b97cec654cb3bb4a |
elicitation | completed |
| NER | batch_69cd9b2a0e2c8190ab5aaa223b1e1cde |
ner | completed |
| NED1 | batch_69d189fa706c819080e8ac2411f57d93 |
ned_source_triple | completed |
Created at: March 30, 2026, 8:11 p.m.