Context216837
Download triples| rdf:type | qkg:Context |
| qkg:contextText | Dijkstra (EWD1239: A first exploration of effective reasoning) (en) |
| Property | Object |
|---|
Triples where Context216837 is the object (without rdf:type)
| qkg:Mention440890 | qkg:hasContext |
| Subject | Property |
|---|
