Triple
T17674367
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | European school of programming language design |
E440605
|
entity |
| Predicate | viewOnPrograms |
P128504
|
FINISHED |
| Object | programs as objects amenable to formal proof |
—
|
LITERAL FINISHED |
Provenance (4 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d8b9e87e18819087104a44dc4dc5b1 |
elicitation | completed |
| NER | batch_69e46f6ba22081909e2099490c047378 |
ner | completed |
| PD | batch_69e3cde007d8819090dd92eea9f022cc |
pd | completed |
| PDg | batch_69e3cfaac2b881909e1140339eb1a0dd |
pdg | completed |
Created at: April 10, 2026, 10 a.m.