{"entities":{"Q5387827":{"pageid":7417401,"ns":120,"title":"Item:Q5387827","lastrevid":50366321,"modified":"2026-01-13T21:58:26Z","type":"item","id":"Q5387827","labels":{"en":{"language":"en","value":"Zap: Automated Theorem Proving for Software Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279512"}},"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":"Q5387827$D64FA24F-4610-44D8-B24A-14C4FE814ADF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e8016151796eab95f5d05058f523794b97b0b31","datavalue":{"value":{"text":"Zap: Automated Theorem Proving for Software Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5387827$9262BA86-F5EB-4730-8AC2-5B5E8EC152EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02114c51a2891cec35b2ee687edb72c505c0cc34","datavalue":{"value":"1143.68576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387827$7DB8131C-F9E8-46A0-B253-8AE3A79ECC3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6798491b72b7de5559fb190604739dea60207571","datavalue":{"value":"10.1007/11591191_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387827$7AACD065-6F5A-4C8F-800D-D16B92C2D1D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef04502a0cfdb62a3f751f54f67cd2b646ae92f9","datavalue":{"value":{"entity-type":"item","numeric-id":1856259,"id":"Q1856259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387827$AAED5F6C-BB9F-46E3-A83A-5FD72C3D94F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fc9efcacb156ebe441d1f18c88b7586f817c0e0","datavalue":{"value":{"entity-type":"item","numeric-id":682352,"id":"Q682352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387827$7E17F4AC-2CCF-41A5-9DC9-8E49B829D22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd9b105d6dc2235f6ec9240b7660c588e0fa1c1b","datavalue":{"value":{"entity-type":"item","numeric-id":2845495,"id":"Q2845495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387827$F970A28C-1179-4C58-87C1-CFFC415EA9E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387827$E8BBA3CD-7CF5-4E0A-B14C-93FA49A286A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5387827$B2F72F83-625E-47DD-8DA6-EC1E8B3A7CFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387827$C33E5399-1112-48A4-8A35-462776058CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387827$6A630B7D-5FA7-429C-9238-04927FECD3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387827$0B08AA56-3180-4086-8BEE-2A0C45BB35F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a43e855ffac5b0f4b44441aac523fab238ccf65","datavalue":{"value":"5279512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387827$1CD462E6-9AB2-443A-A46E-13B38ABCF23A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387827$9B814797-9204-44B1-85BF-9E61FC3C4D8B","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":"Q5387827$2FC97AC8-FCD2-4E97-A972-099598BCBD98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6bd3e17f5c8106c552732e5d9395b841a42716c0","datavalue":{"value":{"entity-type":"item","numeric-id":18897,"id":"Q18897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387827$220BBA91-DEE0-434E-9A3F-00C5D22A3DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6522ca7747c785bf9d644f39dd3e0aca04c1c6aa","datavalue":{"value":{"entity-type":"item","numeric-id":13781,"id":"Q13781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387827$A34F1F0C-296B-4A94-91A0-7608A4B3BD51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387827$B5007FAE-1492-4B0C-A7AC-D68684703101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7a35a47cef9f2baec76c3bfc2bf8f6032431cb1c","datavalue":{"value":{"entity-type":"item","numeric-id":16827,"id":"Q16827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387827$CC802E26-D23A-4448-A013-52B888C3FE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387827$723900F4-7B29-49D7-9DF5-0CFB67BEAEBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387827$F30E7347-7250-4AB0-8C31-029DCE9CB461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387827$000305D6-0B8D-4801-A8DB-D0F7DFE1CD12","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":"Q5387827$AF8C53BA-4F11-4CA3-BA94-79C29AA4A619","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9eb8c643d7c5f6252b2178b8c04ee3716915731d","datavalue":{"value":"https://doi.org/10.1007/11591191_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5387827$CB330AE0-E8D5-4056-B487-AB1EE06F0344","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4cd5558c782b91e24d7c778b64bfc74f15922ed6","datavalue":{"value":"W2154689462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387827$F1ED3A60-861D-4474-AA7C-0205ACC36FA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb6b0c7708aa1b29fb28822785bf693edde31f9b","datavalue":{"value":{"entity-type":"item","numeric-id":5312923,"id":"Q5312923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44eb9095c28a5b6c5cde9f911ea351b2b52590e0","datavalue":{"value":{"amount":"+0.7937174439430237","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":"Q5387827$6A67CE6B-BF48-480E-ABCF-51A8A85D8633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e5cee7fe8f932aaaf90ec8e1d707aca3a279ae2","datavalue":{"value":{"entity-type":"item","numeric-id":2701734,"id":"Q2701734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5c7a57b1b0d68d6482395b2a66f09c72e7d973f","datavalue":{"value":{"amount":"+0.7762446999549866","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":"Q5387827$03FFA940-5207-40A0-968F-23D20FA6A8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"589f395728a8df16d17160ad5315301ef5e524a1","datavalue":{"value":{"entity-type":"item","numeric-id":4530471,"id":"Q4530471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3edddd095b29b57fbda93860ad0efa8a34c68ffe","datavalue":{"value":{"amount":"+0.7754607796669006","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":"Q5387827$43B273AA-CE5D-4770-9E6B-22973F9E2374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"314a5af544123db74b1b4d9aa387c3e39eda4fef","datavalue":{"value":{"entity-type":"item","numeric-id":3608771,"id":"Q3608771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86261869f4b7cf2524cfed92cb78f68f966407ea","datavalue":{"value":{"amount":"+0.7741801142692566","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":"Q5387827$24EBA924-A9DD-45B3-A904-91A04CE361B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c464355e162bb39742d35675ae4f88b3e02fa0d","datavalue":{"value":{"entity-type":"item","numeric-id":4370791,"id":"Q4370791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42ab86930b4d120b1da25c4bcf6492eb79ba3a36","datavalue":{"value":{"amount":"+0.7614997029304504","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":"Q5387827$08F6444C-9012-4B45-968F-0F89C8608136","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5387827","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5387827"}}}}}