Triple
T2092421
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Robin Milner |
E32698
|
entity |
| Predicate | notableWork |
P4
|
FINISHED |
| Object |
The Definition of Standard ML
The Definition of Standard ML is the formal language specification that rigorously defines the syntax and semantics of the Standard ML functional programming language.
|
E232891
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69a885eba0708190999696a45cbec816 |
elicitation | completed |
| NER | batch_69abba774ca881909f83cf65ffeb24bb |
ner | completed |
| NED1 | batch_69ae2748f09c81908d471b02a185ec1e |
ned_source_triple | completed |
| NED2 | batch_69ae2876710c81909451744f48337998 |
ned_description | completed |
| NEDg | batch_69ae27e4a6f88190a6af44f2cc822f31 |
nedg | completed |
Created at: March 4, 2026, 7:43 p.m.