{"entities":{"Q3189829":{"pageid":3200537,"ns":120,"title":"Item:Q3189829","lastrevid":52089191,"modified":"2026-01-20T22:15:49Z","type":"item","id":"Q3189829","labels":{"en":{"language":"en","value":"Enhancing modular OO verification with separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6344218"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189829$E4BCD3EA-A656-4198-ADDE-04D32E843F47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df62577058ea2d547b56c8a72eb172c523c071d6","datavalue":{"value":{"text":"Enhancing modular OO verification with separation logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3189829$B4A48C04-902E-4C19-BD0F-DE742EC1D1ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3608d43e168651f8922d6a343382cafd86655729","datavalue":{"value":"1295.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189829$F471BA5D-0746-4E65-8BA9-04E46EB92605","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3333b0eadf9692e23027805363b1cc524bf7c08b","datavalue":{"value":"10.1145/1328438.1328452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189829$ECA5D565-CCB3-4021-880B-5FC2419EE455","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7350aed0b0267db3934820cd5357095f0cb6b7b1","datavalue":{"value":{"entity-type":"item","numeric-id":238508,"id":"Q238508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189829$401BBD70-215F-41D7-88AC-3C055F6D51F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"090a113d0db9fc2697284494c2b1b7aae1b147ef","datavalue":{"value":{"entity-type":"item","numeric-id":436397,"id":"Q436397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189829$D9121A14-D9E3-4647-8052-8E8BA6B3F09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d434b3386a2e1d22ea7d407073d0af6bd3f7060","datavalue":{"value":{"entity-type":"item","numeric-id":436398,"id":"Q436398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189829$2196B5CE-2B1B-48D5-AA71-8F637070F7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6240a0e63014b3ab3cb57b4f37c6b5dce0ed710","datavalue":{"value":{"entity-type":"item","numeric-id":436399,"id":"Q436399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189829$D78884A5-B207-41AB-ACDD-3EDC3721A6E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b8fe873188e189663cac05fcfed6950f35ec1950","datavalue":{"value":{"entity-type":"item","numeric-id":3189819,"id":"Q3189819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189829$B4815EBD-2237-4B99-9E21-B455A38D062E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad0e577f2be69493b55b974834cf6fd5cd3ca834","datavalue":{"value":{"time":"+2014-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3189829$A69C457D-24A9-4126-A7E5-B5E638F523B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189829$05D4F86B-C3B3-469D-BA80-F910ADDAF685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189829$188BAECF-DD1E-47CB-B9E8-8F76C1B7987D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189829$71FA8D0F-F61D-4A9C-A483-FAD7E3222682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189829$70E3971D-1344-4CC1-84BE-03DBD72CB31F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc7a008e16868a94bb19af26c0ce7f27090d3203","datavalue":{"value":"6344218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189829$DD0D79A9-0135-49B3-A39C-D228350A88BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5c8ba46ca3cfc960c989c4fc1677ad7c552dab4","datavalue":{"value":"automated verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189829$CFA9BEA7-7EC1-49E3-BF14-22F50E37DB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21fa3e11fef19dcd38acbce97192c46fb72b8a9f","datavalue":{"value":"enhanced subsumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189829$A5499F5D-B8B1-4070-8007-1DD4EDD5695E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"717c7fe15424ced214a7114867e318aa300e85e6","datavalue":{"value":"lossless casting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189829$43FC8572-255D-4CA9-8F31-A43A367BD7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189829$39BB50B9-3E82-4FA5-9FA2-BAB1219161CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a8fe0edb559219342ea2e2c25315282ebc5d64f","datavalue":{"value":"static and dynamic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189829$0706EEE6-437B-4206-9396-067F55A1FBAB","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189829$72A0F2BD-9DA4-47A4-97F3-C6EA1E9EEAB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bcbf7ea50365f75045662f32b7c3edbbbb2f80da","datavalue":{"value":"https://doi.org/10.1145/1328438.1328452","type":"string"},"datatype":"url"},"type":"statement","id":"Q3189829$33BACB95-680F-4E5F-B7BA-65B8D142CCBB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d6c6467e824856770602834baed72cf0672700e6","datavalue":{"value":"W2022673252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189829$D053B521-461B-429B-810E-7835DFC990F8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4f3968c27fde2ae50db65ff1c06cd3910c7026ee","datavalue":{"value":"Q130898211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189829$7C8EAAF9-F109-4F23-997E-F7B74CCB365B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"298afecf3fff08a09b8f2e579507f3488c353a49","datavalue":{"value":{"entity-type":"item","numeric-id":3189828,"id":"Q3189828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37d406ae4186e4c0c319bb6c6bea89cc93c3b519","datavalue":{"value":{"amount":"+0.7933738827705383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3189829$ED815D97-C536-4AC0-B347-13A6E59FAFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3f7a7ce1a7f13252635e130300201eb7250a573","datavalue":{"value":{"entity-type":"item","numeric-id":1902305,"id":"Q1902305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb9e6adf57accaf7e52fe431ab67935e6db8a8b6","datavalue":{"value":{"amount":"+0.7786211967468262","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3189829$0C07E9AA-BE68-4A8B-B0D1-FA892B5EB256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccce38efa48b86a39e9cecd1f72f8ac969cdc018","datavalue":{"value":{"entity-type":"item","numeric-id":5506381,"id":"Q5506381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0df358c965edef270578182bd90be2906de8c491","datavalue":{"value":{"amount":"+0.7649630904197693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3189829$E16EA019-ACA9-4BCD-8F40-8DF6DAA602EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd21a666951183fd88c38f3a196e0d9cb675a703","datavalue":{"value":{"entity-type":"item","numeric-id":5960651,"id":"Q5960651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e238d123091a5f75925197e57fc1d281a793af6","datavalue":{"value":{"amount":"+0.7629018425941467","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3189829$93E0F9BA-7993-41E4-8831-A445D424A928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e9944e901d18d4a672c6246be80ef02f9f3cfbd","datavalue":{"value":{"entity-type":"item","numeric-id":2744196,"id":"Q2744196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e45a254dbcd3290661edd5b95c1a0ecddc74b38a","datavalue":{"value":{"amount":"+0.7573713064193726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3189829$D8399860-E2ED-4E4F-B62F-1123D5CC121E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3189829","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3189829"}}}}}