Triple
T380957
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Ada (programming language) |
E8676
|
entity |
| Predicate | hasProfile |
P9523
|
FINISHED |
| Object |
Ravenscar profile
The Ravenscar profile is a restricted subset of the Ada programming language designed to support high-integrity, real-time, and safety-critical systems by enforcing deterministic and analyzable concurrency.
|
E48531
|
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.