Triple

T400770
Position Surface form Disambiguated ID Type / Status
Subject Modula-3 E9274 entity
Predicate influenced P9 FINISHED
Object BitC
BitC is a systems programming language designed for safety, low-level control, and formal verification, drawing on ideas from Modula-3 and capability-based security.
E50815 NE FINISHED

Provenance (5 batches)

Stage Batch ID Job type Status
creating batch_69a2e8004cb88190b92ed1add6abf41a elicitation completed
NER batch_69a2ec8e655c819081eff85c0ef55fa5 ner completed
NED1 batch_69a410410c108190990d4d5ef2e7ff61 ned_source_triple completed
NED2 batch_69a41125951c8190accbf273ef677206 ned_description completed
NEDg batch_69a410ce17ac8190a3ac2325e36cf6b3 nedg completed
Created at: Feb. 28, 2026, 1:08 p.m.