{"entities":{"Q3605465":{"pageid":5635371,"ns":120,"title":"Item:Q3605465","lastrevid":49666735,"modified":"2026-01-08T20:57:07Z","type":"item","id":"Q3605465","labels":{"en":{"language":"en","value":"Predicate Abstraction in a Program Logic Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5510230"}},"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":"Q3605465$07648CF6-F97F-47C9-85E4-DA1739030307","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6dfc680096c10bb1f7fd558b61f3df57d1a4da32","datavalue":{"value":{"text":"Predicate Abstraction in a Program Logic Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3605465$D7426EE9-DEDD-4D17-BBF3-1418BE47C017","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"592f2210994d3593f2fc28b6d63e9e93dc1f0242","datavalue":{"value":"1211.68257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605465$4FED3F2D-863D-4678-BF6C-7423CB7920A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8a3d0ac61da3d749b963693d6f93147bba06396","datavalue":{"value":"10.1007/978-3-642-00255-7_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605465$988A917E-9B65-430F-9B10-D00DC3F9900F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaac08e9d7718d3fa6ca9f20924a3d2f73a26d2b","datavalue":{"value":{"entity-type":"item","numeric-id":549685,"id":"Q549685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605465$C1E85749-6BC8-4390-A012-9F2F8BEB0A35","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605465$1E71D88D-307E-41A4-A1C4-3616FD908DDE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e18d4fd78a311e2c3bebfb4c4076a76532be8395","datavalue":{"value":{"time":"+2009-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3605465$65F6F441-34F4-4B46-99D9-C1A8BBAA3703","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605465$E942DF75-F852-4498-931C-E9AAE9684BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605465$118C08C3-5B49-46A9-B8E2-D7A62B96710E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605465$0A494B1F-FBDB-4B80-B305-83EAB4690C34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c823c5b537e3b8b5a4673da110de40770f58ca85","datavalue":{"value":"5510230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605465$D07896C5-DFED-4384-9CBF-F41F9088A70E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605465$C61B56F2-6FA6-40A3-A48E-833A9B07291F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605465$3913B883-BE7A-4CA1-8191-AD8A72C5BD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605465$A9F39EFE-67C8-4B50-8B50-76AF16E5EF94","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":"Q3605465$C05BD3E7-0271-44E2-94C4-4AA89CEAA3AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"354d866cf39c613968fdb4285380f1cf4e7b8f39","datavalue":{"value":"https://doi.org/10.1007/978-3-642-00255-7_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3605465$60A8FD31-34C4-40D7-8825-BBFA7191B50A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d3f3481d267511c7190814b11e4cb648e64f061","datavalue":{"value":"W2162713269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605465$89922BCA-A9B1-4011-9C1A-5B10843B669B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cdc7283fe176cc7266c2ab2cb14158c061aab4a","datavalue":{"value":{"entity-type":"item","numeric-id":3613414,"id":"Q3613414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605465$05BD5690-158F-49D0-83CD-22E1E5FBDD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605465$5B83DBC2-6ED9-4F26-B7BB-8817EC028CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f7228d911878a16429788a7e2e2b8ecaf57db22","datavalue":{"value":{"entity-type":"item","numeric-id":4817541,"id":"Q4817541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605465$EDBCDC4F-7CCE-4F4F-8D8A-30E2CB6385D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605465$343B40E5-3ADE-45B9-A9A6-A27FCA2CC42A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf1da1b48aad7248192eb6bac6e3c0872fcb00b8","datavalue":{"value":{"entity-type":"item","numeric-id":5178906,"id":"Q5178906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605465$FD79B751-F5A4-47CD-BF7B-2164E9B4B9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605465$7F73F276-6709-4C87-9DFA-63ACF4CCD9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e5ccf0b70a10206d3060a0ecdfcb0df27797b2d","datavalue":{"value":{"entity-type":"item","numeric-id":5493379,"id":"Q5493379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605465$CEC84F4A-455D-4934-AD11-5CD60D5C4A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9b6bedea1cffabec2896430aabcdd08d9b551a1","datavalue":{"value":{"entity-type":"item","numeric-id":5387908,"id":"Q5387908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605465$11736544-9D49-48B5-A89A-7F40AAAA5875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ab6e8e0bdc75b20da172ab4510ad41a1c82a0e","datavalue":{"value":{"entity-type":"item","numeric-id":3608771,"id":"Q3608771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605465$F005DF50-5F6C-4442-8A6C-E662831B9639","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"161118802484d431fcfd10386c29a1c76fdd246c","datavalue":{"value":{"entity-type":"item","numeric-id":549686,"id":"Q549686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","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":"Q3605465$F964F704-6076-414F-9BA6-6399B0A48340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c28fd55a29f6d32a1c55565c108241b7d263d37","datavalue":{"value":{"entity-type":"item","numeric-id":5170808,"id":"Q5170808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d4e5d50ae1180e171451e9d7149f46000ebef19","datavalue":{"value":{"amount":"+0.94072676","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":"Q3605465$35561429-5340-4C6D-B30E-1EE7BD892F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a07a88b0f27ee9be43ba0164aa75de7214897557","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3945dfe69ff960b3adcb32a792dbc7ad67baf24","datavalue":{"value":{"amount":"+0.9365645","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":"Q3605465$DB5C6B36-88B6-4C74-A53D-EFD184995073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bac9d4d28f254e49858c9874367df8c34d82c78","datavalue":{"value":{"entity-type":"item","numeric-id":3176373,"id":"Q3176373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3f7a3532fd48aa4952419065d6a46d70d124561","datavalue":{"value":{"amount":"+0.93115205","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":"Q3605465$0F7B63D1-BD1D-4DC8-949C-A07EE1344C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"999375bb39403446b655884783d866a5eae1eecf","datavalue":{"value":{"entity-type":"item","numeric-id":4287476,"id":"Q4287476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aea01a4cfe32ad64683f5c470ab644cd7f0000a2","datavalue":{"value":{"amount":"+0.93004715","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":"Q3605465$833D39A8-9E08-42F2-8DFD-97843D56E82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ac78345bf4b123188e46cf39b9cc0686336332c","datavalue":{"value":{"entity-type":"item","numeric-id":5310686,"id":"Q5310686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c21eafd155eddd5c2cac908748b8efd70c06829","datavalue":{"value":{"amount":"+0.92803437","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":"Q3605465$FF85BB42-8140-4B40-9D06-FD36AA3C2928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b91559bd30f3b8b0605475a027817190720da81","datavalue":{"value":{"entity-type":"item","numeric-id":5716593,"id":"Q5716593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c21eafd155eddd5c2cac908748b8efd70c06829","datavalue":{"value":{"amount":"+0.92803437","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":"Q3605465$BA341AB0-EC98-45F5-B761-2B2E8CDC9062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8d84554ebf41d0cd4d1e786abcbacf5b6ec0ec0","datavalue":{"value":{"entity-type":"item","numeric-id":3522920,"id":"Q3522920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c06bbfe59734379bda745f8de001a7a34da1f717","datavalue":{"value":{"amount":"+0.9143792","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":"Q3605465$E265DBD1-3CA9-4929-A5FE-06621E0C85AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60838d350036cfd4f4e4bf593a666dc1ab1dc48c","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6102e3d860b347db97996032f4ae53508dfaf1c","datavalue":{"value":{"amount":"+0.9094541","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":"Q3605465$49A99618-0C74-4411-BAD4-0D64B9E71AD9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3605465","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3605465"}}}}}