Matches in Wikidata for { <http://www.wikidata.org/entity/Q62652851> ?p ?o ?g. }
Showing items 1 to 43 of
43
with 100 items per page.
- Q62652851 description "article scientifique publié en 2005" @default.
- Q62652851 description "im Dezember 2005 veröffentlichter wissenschaftlicher Artikel" @default.
- Q62652851 description "наукова стаття, опублікована в грудні 2005" @default.
- Q62652851 name "The SAT-based Approach to Separation Logic" @default.
- Q62652851 type Item @default.
- Q62652851 label "The SAT-based Approach to Separation Logic" @default.
- Q62652851 prefLabel "The SAT-based Approach to Separation Logic" @default.
- Q62652851 P1433 Q62652851-B26B6DBD-9A1D-466D-B677-79426C5B96D1 @default.
- Q62652851 P1476 Q62652851-88413D41-82C2-4D12-AF15-3A68B6D80EEC @default.
- Q62652851 P2093 Q62652851-3C519B55-35EB-49F3-94A7-094CD61D2CCE @default.
- Q62652851 P2093 Q62652851-90982074-AD3B-47E7-98A8-CBAD82EB437E @default.
- Q62652851 P2093 Q62652851-CF47204F-528C-4B7B-AC06-404612D67B17 @default.
- Q62652851 P2093 Q62652851-DD56C11D-4396-4C7F-8C72-F5FCE30D754D @default.
- Q62652851 P2888 Q62652851-A27FE2B9-9FBE-4A94-B768-C19C99E85B98 @default.
- Q62652851 P304 Q62652851-4DD926F6-9D7A-4896-AA07-1567E1719B3C @default.
- Q62652851 P31 Q62652851-A5E9DB1F-038D-4555-8A9D-6BB739396F61 @default.
- Q62652851 P356 Q62652851-A5CA4365-B50D-43DD-B275-E88590D0B357 @default.
- Q62652851 P433 Q62652851-9CD5A08A-B37B-4849-B95A-4256E9D3EA5E @default.
- Q62652851 P478 Q62652851-0529B8BB-9F38-4598-AD62-129B91628803 @default.
- Q62652851 P577 Q62652851-DE544EAD-960F-40B2-95C4-2EA791F57D5F @default.
- Q62652851 P6104 Q62652851-00897BD7-2ED8-47BA-B59F-F3EC7891E322 @default.
- Q62652851 P6179 Q62652851-DABE4B17-0DB9-4E21-9BB6-80CA455851A5 @default.
- Q62652851 P894 Q62652851-D4B9FD59-E41C-4AE7-956C-AFB11A659B54 @default.
- Q62652851 P8978 Q62652851-442ED6BD-9617-41B6-8480-3B45D4D6B491 @default.
- Q62652851 P356 S10817-005-9002-1 @default.
- Q62652851 P8978 ArmandoCGM05 @default.
- Q62652851 P1433 Q6294821 @default.
- Q62652851 P1476 "The SAT-based Approach to Separation Logic" @default.
- Q62652851 P2093 "Alessandro Armando" @default.
- Q62652851 P2093 "Claudio Castellini" @default.
- Q62652851 P2093 "Enrico Giunchiglia" @default.
- Q62652851 P2093 "Marco Maratea" @default.
- Q62652851 P2888 s10817-005-9002-1 @default.
- Q62652851 P304 "237-263" @default.
- Q62652851 P31 Q13442814 @default.
- Q62652851 P356 "10.1007/S10817-005-9002-1" @default.
- Q62652851 P433 "1-3" @default.
- Q62652851 P478 "35" @default.
- Q62652851 P577 "2005-12-28T00:00:00Z" @default.
- Q62652851 P6104 Q8487137 @default.
- Q62652851 P6179 "1015237888" @default.
- Q62652851 P894 "1109.68108" @default.
- Q62652851 P8978 "journals/jar/ArmandoCGM05" @default.