{"entities":{"Q5758130":{"pageid":7787681,"ns":120,"title":"Item:Q5758130","lastrevid":97356893,"modified":"2026-06-05T14:32:04Z","type":"item","id":"Q5758130","labels":{"en":{"language":"en","value":"Hoare Logic for Realistically Modelled Machine\u00a0Code"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5185804"}},"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":"Q5758130$BC0F96AE-F144-452B-8195-BCD6684C0A16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ab118e2a6e33aa3811381cfdda8449023f9c24e","datavalue":{"value":{"text":"Hoare Logic for Realistically Modelled Machine\u00a0Code","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5758130$024EC125-1A28-47A3-94D8-9BF75EAFDDC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"269abc80ec1d41d99d40374a157822cd98390376","datavalue":{"value":"1186.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758130$A8E812D9-6588-4C26-8ABA-351731A45F3C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba0c5dfaa2c77be5456dda5cddfaa37066793a62","datavalue":{"value":"10.1007/978-3-540-71209-1_44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758130$E3E0C606-0567-46A3-B22E-EEE2714FA427","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c330e55e5dc72ba4e46dcf35457734e0df28701e","datavalue":{"value":{"entity-type":"item","numeric-id":286789,"id":"Q286789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758130$72F621B2-BD59-4207-A030-E12165B16557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"931e30a40c8472ba029c509504f463b9cccdfd3d","datavalue":{"value":{"entity-type":"item","numeric-id":436371,"id":"Q436371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758130$64898B9C-68DA-4549-8F91-2DD24FAF254D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758130$AE8C368F-CB56-48A2-B6B3-73985634F1F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4ccb5809271d2f0bf96f65b85084aa847fe92ef","datavalue":{"value":{"time":"+2007-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5758130$DD2CF080-7888-493E-9D81-BE0DC05794D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758130$D6B2D996-8E2D-4FD2-BD5C-8927C002EAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758130$85EB075F-38C2-43D6-A65E-B88955D1AA05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9726bb99eefb29d79821f2b3a6ad997eb1883dc3","datavalue":{"value":"5185804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758130$570F4E7D-5201-4BA6-83CC-26DDD9EE5CDE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758130$1226D039-2B4D-4272-82C2-B718C5593D3B","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":"Q5758130$4D1F3C35-479E-4848-A160-88FB46852B95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8484dab61cb75fd35e52af256313c7373665d204","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71209-1_44","type":"string"},"datatype":"url"},"type":"statement","id":"Q5758130$FCB62255-4B58-4863-9A3E-0024AA14E8FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72bbe3ecb9ff01ad2ed9e6c7dc12d44cb650ad6f","datavalue":{"value":"W1924086464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758130$81BD9645-7A24-4265-A7CC-6B4A98A4C71E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82591264ebb39f3da7354f5b26f0c8340e158859","datavalue":{"value":{"entity-type":"item","numeric-id":3508532,"id":"Q3508532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"893b3c20c21f9cdc573951a29a9ba9823e0cc708","datavalue":{"value":{"amount":"+0.8868796229362488","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":"Q5758130$F9E66AC9-A372-432A-9042-EF60064AA3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"849f75c5a6e8b0c6538786d519488b33480e2443","datavalue":{"value":{"entity-type":"item","numeric-id":2038040,"id":"Q2038040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf0f9c67a0312c0bf9199bc93d538d7dd8f2b542","datavalue":{"value":{"amount":"+0.809292733669281","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":"Q5758130$ED93268D-EFFE-488C-856D-AAA95884B99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfec3ced7587ca1876c7fa59a35e6c50dc496243","datavalue":{"value":{"entity-type":"item","numeric-id":2931805,"id":"Q2931805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3264adb1b3487ef6f7e29ede88ce86f706b26fcb","datavalue":{"value":{"amount":"+0.7896137833595276","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":"Q5758130$22BF37D5-30C9-493B-8BC8-1A3C3CBE61BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa95cbe1616b98cd37b5b0f0beebf790a9929aae","datavalue":{"value":{"entity-type":"item","numeric-id":2723406,"id":"Q2723406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aba3bc2855262fff35d52300e4cc6b7a25e191d","datavalue":{"value":{"amount":"+0.7506452202796936","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":"Q5758130$32EC39BE-F6A7-4B19-8DDE-296A670578DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653bb42b19be8ce2e8f831ce06cf512b9e69994f","datavalue":{"value":{"entity-type":"item","numeric-id":5311261,"id":"Q5311261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac98d2a86e3650edf197dc7c439d9b7af2e00d5f","datavalue":{"value":{"amount":"+0.7476123571395874","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":"Q5758130$0DAA0430-B8FA-426E-BECC-2AAEE3C592DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hoare Logic for Realistically Modelled Machine Code","badges":[]}}}}}