Triple
T380951
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Ada (programming language) |
E8676
|
entity |
| Predicate | hasSubset |
P5797
|
FINISHED |
| Object |
SPARK Ada
SPARK Ada is a formally verifiable subset of the Ada programming language designed for high-integrity and safety-critical software development.
|
E8676
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69a2e7f47dd08190a4e294ccbbe46cd4 |
elicitation | completed |
| NER | batch_69a2ec2c95088190a603bb1ee076ebd6 |
ner | completed |
| NED1 | batch_69a3faffa5848190b77503516f3d0ba6 |
ned_source_triple | completed |
| NED2 | batch_69a3fd99e73c8190b5a92856ca0a4b82 |
ned_description | completed |
| NEDg | batch_69a3fb912d9881909d8eb02cdae70163 |
nedg | completed |
Created at: Feb. 28, 2026, 1:08 p.m.