Triple
T2092390
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Robin Milner |
E32698
|
entity |
| Predicate | knownFor |
P22
|
FINISHED |
| Object |
π-calculus
The π-calculus is a formal mathematical model for describing and analyzing concurrent, communicating systems, particularly those with dynamic network structures.
|
E230807
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69a885eba0708190999696a45cbec816 |
elicitation | completed |
| NER | batch_69abba774ca881909f83cf65ffeb24bb |
ner | completed |
| NED1 | batch_69ae2746fb3481909e0b7fdbd4748245 |
ned_source_triple | completed |
| NED2 | batch_69ae28ce87c8819097e0b5dab045d9a1 |
ned_description | completed |
| NEDg | batch_69ae2868815881908d6163ab84060ec2 |
nedg | completed |
Created at: March 4, 2026, 7:43 p.m.