Matches in Wikidata for { <http://www.wikidata.org/entity/Q57658823> ?p ?o ?g. }
Showing items 1 to 34 of
34
with 100 items per page.
- Q57658823 description "article scientifique" @default.
- Q57658823 description "wetenschappelijk artikel" @default.
- Q57658823 description "наукова стаття" @default.
- Q57658823 name "Explaining Verification Conditions" @default.
- Q57658823 name "Explaining Verification Conditions" @default.
- Q57658823 type Item @default.
- Q57658823 label "Explaining Verification Conditions" @default.
- Q57658823 label "Explaining Verification Conditions" @default.
- Q57658823 prefLabel "Explaining Verification Conditions" @default.
- Q57658823 prefLabel "Explaining Verification Conditions" @default.
- Q57658823 P1433 Q57658823-A10E78E1-8059-4C62-A090-AB5077C50467 @default.
- Q57658823 P1476 Q57658823-C90743A7-7235-4020-BEB1-669C2324643F @default.
- Q57658823 P2093 Q57658823-13F8298A-0D26-4132-A11D-693CFEB2B323 @default.
- Q57658823 P304 Q57658823-CD80F367-3BE5-4EFE-A784-681AD2057C52 @default.
- Q57658823 P31 Q57658823-5A478216-7A0F-4B4A-B4E3-015C2E1658A4 @default.
- Q57658823 P356 Q57658823-F5055886-5134-4056-88C1-80B697281D99 @default.
- Q57658823 P407 Q57658823-8A374DA0-4FE7-4EE7-B835-6DFD5D4DA48B @default.
- Q57658823 P50 Q57658823-B193BB38-F198-4BAF-B9B9-F7929FE16568 @default.
- Q57658823 P6104 Q57658823-72DD4BB9-2CA6-434A-A67D-30D136012DA6 @default.
- Q57658823 P894 Q57658823-B471D0DF-B2EF-4B72-A726-0D2F4D747B63 @default.
- Q57658823 P8978 Q57658823-90C9A295-AA5A-4F39-B10F-7441C8E455EA @default.
- Q57658823 P356 978-3-540-79980-1_12 @default.
- Q57658823 P8978 DenneyF08 @default.
- Q57658823 P1433 Q924044 @default.
- Q57658823 P1476 "Explaining Verification Conditions" @default.
- Q57658823 P2093 "Ewen Denney" @default.
- Q57658823 P304 "145-159" @default.
- Q57658823 P31 Q13442814 @default.
- Q57658823 P356 "10.1007/978-3-540-79980-1_12" @default.
- Q57658823 P407 Q1860 @default.
- Q57658823 P50 Q57416941 @default.
- Q57658823 P6104 Q8487137 @default.
- Q57658823 P894 "1170.68430" @default.
- Q57658823 P8978 "conf/amast/DenneyF08" @default.