{"entities":{"Q2226739":{"pageid":2237482,"ns":120,"title":"Item:Q2226739","lastrevid":57685911,"modified":"2026-03-31T22:04:23Z","type":"item","id":"Q2226739","labels":{"en":{"language":"en","value":"Local reasoning about the presence of bugs: incorrectness separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7307968"}},"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":"Q2226739$0FBCE5C0-16DE-4B91-8C67-9AF8A9E6C718","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"599bff0ddc12cb63e2ccff628d4254a6ab0f7fb2","datavalue":{"value":{"text":"Local reasoning about the presence of bugs: incorrectness separation logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2226739$F6E0D714-4FBC-4EA1-902D-335BA5CD6ECD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96e8cea556784733c7e423aee38d588d44694b07","datavalue":{"value":"1478.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226739$CECF3EAA-5651-4D20-AB5C-D2F76FF94312","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a5149752761d11208df74acf254a80f8f761cff","datavalue":{"value":"10.1007/978-3-030-53291-8_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226739$98CBEE25-CEFA-45D1-A562-05577E07C934","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de5226bed02ea0c79d811817e8f95d4157388a70","datavalue":{"value":{"entity-type":"item","numeric-id":283753,"id":"Q283753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226739$3E6B9C29-1733-48F7-8BF2-126E9CCCBA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4e56a36e4bde76c0ca7e5e91f617c37b6d9345f","datavalue":{"value":{"entity-type":"item","numeric-id":1870490,"id":"Q1870490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226739$2DFBDE03-1236-453F-BD58-4C59B382C4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8d85632818b262f2433c94efdaf6d43864cecd3","datavalue":{"value":{"entity-type":"item","numeric-id":2226737,"id":"Q2226737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226739$1A2E70C7-7223-4C63-9EED-635F122550D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c4e228a29afeb420d031832419eeb44a6dbdbe7","datavalue":{"value":{"entity-type":"item","numeric-id":736796,"id":"Q736796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226739$28B85CBC-CA6E-4A4D-B16A-531A38BAB282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1f67e4f16065570fc730f998e4456a221f6f339","datavalue":{"value":{"entity-type":"item","numeric-id":992516,"id":"Q992516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226739$8E0C3D35-3BCF-4BFF-B22F-D00AD19F90A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"714a2f9cc11bbae3e9bb5cca0a961971143e413d","datavalue":{"value":{"entity-type":"item","numeric-id":1265186,"id":"Q1265186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226739$EF88E2F6-FE2E-45C4-AAFC-ADBCDD8A80F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44995ee145c1f02a174e4b3916219598c7e9c4ff","datavalue":{"value":{"time":"+2021-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2226739$ECE9B894-FBE4-45D3-B65F-E489550F90CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226739$C844D175-34BA-4960-B9C5-B346F0F67927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226739$6F6F21CB-E55C-42B9-A24B-95C05C7222EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e833288e3f3b16191c52edb64c4592244b3b3ef","datavalue":{"value":"7307968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226739$3FF3AFA2-E586-485E-9649-9FBA23500028","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea0d299920022edce35db71b9ef58e865e2cd3d4","datavalue":{"value":"program logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2226739$A173B73E-4C55-4F75-BAAB-4850C57D1118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2226739$3034847C-3CD0-4A28-A14F-98D436FFF2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d4109ed21ac0b2d0a0e7462ceb2b7523f3c0afe","datavalue":{"value":"bug catching","type":"string"},"datatype":"string"},"type":"statement","id":"Q2226739$3E5EC73F-0A9F-425A-B698-E366CED1047E","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":"Q2226739$D382733A-7E6C-443D-8135-9715BBF4A2C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62a6d6f159ae9591c74226605fa2717793c124bc","datavalue":{"value":"https://doi.org/10.1007/978-3-030-53291-8_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q2226739$2324BC3D-5D3C-430F-8530-A036DEB70F7D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70670f0f82c40a1fe255d84450cb1045c5248e1d","datavalue":{"value":"W3043626952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226739$EADC1A37-0536-4703-85C1-0FDB08E07B67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25d428460903c2987cbeea62164b5449c26762a3","datavalue":{"value":{"entity-type":"item","numeric-id":5458332,"id":"Q5458332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6e311efb30524de9caa4abffea918eb47cf20a2","datavalue":{"value":{"amount":"+0.86389196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2226739$09CD2449-D515-4005-AE3D-7070D1C2F177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a82a874e9d3940e98c9a9f286395905bce6fce6","datavalue":{"value":{"entity-type":"item","numeric-id":3558242,"id":"Q3558242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad0a4bc946f5d204e7744cf5d4fb85bcc130cd3d","datavalue":{"value":{"amount":"+0.8404004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2226739$EE9E42D2-2500-466E-9B6E-2059225BBB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fe7e0ad4a852e964dadf7dda65e8431e3b3fdeb","datavalue":{"value":{"entity-type":"item","numeric-id":3612477,"id":"Q3612477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"958ebb0d8b6d6594f124f5b4ddd6c067bdb695ab","datavalue":{"value":{"amount":"+0.83264565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2226739$D31663FE-34F6-4480-87E3-B77B71B4658B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41df448746544891828ff57dbe6462b25dbede2d","datavalue":{"value":{"entity-type":"item","numeric-id":6062741,"id":"Q6062741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2c1b1bbcc9bee69709576b30ffbec6fa82d8957","datavalue":{"value":{"amount":"+0.8311192","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2226739$61459A44-722B-4558-87A5-A7FB598B02DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df1fbccb5f52f253bd3945861cba0cb9e6523737","datavalue":{"value":{"entity-type":"item","numeric-id":5394214,"id":"Q5394214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"856c495f354f1ef6ce0cddbc99b56901e6807e6a","datavalue":{"value":{"amount":"+0.82713336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2226739$232F6BD6-E731-4728-9AC4-DDB72D818334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3f1d7773e3f151fb198089c636fce6e2001ddcd","datavalue":{"value":{"entity-type":"item","numeric-id":4583954,"id":"Q4583954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66eda742f560010f4d388c0db57a9a8ea5d2f6c9","datavalue":{"value":{"amount":"+0.8234631","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2226739$323B776C-6A2E-4D48-B53E-4E26823CA8B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44fd349950e3d03b66c72486b9ec076f39f57faa","datavalue":{"value":{"entity-type":"item","numeric-id":840097,"id":"Q840097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f86a75fb3079461d5c8bd798e5b55ae216f47ade","datavalue":{"value":{"amount":"+0.81704235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2226739$F2C08914-D3FA-4F26-BEB5-2177E1F11BBD","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226739$06D8F0C6-83ED-4FBE-BB33-DF7B18D83077","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2226739","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2226739"}}}}}