{"entities":{"Q800712":{"pageid":802560,"ns":120,"title":"Item:Q800712","lastrevid":48755734,"modified":"2026-01-05T19:16:18Z","type":"item","id":"Q800712","labels":{"en":{"language":"en","value":"The axiomatic semantics of programs based on Hoare's logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3878334"}},"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":"Q800712$9FE5120F-461A-4AD3-880E-3F0BCD551618","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bdd1cf6c45703552c33663877b55b7455cf556f5","datavalue":{"value":{"text":"The axiomatic semantics of programs based on Hoare's logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q800712$AD157C7D-1158-4F5B-A4E5-00843467DFE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10de5f25184e838bed648944ed4f280bbf791279","datavalue":{"value":"0551.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800712$A1C40E8E-6D49-4640-B1D3-57374CA1B854","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8d0e349d69fe4d6f5fb4a6c52b7348878ca3367","datavalue":{"value":"10.1007/BF00264252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800712$8F81A958-B775-4659-8458-DDD9548FC4E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c7e064d8bf44e919533bcd03f615423e66998fc","datavalue":{"value":{"entity-type":"item","numeric-id":549206,"id":"Q549206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800712$2E9DA13F-EF34-44E6-830D-BCF109E421AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800712$BB29E433-B17E-4FC8-9BFB-07DC04B6D9B4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800712$6D64220A-E581-4E39-93D4-C404ECA28374","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q800712$F1D5EAF4-6A10-4472-8074-EABB1D40367D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d2101edf9593c08425220deaacfd3068765fe333","datavalue":{"value":"This paper is about the Floyd-Hoare principle which says that the semantics of a programming language can be formally specified by axioms and rules of inference for proving the correctness of programs written in the language. We study the simple language WP of while-programs and Hoare's system for partial correctness and we calculate the relational semantics of WP as this is determined by Hoare's logic. This calculation is possible by using relational semantics to build a completeness theorem for the logic. The resulting semantics AX we call the axiomatic relational semantics for WP. This AX is not the conventional semantics for WP: it need not be effectively computable or deterministic, for example. A large number of elegant properties of AX are proved and the Floyd-Hoare principle is reconsidered.","type":"string"},"datatype":"string"},"type":"statement","id":"Q800712$EC8C5A12-5608-4679-953B-A45E90AA7BBC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800712$6F94408B-23D7-43F0-ACC5-7CC1D11EA7BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f9f98e6ac9ddb54f9a48ec841b51e7295ba276e","datavalue":{"value":"3878334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800712$B0815D19-F455-471E-9FDB-11A768BC300A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c5ba1211d069807ab8a7a6094a12652b29d38c9","datavalue":{"value":"Floyd-Hoare principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q800712$97D872CD-159D-4F13-AB33-1E52C37FE75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q800712$90BDAAA2-01C6-4F26-90D6-678732B6D375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"657b1dc58dc8383e3970395d34173e20fb990340","datavalue":{"value":"programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q800712$954919DB-634A-4FC4-B79E-EFB719D7FE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea032f14678abd54b0d55af14fe6fe1fdae52549","datavalue":{"value":"correctness of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q800712$AC3BC713-E809-4F30-8811-7EF13E40343A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f430f403100d8b973e4347af6c60d488292fc7d4","datavalue":{"value":"while-programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q800712$E397C2BF-855B-4384-9674-FAA4783F1B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f5770b3b223f14115b88c62ed2d2b558b63f58f","datavalue":{"value":"axiomatic relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q800712$764903CB-C295-470F-A0E4-AD164B5CCEBE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"49eaddd693f0d125ebcbba47522e5639803410e0","datavalue":{"value":{"entity-type":"item","numeric-id":13966,"id":"Q13966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800712$DA117BC8-761C-48C8-A6AF-47508CF9559A","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":"Q800712$ED53DAF1-6F4A-4BA6-BE25-8F76BCA73FF3","rank":"normal"}],"P223":[{"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":"Q800712$5D5FE151-B865-41FA-9951-F20624911B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95424454d8bc3f84a57ba0475f1936732a8371ae","datavalue":{"value":{"entity-type":"item","numeric-id":4193440,"id":"Q4193440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800712$4752A756-74DA-4CA9-B88A-D4723301E21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1270f4d60a05bd67d01053664f9cb16ad0f1e99f","datavalue":{"value":{"entity-type":"item","numeric-id":1159460,"id":"Q1159460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800712$2E46944C-1F4B-40B6-9862-E8CC355E5451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19265f999b20cea182763ae6835a9a83234c03e1","datavalue":{"value":{"entity-type":"item","numeric-id":3939224,"id":"Q3939224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800712$A5F71D85-EE75-4967-9921-35F079E3FBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb12b188658ef9d46086882edec316113d94d7af","datavalue":{"value":{"entity-type":"item","numeric-id":3899466,"id":"Q3899466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800712$FEFABB94-A11A-4091-9FA0-C3C1C4FCE6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc01beee0576bea6ea525779afa0e96e85c3165","datavalue":{"value":{"entity-type":"item","numeric-id":1158948,"id":"Q1158948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800712$487BB1A4-9DD5-41C0-B760-319F5563A07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d6971c4054c6c2a549c4d4d04e54db2a8ed162","datavalue":{"value":{"entity-type":"item","numeric-id":1163369,"id":"Q1163369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800712$F5CAF107-C065-42A9-9106-4FFA7637CF08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1295064b6ab47d21c7f067c44bf7ec955502d749","datavalue":{"value":{"entity-type":"item","numeric-id":3917477,"id":"Q3917477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800712$84BA1E6C-992C-443A-B848-0AA8AED5BEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c23a54cf5c2c32f027cfca2700657a849c9c7aec","datavalue":{"value":{"entity-type":"item","numeric-id":800082,"id":"Q800082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800712$56C9D9B0-F9D8-406F-B129-02A188991E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4379ac82957e0d469358f8f6b45d2e327b196b52","datavalue":{"value":{"entity-type":"item","numeric-id":794426,"id":"Q794426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800712$B98445F9-AE64-469B-A0E0-E7FD65FB4724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e57c1ff39f8d8b1f50daf676885aeffc53a7754","datavalue":{"value":{"entity-type":"item","numeric-id":1170877,"id":"Q1170877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800712$269881A0-3FA2-49A6-82D0-585CE74935DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9524591c716399a044c6f3a340114d91b4fa248","datavalue":{"value":{"entity-type":"item","numeric-id":1056220,"id":"Q1056220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800712$F45C497D-B633-457B-ACDA-D28D8D96C9FE","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":"Q800712$B7810663-E535-4280-9AFC-F007A7522D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7635911b6f21703916d79c1313bf7f0f9f67caf8","datavalue":{"value":{"entity-type":"item","numeric-id":3911362,"id":"Q3911362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800712$1D7BE0EF-DE07-4222-ABD0-B4460AD4984B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b574eb8201de1c69670482529051b9a7ccee76c","datavalue":{"value":{"entity-type":"item","numeric-id":3677763,"id":"Q3677763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800712$EE52BC5E-EA17-49BE-8B53-DC718376F1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800712$5F3B1325-9249-4041-8866-137C84102A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800712$392A5C54-A04C-432D-878F-1D232959B150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16e5b695b8f7fcd68840f26050ce4154c563c397","datavalue":{"value":{"entity-type":"item","numeric-id":3925146,"id":"Q3925146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800712$C5E94B9C-2E41-42F3-BB2E-7CD9305CCACE","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":"Q800712$203DC170-0BB8-41EB-A4F0-6F49B12C6BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb3ca9fc3aae0e682a4fb157c408b25328a8cbcf","datavalue":{"value":{"entity-type":"item","numeric-id":2561836,"id":"Q2561836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800712$46E210C3-1742-476D-9F37-88931B6EE72D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5285d79fb0a54034a765cc040755038d6ec0aeb","datavalue":{"value":{"entity-type":"item","numeric-id":2560721,"id":"Q2560721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800712$FE288B14-FE8F-4A36-8C32-ED7C84DDAAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b824b740eea2d4e4e90cc1d7e35b816050e5929e","datavalue":{"value":{"entity-type":"item","numeric-id":1138900,"id":"Q1138900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800712$1F087524-7D46-4EA4-821F-8193DDCFBBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78cd7a144b837d0dd6af8bb8af56428253ddf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":1249430,"id":"Q1249430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800712$A94614F9-9C6E-4EF2-947D-C679A1504071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c9bcd41a0a655569809a1c0f240490166298c56","datavalue":{"value":{"entity-type":"item","numeric-id":4772698,"id":"Q4772698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800712$2E33FCE7-0EAB-4C2D-8C02-17E992F5EE65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3e97b26002280f9f809ba5748da7ac804b97361","datavalue":{"value":{"entity-type":"item","numeric-id":5338325,"id":"Q5338325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800712$8CC1475D-FE2A-47C9-B30D-81EA07DD8D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8349060988485c6f4a2f19a17044191fb5856434","datavalue":{"value":{"entity-type":"item","numeric-id":3881886,"id":"Q3881886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800712$C636C2FA-CA12-4E0A-91D6-55D8A00129B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c25e95fd75b91ec2b0f3f17b94e3863b372aef85","datavalue":{"value":{"entity-type":"item","numeric-id":3936170,"id":"Q3936170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800712$16155AB7-1130-4EA4-AEC3-D4482E54082E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53b10ecde19654f0bb77ff0fa79633777ed88ed3","datavalue":{"value":{"entity-type":"item","numeric-id":3928212,"id":"Q3928212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800712$FCFED283-99D3-4528-A0D7-1B936297B2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"360cc14210d040c82c3fb8482fcff4a97cc7c9bc","datavalue":{"value":{"entity-type":"item","numeric-id":5537373,"id":"Q5537373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800712$877E64FF-06C1-4D5B-A74C-6B3C19006CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"110ed67720fe603992088cf207d619f609c16293","datavalue":{"value":{"entity-type":"item","numeric-id":4039815,"id":"Q4039815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800712$DBED3AD1-BC2E-4044-9F84-DA388B1EC50B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7992c6d71b44c1d68d8fc67a1d1533e98c8963ff","datavalue":{"value":{"entity-type":"item","numeric-id":3793703,"id":"Q3793703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e856e289356fc66ec8e3ff1ec6a8952bc1fcb96","datavalue":{"value":{"amount":"+0.8184221386909485","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":"Q800712$153A1FA7-229D-4921-88C8-75638634605E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4610fe29e653a496e2384046c05ca7bc84ead29d","datavalue":{"value":{"entity-type":"item","numeric-id":1924753,"id":"Q1924753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59c79470726e5b798bbeb9baa55c14cea5ada91f","datavalue":{"value":{"amount":"+0.7984890341758728","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":"Q800712$5E64536D-0D37-45C7-A65C-16B3759EDA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b7ca2b89cccc5082f810f72c97ab7bf5c88a24e","datavalue":{"value":{"entity-type":"item","numeric-id":3318102,"id":"Q3318102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52876d737150ee63cfee6112cff45a40b1be6da6","datavalue":{"value":{"amount":"+0.7983157634735107","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":"Q800712$79F964A8-CD3A-44D1-A32A-8572D928C2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2201ceba745f8f4bc88d73a6cab694ed61248d5","datavalue":{"value":{"entity-type":"item","numeric-id":794426,"id":"Q794426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f912f9312cfe2294ffc9c87c06727de7fc432d32","datavalue":{"value":{"amount":"+0.7936685681343079","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":"Q800712$B843E816-5EA8-45E4-8811-3E3F49974A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"970a2cbd0df9c98910950a1062d42b2fee2a74e9","datavalue":{"value":{"entity-type":"item","numeric-id":1078551,"id":"Q1078551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a238777b97c79187ca58bf9faa06b7c84b8f6c5c","datavalue":{"value":{"amount":"+0.7923852205276489","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":"Q800712$1F800BE0-3998-4F9A-A2F7-B91A6A633063","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:800712","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:800712"}}}}}