Triple
T3744686
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Dijkstra |
E79781
|
entity |
| Predicate | notableWork |
P4
|
FINISHED |
| Object |
A Discipline of Programming
A Discipline of Programming is a seminal 1976 book by Edsger W. Dijkstra that rigorously develops program construction using formal mathematical reasoning and correctness proofs.
|
E385270
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69ad8b115610819095b02007da5ca3cb |
elicitation | completed |
| NER | batch_69adcb58c9048190a055d1f4a7e6b699 |
ner | completed |
| NED1 | batch_69b4db29b2288190932923a6bf1a7e8e |
ned_source_triple | completed |
| NED2 | batch_69b4dfa6d7c4819083cad94e23fe7c8b |
ned_description | completed |
| NEDg | batch_69b4df07a5b88190ab88e1f644c1bf53 |
nedg | completed |
Created at: March 8, 2026, 3:34 p.m.