{"entities":{"Q2891400":{"pageid":2902125,"ns":120,"title":"Item:Q2891400","lastrevid":84871223,"modified":"2026-06-02T15:36:43Z","type":"item","id":"Q2891400","labels":{"en":{"language":"en","value":"Whale: an interpolation-based algorithm for inter-procedural verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6046570"}},"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":"Q2891400$4230B8AD-399D-4E19-A407-0EAF99E6B2C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8f5403474518b5b2aaff8dd06ff634314576b3c","datavalue":{"value":{"text":"Whale: An Interpolation-Based Algorithm for Inter-procedural Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2891400$472CAB7A-122E-4F18-824B-10A67D177F0B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a41f090fca610ee7b2031f31258231b077677a91","datavalue":{"value":"1325.68137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891400$F137835B-4DDA-4DFB-A0DA-820A7F7B8D12","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"780c847198123b8b798e347427e564aa6ef7d145","datavalue":{"value":"10.1007/978-3-642-27940-9_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891400$CE3F625A-4D48-41DF-84D4-C923D6F1A326","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20057335d0b9f0f59892ecaeed2a523059119baa","datavalue":{"value":{"entity-type":"item","numeric-id":778537,"id":"Q778537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891400$18CA2180-21D1-4B78-AA90-29FFD0DF1375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"697eb087dc816293f4ade2b72dca7f3d4888f3b9","datavalue":{"value":{"entity-type":"item","numeric-id":246144,"id":"Q246144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891400$EB6F6082-15E3-4863-9150-66054EAA39EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"794c304803c228a1c8e63e5a19cfb840dd5c432c","datavalue":{"value":{"entity-type":"item","numeric-id":488217,"id":"Q488217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891400$7A8AC4D9-F692-41E1-8842-6ECF3B0B237A","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":"Q2891400$3FD3F529-4D35-4DBD-BEB5-478317AC47EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e77e8a5f31c3c130201e11da285f79066a6e7f3","datavalue":{"value":{"time":"+2012-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2891400$D223CA2F-AD3F-4760-B29D-E3A518BB83D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891400$F40BF7D9-9D16-4928-8B87-63DABD5D0E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891400$32E3B0D9-41A4-4422-B321-794A14A8E68F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"833522a6ccf2068539b7d8877f51abfed11219ba","datavalue":{"value":"6046570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891400$A3FF0BC2-A2AA-43F4-BC10-4D80B5EA015C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"49c5c39569fd0ed2872b7f9aefbae8dce402c98d","datavalue":{"value":{"entity-type":"item","numeric-id":21453,"id":"Q21453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891400$FAC16748-9B8B-4D45-8B98-F018197A74B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3a7f5df06b272bd42f74baffc8ceda01dfacc5a","datavalue":{"value":{"entity-type":"item","numeric-id":17043,"id":"Q17043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891400$D9D2925F-62AD-46D5-94D2-70F70AB9B552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"842bcffb0bb918fd12447e4f670f8dc61d68f929","datavalue":{"value":{"entity-type":"item","numeric-id":21432,"id":"Q21432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891400$D827044D-536F-4C30-A852-97B5F86E4193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891400$27BDBB7F-6C44-47F8-8157-1D6B0F7A2AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891400$4DE87DB1-1F12-4ACA-A580-2FC7E6D36199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b3ad9fce9060c14f348316440256eb8b089be466","datavalue":{"value":{"entity-type":"item","numeric-id":26383,"id":"Q26383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891400$8FB4B09B-F2B0-4E88-95D9-023304548A41","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":"Q2891400$0D88468E-A3E7-4717-A6B8-BF2236B44F3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04c5f4449e8b25fb6a95487d9bbf217688c2aa37","datavalue":{"value":"https://doi.org/10.1007/978-3-642-27940-9_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2891400$4B12B5C9-0448-4158-8D3A-8D9E92A1F681","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ab97380708a7b06b4aaa0158bf28f5e5a0594b6","datavalue":{"value":"W1879823367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891400$0C64FABB-DC0C-41CE-96E7-18C034FA5099","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd5e9b7224b44a5be727c6870f16a737b8c3625","datavalue":{"value":{"entity-type":"item","numeric-id":2769592,"id":"Q2769592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891400$50E93B2E-0EEE-40FD-A532-A3E9F31ACC31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22fbdead51b7f0506fece1b77dbe9fd8703e32e8","datavalue":{"value":{"entity-type":"item","numeric-id":4553257,"id":"Q4553257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891400$55539B01-2570-44DE-8DD1-426EEAA1448E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dac129a159e5019d1399be30aa2aedbb8b57223","datavalue":{"value":{"entity-type":"item","numeric-id":2946624,"id":"Q2946624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891400$9E1589BE-BD27-4028-A812-D0D51C4BF777","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":"Q2891400$0C71B40E-3E7B-4997-998F-5AE146FA24FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891400$EA0D836F-27E9-4F35-87FB-329A2FBCDAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec836a3fc271e588c302d19e3fc45042d720ac9c","datavalue":{"value":{"entity-type":"item","numeric-id":5255061,"id":"Q5255061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891400$46194DB7-3E65-4CF0-B483-3831FB873382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf2b678c67af5d9c3ef01ce8f5125a52e30717a","datavalue":{"value":{"entity-type":"item","numeric-id":5255103,"id":"Q5255103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891400$CDE2121C-AB4F-41C5-A176-39A4817249C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891400$E5626FF3-0194-4B13-B23B-7E5316DCDC7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e94238a6a5ddf3dd15f03313efac1f027d9611","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891400$61EEF96B-120A-48C7-ADAB-CB84C3953AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b4246bf332d45c90c410b55aa43c4af6aee470","datavalue":{"value":{"entity-type":"item","numeric-id":5626277,"id":"Q5626277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891400$E75C4432-3C40-4AE7-AF4E-D02FDE7D2AEF","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":"Q2891400$FC8506B4-B7CD-4FA2-A031-C740850D3342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af62bfd2162dabdadb1d68f1499174dc7482fad7","datavalue":{"value":{"entity-type":"item","numeric-id":5716597,"id":"Q5716597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891400$8AC34323-0E86-4435-BBA6-F6B82FD835D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24956801039fd919454009aea6cf74b8bb853758","datavalue":{"value":{"entity-type":"item","numeric-id":5626273,"id":"Q5626273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891400$E37F57A3-16D2-4A24-B93B-FB6064E4F69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891400$FB98667F-848B-4879-8239-E43254032B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d9d5673d377c95422809e446c2052b58cca8ec","datavalue":{"value":{"entity-type":"item","numeric-id":5756749,"id":"Q5756749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891400$0AAD1403-7467-4C3D-BBD6-7DBA00781A13","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"846b5d7a88a34ba7463fd26b4ab55d9721f4c5f1","datavalue":{"value":{"entity-type":"item","numeric-id":3558223,"id":"Q3558223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3c7840fad99309537039f9162a0ec5b6ac5292e","datavalue":{"value":{"amount":"+0.7673448324203491","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":"Q2891400$08658A62-F40F-4A3C-A5EC-74DCB65F6684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5302c862f26649c1cb13bd6e9bc82d762cb6ba77","datavalue":{"value":{"entity-type":"item","numeric-id":604394,"id":"Q604394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01596cf09ebc2a1a9d62a0195039cd943bfe0512","datavalue":{"value":{"amount":"+0.7608639597892761","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":"Q2891400$AF2943C2-8C04-408C-B591-4480A65F8723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9297116a8fd5d2d74795bb8b8d5edc5bf38cae53","datavalue":{"value":{"entity-type":"item","numeric-id":5452619,"id":"Q5452619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36a349a8852f90138ffd7a70816817c7f9d5434b","datavalue":{"value":{"amount":"+0.7607306241989136","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":"Q2891400$1C99F719-550A-41E1-B53E-B0CAD21207C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"848e3b605810f96456fa950cb0b05cab724cc2a3","datavalue":{"value":{"entity-type":"item","numeric-id":300418,"id":"Q300418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b327af152698ca2547cb67f1209771ffcdbac2c","datavalue":{"value":{"amount":"+0.7549054622650146","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":"Q2891400$6C88CB1B-51AE-4BDC-813E-9C3EEF7B622F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"509fe2d0413b578d259b63377ae6e13a0e0a719c","datavalue":{"value":{"entity-type":"item","numeric-id":746767,"id":"Q746767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5db9e3c2af50d9d5d050bc28507de3eee5acc8bc","datavalue":{"value":{"amount":"+0.7523257732391357","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":"Q2891400$806B1141-2E83-4F1B-B070-D8C74A7E2F61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Whale: an interpolation-based algorithm for inter-procedural verification","badges":[]}}}}}