Matches in Wikidata for { <http://www.wikidata.org/entity/Q56671740> ?p ?o ?g. }
Showing items 1 to 26 of
26
with 100 items per page.
- Q56671740 description "scholarly article published 1977" @default.
- Q56671740 description "wetenschappelijk artikel" @default.
- Q56671740 description "наукова стаття, опублікована в 1977" @default.
- Q56671740 name "Programming language constructs for which it is impossible to obtain good hoare-like axiom systems" @default.
- Q56671740 name "Programming language constructs for which it is impossible to obtain good hoare-like axiom systems" @default.
- Q56671740 type Item @default.
- Q56671740 label "Programming language constructs for which it is impossible to obtain good hoare-like axiom systems" @default.
- Q56671740 label "Programming language constructs for which it is impossible to obtain good hoare-like axiom systems" @default.
- Q56671740 prefLabel "Programming language constructs for which it is impossible to obtain good hoare-like axiom systems" @default.
- Q56671740 prefLabel "Programming language constructs for which it is impossible to obtain good hoare-like axiom systems" @default.
- Q56671740 P1476 Q56671740-C5F74DD3-2960-47C6-BC86-0EC9A5EE8586 @default.
- Q56671740 P2093 Q56671740-3D643B3E-CFAD-4C44-A079-CA8842D813C1 @default.
- Q56671740 P31 Q56671740-9B8A7BE8-33FA-4F8B-90F8-4C66771BF8AE @default.
- Q56671740 P356 Q56671740-5B2C6A30-D9BC-4201-9C30-E58459F44FD1 @default.
- Q56671740 P577 Q56671740-104825A8-16A9-4FA1-A417-DF21C668B0CC @default.
- Q56671740 P8978 Q56671740-DA1B1B98-AE30-460C-83F9-4AFD3E917660 @default.
- Q56671740 P921 Q56671740-AB31050F-4DA6-45E5-9EC7-4AC8255A3D61 @default.
- Q56671740 P356 512950.512952 @default.
- Q56671740 P8978 Clarke77 @default.
- Q56671740 P1476 "Programming language constructs for which it is impossible to obtain good hoare-like axiom systems" @default.
- Q56671740 P2093 "Edmund Melson Clarke" @default.
- Q56671740 P31 Q13442814 @default.
- Q56671740 P356 "10.1145/512950.512952" @default.
- Q56671740 P577 "1977-01-01T00:00:00Z" @default.
- Q56671740 P8978 "conf/popl/Clarke77" @default.
- Q56671740 P921 Q9143 @default.