{"entities":{"Q3460506":{"pageid":5239906,"ns":120,"title":"Item:Q3460506","lastrevid":80504432,"modified":"2026-05-06T16:21:05Z","type":"item","id":"Q3460506","labels":{"en":{"language":"en","value":"A Hoare logic for energy consumption analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6527504"}},"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":"Q3460506$6F71AA88-DBB1-4649-9C1B-11A94D238287","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4687d7881137bd1113593a10984bf00ad2a633c","datavalue":{"value":{"text":"A Hoare Logic for Energy Consumption Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460506$64231ADE-A84B-467C-B236-E2245919C677","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd37315671e688af1cd13b18ed3e9edd681d4280","datavalue":{"value":"1445.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460506$8F05B29C-3FCC-4BC6-9862-777B1C0B4271","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c5d48814f6aeaba454dce0d746426518d298d71","datavalue":{"value":"10.1007/978-3-319-12466-7_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460506$61FFE5E4-3CFA-4A32-A5A8-33D6743F9599","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a254cdde345f342357f5ad40e9ad377cab4d4f54","datavalue":{"value":{"entity-type":"item","numeric-id":3286928,"id":"Q3286928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460506$836808BC-F8FA-43BE-B2F3-23C060F04520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e94494aba1ccf833095acfb2ec78c09413e344f","datavalue":{"value":{"entity-type":"item","numeric-id":2343129,"id":"Q2343129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460506$F05E585C-DE64-4506-8DB1-5B5F9D9B4D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"664cb10eae783e230c25ed1968f2d93220a5d7af","datavalue":{"value":{"entity-type":"item","numeric-id":617918,"id":"Q617918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460506$18ABE7C9-1E05-4158-A943-5384C2CF781C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28b20443e0c0e944e5c0b4cc8d53f5c5f768c554","datavalue":{"value":{"entity-type":"item","numeric-id":617921,"id":"Q617921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460506$4FC0356D-F077-4FE4-ADD8-8CB1C68D1864","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8628d9b822fca08704059c3ecefa6278618df136","datavalue":{"value":{"entity-type":"item","numeric-id":3167521,"id":"Q3167521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460506$98CBA732-ADD6-4F77-8634-BAC2EAE40CE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ee4b5b4fe49e6c76e054339063b302c9f6ef1f6","datavalue":{"value":{"time":"+2016-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460506$AD229CF9-40BB-4029-8562-10789069CA88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460506$3227930E-5E94-42FC-9766-EC4DAD099296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460506$03B6E844-9243-46F1-9E29-A93780691A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460506$BF17A027-FCEC-488C-B0D9-04221676B6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460506$C3457081-2576-43C6-9E67-E81D6CE0E04D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fcc8195b4741bf7c59637d4ccb7e2136d9da2d9","datavalue":{"value":"6527504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460506$310F1196-7562-428C-857E-99DD590DB0AD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aa671ac82600b3ec323d025bf536d1e43831c61f","datavalue":{"value":{"entity-type":"item","numeric-id":12930,"id":"Q12930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460506$C25A1F7B-8792-4BCE-B7BD-5B45B196DBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d7b5d45122947126d7a119a3047f2fe9c8777a82","datavalue":{"value":{"entity-type":"item","numeric-id":25681,"id":"Q25681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460506$492B9D5A-9F1A-46C0-BD0E-5483F2F56045","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":"Q3460506$093DCDE5-FA2F-4E0C-8380-69E8CE16EDD6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd6b5ae86cb659ef6a5a683fd8f3dfcc3ab067d7","datavalue":{"value":"https://doi.org/10.1007/978-3-319-12466-7_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460506$B9B5A99D-EAA2-4944-839B-ACBC5E2B08C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02212f63cd3c5c7a24ff77464f96dc4de48f6959","datavalue":{"value":"W1600584807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460506$43FE5D0D-E2FE-43A6-86D4-302F529E76B9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f787411cd150ae479aad18d1dd19610e066110a","datavalue":{"value":{"entity-type":"item","numeric-id":5408556,"id":"Q5408556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460506$60F3D842-3B00-4C8D-BBB4-EEFB952BB16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d421837d95e47324e8a9568fc6a54da33df7097","datavalue":{"value":{"entity-type":"item","numeric-id":3558217,"id":"Q3558217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460506$8A1F66A1-3D3D-4B3E-A4E3-6199FAF41464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cef8ed3bb5f59fe38cee2046799e8a1db0d99625","datavalue":{"value":{"entity-type":"item","numeric-id":2463560,"id":"Q2463560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460506$6DD304EB-9FBC-400A-8DAD-C836DEBAB08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8641572609bbd05577d4f94ddc15cb2abd4b5026","datavalue":{"value":{"entity-type":"item","numeric-id":3636810,"id":"Q3636810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460506$641ECAB0-14FE-4F77-9ABE-AB6C8873FBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f035e7ce71fa36b05517fb3b1000527a247baf6","datavalue":{"value":{"entity-type":"item","numeric-id":5901912,"id":"Q5901912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460506$566A7851-E65A-4EC1-B8CC-2CBC934B078B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ebbe4dc83a713a6a5b6d6e55ab741a40835a9fe","datavalue":{"value":{"entity-type":"item","numeric-id":3460506,"id":"Q3460506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460506$EC89E807-739B-4445-A638-8A094CEAEBE2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7c378d4fdf744ffa0bba01dda4711c6b98b7ad5","datavalue":{"value":{"entity-type":"item","numeric-id":1671140,"id":"Q1671140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de72ab1db8b95c760c05c5edb421981fbf40e38e","datavalue":{"value":{"amount":"+0.7307480573654175","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":"Q3460506$D4EDB3D3-C480-4201-9DA4-895C6666FB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2c5d2b347765b2edc290a2cd8ed383b3a1e59bf","datavalue":{"value":{"entity-type":"item","numeric-id":5408452,"id":"Q5408452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d561590bb48573c02d15f3badb6519a7fea1172e","datavalue":{"value":{"amount":"+0.7020140290260315","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":"Q3460506$B354A70A-8995-4EC4-9D03-F95949446451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34e0bc22e6984869ca21c2000b6c1518d0465a12","datavalue":{"value":{"entity-type":"item","numeric-id":4644354,"id":"Q4644354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa319944ee02fc800d745498788bd9251ac561ab","datavalue":{"value":{"amount":"+0.6883999705314636","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":"Q3460506$E9297B36-E890-4DD8-ACA9-525B73FC84BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e6e0e54c9a5430ace437596f258b2278f7cb408","datavalue":{"value":{"entity-type":"item","numeric-id":3460507,"id":"Q3460507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99417f2a400ec21452f1f66af49cabd72b27f96c","datavalue":{"value":{"amount":"+0.6647257804870605","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":"Q3460506$FF479C5C-C009-4331-9E16-C185E0799CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c469e955ff66868ede968bf55d8613adea0eacd","datavalue":{"value":{"entity-type":"item","numeric-id":4707642,"id":"Q4707642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b14868f262672a589d9b559d2b0b800293224a","datavalue":{"value":{"amount":"+0.6637251377105713","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":"Q3460506$5C8EA339-5E06-48E4-8E37-066F1270B7EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Hoare logic for energy consumption analysis","badges":[]}}}}}