{"entities":{"Q1712544":{"pageid":1723285,"ns":120,"title":"Item:Q1712544","lastrevid":53327171,"modified":"2026-01-24T18:06:14Z","type":"item","id":"Q1712544","labels":{"en":{"language":"en","value":"Reasoning about actions with loops via Hoare logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7004829"}},"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":"Q1712544$9B7BBA3C-6A6B-4FFB-BD2E-AF5EC4CF8B28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"430f16efe3f612ca7ddb4b7d9c54455bc6a08341","datavalue":{"value":{"text":"Reasoning about actions with loops via Hoare logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1712544$4BCA001D-55F6-4198-8B2B-9509140B7767","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b8186431967c7c47080e1f2e0f080f52d619e34","datavalue":{"value":"1403.68267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712544$736D6941-61AE-4204-BDD2-528751847627","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba0495baec0e12ebb9d3134d848f9b406c005faf","datavalue":{"value":{"entity-type":"item","numeric-id":1711310,"id":"Q1711310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712544$389B7D8A-0466-4AEA-B0FB-768377B02459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec92be1486ae17f71ec404a7412ad04344028005","datavalue":{"value":{"entity-type":"item","numeric-id":162005,"id":"Q162005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712544$C5C851C6-DFD5-4572-8598-352EFFE38D62","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eabcb9c93ef6c7df283793669954b3abc32ee68e","datavalue":{"value":{"entity-type":"item","numeric-id":249541,"id":"Q249541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712544$BB0D2397-0075-41A8-BBD9-F8B0A7246744","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b285cd97435e35ecffc8737425d0c76ceadcbbab","datavalue":{"value":{"time":"+2019-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1712544$CC5B88F7-84A2-4BD9-91A5-6473A1A7D14E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712544$6B2A8540-4E67-4006-A2A9-98C8380368A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712544$B261562D-8546-4157-8D98-26F9FB536F53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a17b22f80fa9719f00fb1e98ceef96a957783b12","datavalue":{"value":"7004829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712544$0F0F6637-46C5-40AF-9F4E-A5654502B3DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e032c18d385953f9876493897fe62e60b69753ce","datavalue":{"value":"action language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1712544$88DE029C-6004-482C-8103-73FF2F865169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f069de1ca0b6a605bba0da3c32bc65790af87b03","datavalue":{"value":"plan generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1712544$B5FC1F2B-7438-40BE-BA6D-1EB3970B9232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12810999fa56e01ce5b8ba09b7a3c69ed1c24b1d","datavalue":{"value":"plan verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1712544$98FCB388-A3B2-4F24-9685-AE3870D523A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06de15d5ef1046c8d0de31b06fa3fde3652561ab","datavalue":{"value":"loop-plan","type":"string"},"datatype":"string"},"type":"statement","id":"Q1712544$73E2C318-CB81-4D73-88B4-23FB250B01A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1712544$59D6A707-F1D2-45F3-BCF8-CD5B056206BC","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":"Q1712544$7BCF7581-CA19-4BE1-BEDE-0E86DB3AABAF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"105cc467ac1a92e74896a942e2ff272e2b06c237","datavalue":{"value":"https://doi.org/10.1007/s11704-016-5158-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1712544$D6252C17-8180-4B4F-8535-4FADDB21AAEE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd9b5adeda8b9a434f99c11ccd56a219f4f39649","datavalue":{"value":"W2411931905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712544$C753F3A2-9D31-4679-9030-7FC340B44200","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ca836191187cfe0b6a41958544cf85f8e4f0514","datavalue":{"value":{"entity-type":"item","numeric-id":4275262,"id":"Q4275262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712544$282C7C7D-B4D9-4501-AE88-EF5D6D1998F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfa1e45bb11e7a9ebbc3bf1af113be1e59cfadbe","datavalue":{"value":{"entity-type":"item","numeric-id":5940779,"id":"Q5940779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712544$D8DADA86-ECF3-432D-93EB-8A054DF9103F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"104f264562ff3723f9a8bb83607328bb57647ca0","datavalue":{"value":{"entity-type":"item","numeric-id":5297630,"id":"Q5297630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712544$6A440BDC-EE3D-45AE-A4A1-49B7F818A1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56b27929c399cc2d053d276191530c5ec9714a57","datavalue":{"value":{"entity-type":"item","numeric-id":1389538,"id":"Q1389538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712544$0C159D54-1AB7-4EBC-A4D2-AAF1AAB5023A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b05bcf55a9e3f600667f5734b19d0d3dadef6046","datavalue":{"value":{"entity-type":"item","numeric-id":359973,"id":"Q359973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712544$2F5D0FC4-AFEE-427A-AA1E-C5D4FDB286FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bebc6bffed83ea259edc022182a2648a720b4c97","datavalue":{"value":{"entity-type":"item","numeric-id":460629,"id":"Q460629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712544$0706AB41-8C0B-4FC4-B3CF-9FD85F089889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54934ebc893cb4e34081c22ae2c6c80db88fb1dc","datavalue":{"value":{"entity-type":"item","numeric-id":1840653,"id":"Q1840653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712544$F6E67036-2DD0-40FA-B1AF-FB8DC7B79ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e13f2e951fb0b45845e62486ac5957cee1141da","datavalue":{"value":{"entity-type":"item","numeric-id":596477,"id":"Q596477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712544$1E8E5A9B-B751-41EA-85F3-C29A27A818A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa9976b685119bd61116dfe5c866a58d46b4d32","datavalue":{"value":{"entity-type":"item","numeric-id":5313998,"id":"Q5313998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712544$1A23B406-5F93-44D6-9030-42B3B7E180BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8a1c211fc6d0417b369170779ec3c75f3446676","datavalue":{"value":{"entity-type":"item","numeric-id":2900545,"id":"Q2900545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712544$C9785DDB-40D3-4276-A87E-949EF7440161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b34158f96d60295d877241cec5bbda9c4d9afd","datavalue":{"value":{"entity-type":"item","numeric-id":4369865,"id":"Q4369865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712544$D505D369-90E6-4E7D-9F88-32B9DD04467A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"373b09c1ad3afc09fbc8a8a75ccfb9ce5433773d","datavalue":{"value":{"entity-type":"item","numeric-id":4779807,"id":"Q4779807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712544$F669C770-38BE-4F37-8A45-576240AB05F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2319242aa831a700388758aee0c9c046ec909121","datavalue":{"value":{"entity-type":"item","numeric-id":1583520,"id":"Q1583520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712544$FDD4A3FC-E63A-4BD8-BFFC-8012E3F3B8CD","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":"Q1712544$814ABEBA-9854-48C0-8011-920031B3F862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989ffcc992d1ac31e39a63758614d7ce6f35323e","datavalue":{"value":{"entity-type":"item","numeric-id":837527,"id":"Q837527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712544$33BDDB92-9319-42C6-9C81-C91B8EE586A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34f4e568c2469f8063f69f8c16802976e475eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3392273,"id":"Q3392273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712544$B142E695-EE0B-493E-A04E-81320DB4C3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce39a549f256d22ed5e1331ab397faa12cfbde2","datavalue":{"value":{"entity-type":"item","numeric-id":4371669,"id":"Q4371669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712544$94F70067-5B1B-4414-9BBA-CC1BC13B02B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74710e9d2e1ae04d62da8162f48ee143c6479921","datavalue":{"value":{"entity-type":"item","numeric-id":4411139,"id":"Q4411139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712544$6293FBEA-D7DB-4A1C-B157-C7F7303A4B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cc5a3a44573ca497a6d1e31699ec87f6445ee6d","datavalue":{"value":{"entity-type":"item","numeric-id":893736,"id":"Q893736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712544$D56C36EB-2A78-4D96-9E6E-9BD06BBA2AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0912b7ec91e5d214929641f6ac0f52e571375894","datavalue":{"value":{"entity-type":"item","numeric-id":4532200,"id":"Q4532200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712544$21A5F7BA-F42B-45B0-A2A5-573410F764E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f1a66f163a52a95122573ca846cbcd3b5e707a","datavalue":{"value":{"entity-type":"item","numeric-id":3518425,"id":"Q3518425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712544$70B51F6A-0321-4242-BEAA-F13BFA6A3337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f887475056f853e69431dc44504a1f573af60cf6","datavalue":{"value":{"entity-type":"item","numeric-id":814470,"id":"Q814470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712544$823B2BB0-701D-400E-8D68-7335CD1AB87A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdb35696373cedb65b23a9c1f23955e8ed120359","datavalue":{"value":{"entity-type":"item","numeric-id":3184604,"id":"Q3184604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712544$4A583BEC-A7F8-428C-900C-4F17A88C46D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712544$CD21E85C-0070-4E55-A829-80413A0C1FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712544$3979DBD3-F82A-4DA2-8026-AA8779F71F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e118315668e8ee51250950cd4ef8d4c086e1180","datavalue":{"value":{"entity-type":"item","numeric-id":4452629,"id":"Q4452629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712544$FFAFEE50-5A04-4A83-99FB-425DB5F40129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fa0a2bddf39b3bbbdd84c5aeb5798f0749a2e33","datavalue":{"value":{"entity-type":"item","numeric-id":1924820,"id":"Q1924820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712544$CE23161F-B9EF-482A-BED1-195C97DB629A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9670f86679090174418eb6cd4d316890ab5380d","datavalue":{"value":{"entity-type":"item","numeric-id":543617,"id":"Q543617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712544$8579BA3E-C736-4D77-8187-7911EE539435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3f1f6c43af3c6d33fccaf941b2fb3b3adab4658","datavalue":{"value":{"entity-type":"item","numeric-id":4855362,"id":"Q4855362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712544$B3E4B861-01BA-4A49-B18C-FD30D55E0B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0935a3b1e6d95e91e21f7e9b447a76f61a8eb916","datavalue":{"value":{"entity-type":"item","numeric-id":4823141,"id":"Q4823141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712544$1D4B4C40-3E15-473A-9CA4-EA13A5444A72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2d7334633b9ccb03d2a1b33b09b6173047a5ae2","datavalue":{"value":"10.1007/S11704-016-5158-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712544$C6594F8E-1389-4C7F-B22B-007083E82E2B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b64f1e9513a205e0a23986eacffacf985e565ea8","datavalue":{"value":{"entity-type":"item","numeric-id":893736,"id":"Q893736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9f6184e494120f2648cbe71c9df6ff39efe4679","datavalue":{"value":{"amount":"+0.8075467348098755","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":"Q1712544$81DF5265-E59C-4C84-BE0A-B000DBCE6C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee81f7003a327a49922f732e84d1620f95ee1d9","datavalue":{"value":{"entity-type":"item","numeric-id":359973,"id":"Q359973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b45514edc3d87db800798aa1118015b7fece852","datavalue":{"value":{"amount":"+0.7516521215438843","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":"Q1712544$6127F233-443F-4720-8DCA-E17239220C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53159181f06834cbc8c1d6334f160dac06eeef7d","datavalue":{"value":{"entity-type":"item","numeric-id":534715,"id":"Q534715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54ba02f54977a513eaccf95afbaeeae66fa89c42","datavalue":{"value":{"amount":"+0.7258960008621216","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":"Q1712544$02070DC6-679E-4A1D-BA3D-02F6D4946556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"153d558701bb978070267d0ee5544966cc25b235","datavalue":{"value":{"entity-type":"item","numeric-id":1006453,"id":"Q1006453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f6b4d0a71d429dc56c6869f9a6eb246de629422","datavalue":{"value":{"amount":"+0.722660481929779","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":"Q1712544$D7082B6D-A59B-49DE-9D76-86689ADE32C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e66d6e2257b79993e749de85a59b035f4dd0370","datavalue":{"value":{"entity-type":"item","numeric-id":4448379,"id":"Q4448379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"388c644d7c5387961ae64eb537088632122fc3e2","datavalue":{"value":{"amount":"+0.7213659882545471","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":"Q1712544$1E756A1C-FD8E-4453-AB8A-55E12C627354","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1712544","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1712544"}}}}}