Triple
T5923880
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | ML |
E131757
|
entity |
| Predicate | originatedInContextOf |
P20031
|
FINISHED |
| Object | LCF theorem prover |
E230806
|
NE FINISHED |
Provenance (3 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69c0085a1ed08190a7e9a8b6323fd680 |
elicitation | completed |
| NER | batch_69c03851189c819094524e8b5080545e |
ner | completed |
| NED1 | batch_69c0c0483e3481908e50f8b34b11a878 |
ned_source_triple | completed |
Created at: March 22, 2026, 4 p.m.