Matches in Wikidata for { <http://www.wikidata.org/entity/Q62652834> ?p ?o ?g. }
Showing items 1 to 26 of
26
with 100 items per page.
- Q62652834 description "wetenschappelijk artikel" @default.
- Q62652834 description "наукова стаття" @default.
- Q62652834 name "The SAT-based Approach to Separation Logic" @default.
- Q62652834 name "The SAT-based Approach to Separation Logic" @default.
- Q62652834 type Item @default.
- Q62652834 label "The SAT-based Approach to Separation Logic" @default.
- Q62652834 label "The SAT-based Approach to Separation Logic" @default.
- Q62652834 prefLabel "The SAT-based Approach to Separation Logic" @default.
- Q62652834 prefLabel "The SAT-based Approach to Separation Logic" @default.
- Q62652834 P1476 Q62652834-1338957E-4197-474F-8734-4887002E6CEB @default.
- Q62652834 P2093 Q62652834-39691F98-4F62-416C-AD44-B69C7593F62C @default.
- Q62652834 P2093 Q62652834-46E13B6C-BE93-4BA9-902E-66B57EF89B9E @default.
- Q62652834 P2093 Q62652834-86B9D827-0054-43F4-A064-65FBE267AF91 @default.
- Q62652834 P2093 Q62652834-F8FD499C-43FE-47FA-9B2C-DFA40C8753EF @default.
- Q62652834 P304 Q62652834-1BFDA88F-3BF5-4522-A341-7F6F18939BF2 @default.
- Q62652834 P31 Q62652834-E2BE6A44-C602-490F-B4BA-E2C92282EE43 @default.
- Q62652834 P356 Q62652834-EB099B59-6534-4974-8C98-BA53529BD7C1 @default.
- Q62652834 P356 978-1-4020-5571-3_11 @default.
- Q62652834 P1476 "The SAT-based Approach to Separation Logic" @default.
- Q62652834 P2093 "Alessandro Armando" @default.
- Q62652834 P2093 "Claudio Castellini" @default.
- Q62652834 P2093 "Enrico Giunchiglia" @default.
- Q62652834 P2093 "Marco Maratea" @default.
- Q62652834 P304 "237-263" @default.
- Q62652834 P31 Q13442814 @default.
- Q62652834 P356 "10.1007/978-1-4020-5571-3_11" @default.