Mention490697
Download triples| rdf:type | qkg:Mention |
| so:text | A semantic definition of a particular set of command types, then, is a rule for constructing, for any command of one of these types, a verification condition on the antecedents and consequents. (en) |
| so:isPartOf | https://en.wikiquote.org/wiki/Robert_Floyd |
| so:description | Assigning Meanings to Programs (1967) (en) |
| qkg:hasContext | qkg:Context242013 |
| Property | Object |
|---|
Triples where Mention490697 is the object (without rdf:type)
| qkg:Quotation465065 | qkg:hasMention |
| Subject | Property |
|---|
