{"entities":{"Q617977":{"pageid":619753,"ns":120,"title":"Item:Q617977","lastrevid":63214338,"modified":"2026-04-11T11:22:52Z","type":"item","id":"Q617977","labels":{"en":{"language":"en","value":"Trace-based verification of imperative programs with I/O"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5836621"}},"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":"Q617977$96C6B1B9-9862-44CF-BA02-0D239F0412A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c80cd29c4586f62bbe4ac7cc33a0965df5bd0814","datavalue":{"value":{"text":"Trace-based verification of imperative programs with I/O","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q617977$73AB03B8-34E0-4E5C-A526-A867445A05A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47fccf57e8773b9e50b98f29d50ffe511c26f602","datavalue":{"value":"1215.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q617977$CDFBBE00-9421-4FA3-961E-E51EBC1C9A42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37c934bcf8e2c9b0dbbfdff9b30323524a23c9d7","datavalue":{"value":{"entity-type":"item","numeric-id":609754,"id":"Q609754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617977$5EB3DD0A-B47B-4B86-8C3E-00A922FE1EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1380f7d0e077e40df5a34bb335939f3c6ce8766c","datavalue":{"value":{"entity-type":"item","numeric-id":617975,"id":"Q617975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617977$2675CEC6-C97F-4028-A982-3B70ACCC293D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaa9d25d4099917aaf828811c00c1624c46c9480","datavalue":{"value":{"entity-type":"item","numeric-id":617976,"id":"Q617976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617977$5BF4A30D-256A-4108-ACBF-CF443DAFBD8E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617977$7383CABE-2730-435F-9277-0CE5046B1311","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d14a749cd124a799ecf622509edfb6062024c1c","datavalue":{"value":{"time":"+2011-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q617977$AE07D867-7BA6-4A3C-AC9C-15FC83179E13","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q617977$201B4021-6A89-4875-9138-6CC141A661A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q617977$4FEBB89D-FAAD-41BE-9FE9-F5E034F92619","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9b3531ca94696ce81055e12451f1dd32294048f","datavalue":{"value":"5836621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q617977$9F10378C-0228-40E4-8364-E83E38A2AFF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q617977$2A5253D9-56AF-48CF-AB02-2648C254771C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q617977$DFA72B7A-2826-4A44-AE78-B7207EB7E819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q617977$6E0B1F78-4D74-4A18-A79D-7F627FEE1F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6ce889a8a92a5adf9884f2ba6068fac0f7d64b3","datavalue":{"value":"traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q617977$E3067B86-B3CD-4680-91E5-E1ED6AFCFF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaaa0bb98ae24d1ec5df2ad0bd3b4e3eab9986f4","datavalue":{"value":"imperative programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q617977$B56D7C02-7AE3-497E-9027-747D16999514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39698d85df9c2fdcc8732786612c0c9654d88c9f","datavalue":{"value":"Ynot","type":"string"},"datatype":"string"},"type":"statement","id":"Q617977$90B5CDD9-9BF8-44A0-8FD8-68FEB6471F7E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19db008058ce3a679389c190541b4b00e350555f","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617977$5FDE725F-0819-43E0-BEEE-C54A2E68B2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617977$1D6BBD5D-BA49-48C4-9F23-160BF46D3089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617977$4C2F5CAD-3A68-4773-8FFC-656699707140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617977$B831A4FD-14B8-4CE2-B38E-5C5AD25AB72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4dfe52116eea178df8e98fcb66fd7e4802fcbfc","datavalue":{"value":{"entity-type":"item","numeric-id":24263,"id":"Q24263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617977$88DF39EE-4F7D-4D65-8314-1031121D0708","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":"Q617977$540F353C-B047-40B6-B5AF-581E5F957A5D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"efb9b3b499beff20fcfd93efa1a7de39fe3d44dd","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2010.08.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q617977$60CEDED7-D5D6-4A28-B98D-AC4A80A569AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3cfe8b6b169b84cfbc87ede447643df6a74a65a","datavalue":{"value":"W2106096722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q617977$9CAD938E-B107-4C76-B253-41AE29E379F2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617977$5BB3D855-3BFF-4CDE-9820-AAF616847254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617977$03F37D4E-0935-4E99-8159-570E5B2041EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f1a861358bd0353d0f8a6abf7486568be23b76f","datavalue":{"value":{"entity-type":"item","numeric-id":392280,"id":"Q392280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617977$6F7D96CD-6342-4BF4-AFCC-C50F0ED67A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617977$FB27936B-B5FD-4A50-9933-32166B7B6651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c061d31b2ad1070c6417d39eb2aecfa3eccd84ae","datavalue":{"value":{"entity-type":"item","numeric-id":879367,"id":"Q879367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617977$53D31C69-76AD-4839-A27D-C033FBB8CE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a1ce762817aa67ba84d34579fd3b9060a2c653","datavalue":{"value":{"entity-type":"item","numeric-id":3543655,"id":"Q3543655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617977$481424B9-3B00-4CF0-A8BC-F9BA5985813C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dee6886b1b12e58b80eab37b36f8fad3afe11f9e","datavalue":{"value":{"entity-type":"item","numeric-id":2936804,"id":"Q2936804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617977$F3810033-C8DE-4807-9883-F104F99CA440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617977$AE6DDAE9-4207-4B95-A402-B30AE9387DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"526569e2045d88153ecb5cf7f75a680cdcd5a85b","datavalue":{"value":{"entity-type":"item","numeric-id":2767010,"id":"Q2767010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617977$8B1D3F6E-EC5E-4D13-9204-88A31E636A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fada031ed317bb64d11da1455ad747b8e2232454","datavalue":{"value":{"entity-type":"item","numeric-id":835764,"id":"Q835764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617977$91164923-6AF6-42B6-9EFF-5EC143ECAD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98589d6fa667da17f782a55cd2dc8c33d4dbf671","datavalue":{"value":{"entity-type":"item","numeric-id":5308710,"id":"Q5308710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617977$9E94F79C-D989-4805-91F6-447593AA1030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4576a136be4da90e6fb5aef65ee70d47cc04c0f0","datavalue":{"value":{"entity-type":"item","numeric-id":3452254,"id":"Q3452254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617977$E04D1995-DBC2-46A5-9956-709E6E49C205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb775710df417de62fb5abc6605142162bfd946b","datavalue":{"value":{"entity-type":"item","numeric-id":3189846,"id":"Q3189846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617977$46CFC8BD-252F-4392-9F1B-ACC19C1B434C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb1812a83c3a4aee25d6a67b2527c143aea9ae4","datavalue":{"value":{"entity-type":"item","numeric-id":4435471,"id":"Q4435471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617977$D5FCD1CA-51B8-4F02-9A2E-C37DB0D13944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28ed88d611b51da646bb2fc8559d85d64de3b3bf","datavalue":{"value":{"entity-type":"item","numeric-id":5255077,"id":"Q5255077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617977$36692251-2731-4606-9506-9BEF7871A5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3893e24895c818d766b4ac601e2292c1956a8e2a","datavalue":{"value":{"entity-type":"item","numeric-id":4819653,"id":"Q4819653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617977$98E41C9A-533F-4BC7-8934-EB2EAA938AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f96080269f1ac57df102d277e6fe30615563ee72","datavalue":{"value":{"entity-type":"item","numeric-id":5178765,"id":"Q5178765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617977$55E57B25-0B2A-4732-8B63-2A004CFAE301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b09623b25863ff5c40989a5025b9634ea6113fef","datavalue":{"value":{"entity-type":"item","numeric-id":5501458,"id":"Q5501458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617977$24F720B9-CA51-4F4E-A269-6BCD749B3486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617977$E42DA3F7-7AF1-4BBB-8D18-76F632AA5452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c384f83cfe304bd792549ed6786939a461655","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617977$729CFA5B-D688-4418-A2DA-54FCE401721C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae00c8b64dee152c2a634a511b72a1ade6ad1221","datavalue":{"value":{"entity-type":"item","numeric-id":5458408,"id":"Q5458408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617977$D30A2775-9444-435D-9BB8-92D65B0EC347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f141914d9e9b46c745aaf7bf08b3d836b34d6f8","datavalue":{"value":{"entity-type":"item","numeric-id":5261538,"id":"Q5261538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617977$1230BEAC-6BB0-437C-9DB0-D55CB1E0367B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617977$7DFE97D4-0C33-4DAB-8347-94C0C38A1277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"211ccd5b5f94c4e816f76718008ebbfd030c7f86","datavalue":{"value":{"entity-type":"item","numeric-id":3183544,"id":"Q3183544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617977$27867F50-AFAB-4588-A0EB-2779908AC14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa65580a37f1a15e222036995b50e2d2433afd75","datavalue":{"value":{"entity-type":"item","numeric-id":5452598,"id":"Q5452598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q617977$ADB3502B-AE32-4717-B7A3-154A420ABFDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60d22c484a4cd8f2ff2e2e5415d88eb0c2710c39","datavalue":{"value":"10.1016/J.JSC.2010.08.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q617977$DDB3D8AF-7E0E-42B2-9745-CC4AED462A2B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d62a3e1ad6d3adcef7c858b6dc71b22aec9d1f7b","datavalue":{"value":{"entity-type":"item","numeric-id":2936804,"id":"Q2936804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa86b1310661346e94240cdde041879ee25176c7","datavalue":{"value":{"amount":"+0.7888367176055908","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":"Q617977$99B1038C-54DB-461D-A3BC-4DB0A2942F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffbed544246e54d1ce7de6f97ee1ad1afaff97c4","datavalue":{"value":{"entity-type":"item","numeric-id":5178765,"id":"Q5178765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd4cc7e9023b0b67ab05e7e1648b48fa0feac0ba","datavalue":{"value":{"amount":"+0.7430471777915955","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":"Q617977$E3D8E80C-EA1C-4E64-8499-0C9BA32CB0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f959c7712c196883e995861185c429abdff17384","datavalue":{"value":{"entity-type":"item","numeric-id":4944851,"id":"Q4944851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a3478e4b2640101683b0bf41c1b204187918693","datavalue":{"value":{"amount":"+0.7268723249435425","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":"Q617977$60EDBCD4-136A-42B8-821B-980F6660D6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2329ac48b709f66aa4e2a0cfdaaaf3d4cea285dd","datavalue":{"value":{"entity-type":"item","numeric-id":5705937,"id":"Q5705937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c14ee352f87ed44d0ad5640bd3f4a507c510a59","datavalue":{"value":{"amount":"+0.7266916632652283","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":"Q617977$E3EA2646-17E1-4879-80DC-89AE53D0CC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ddfe8706eb56f964bdfd12380be6a420c1d49e0","datavalue":{"value":{"entity-type":"item","numeric-id":3543655,"id":"Q3543655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7fb827a7e5a7f5204e865fe3e4290e5dfe154f9","datavalue":{"value":{"amount":"+0.7212883234024048","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":"Q617977$57BB4D7D-EE4E-427A-B1C5-CD1322195871","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Trace-based verification of imperative programs with I/O","badges":[]}}}}}