{"entities":{"Q800082":{"pageid":801930,"ns":120,"title":"Item:Q800082","lastrevid":64503084,"modified":"2026-04-11T20:19:33Z","type":"item","id":"Q800082","labels":{"en":{"language":"en","value":"Expressiveness and the completeness of Hoare's logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3876575"}},"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":"Q800082$50CC03E1-C238-4A71-81F4-9FAF61CF6808","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21639cb2de2515c8709598eaf4fd2b1dc647a4d2","datavalue":{"value":{"text":"Expressiveness and the completeness of Hoare's logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q800082$111D983C-9791-4BE9-BFCD-6277F921A70F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43184b6fcb0d1c865a5e4c4d809ec0b68c12ec5b","datavalue":{"value":"0549.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800082$9C9319C9-DA90-44CC-A642-BEDF108DF3C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e58eacd3d7ae99d18f287f18d7f7ee5dfeeaac8","datavalue":{"value":"10.1016/0022-0000(82)90013-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800082$88EBA00B-45D4-44A4-8DD5-F2D7415E9CF3","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":"Q800082$FD633C86-C01A-4E71-8720-D36BAB94E95D","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":"Q800082$7C66465E-ADAD-4E93-B220-86B4A389BD3D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800082$044F7BD2-EA91-4D38-9C66-8B1C796305B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q800082$112F3B41-F657-4C01-84FE-A85F9B83F3BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"934f9623f3d3f8e861e843ac36495fa8d4eeb08c","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/13392","type":"string"},"datatype":"url"},"type":"statement","id":"Q800082$F7F1373A-FFB1-4494-BECE-AB116D5C81AB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"969bad35f8c7ae5fa61e0edf844b2ec2e74eda83","datavalue":{"value":"The authors prove three theorems about completeness issues regarding Hoare's logic for while-programs: (1) expressiveness is not a necessary condition on a structure for the completeness of its Hoare logic, (2) complete number theory is the only extension of Peano Arithmetic which yields a logically complete Hoare logic and (3) a computable structure with enumeration is expressive iff its Hoare logic is complete. Here expressiveness means the ability of expressing strongest postconditions in first-order formulas over the structure concerned; a Hoare logic H is called complete relative to a structure A if any partial correctness formula valid over A is provable in H, where facts about A can be used as an oracle; a Hoare logic H is called logically complete with respect to a specification (theory) T if any partial correctness formula that is valid on all models of T is provable in H.    The authors conclude from (1) that in general Cook's analysis of the completeness of Hoare logic is not sufficient, but also that by (3), in the most interesting cases in which computable structures are involved, Cook's notion of expressiveness is enough for the study of completeness. Since for every finite structure expressiveness is guaranteed, their Hoare logics are always complete. Moreover, for every infinite computable structure it is proved to be possible to enrich the signature, such that expressiveness becomes equivalent to completeness of the Hoare logic relative to the enriched structure. However, it is still an open problem whether this also holds in general for the original (infinite computable) structure.    Finally a note on the use of Lemma 4.5 in the proof of Theorem 4.3 on p. 277: the three bottom lines have to be replaced by: ''From Lemma 4.5 and II(d) we obtain \\(\\vdash\\neg \\phi (x)\\to\\forall y(x\\neq y)''.\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q800082$005B7EE5-639C-4154-98CC-0162172DAC31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800082$F3AE9CC6-1B82-48B5-9E69-DBA78FF55B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800082$A973D677-08EF-409D-8B25-C7182181522D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800082$EF78EB2C-820A-4432-B7DF-D7A727F39937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800082$698F3757-3BE6-4547-9822-007DCCC3F56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800082$3AC4BF23-F0E3-4DE7-BFCD-B95FCADA01EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02e93be617924f306ef03cad6aa2064ba50577b4","datavalue":{"value":"3876575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800082$33CBB226-40B6-475B-851A-5714285CD5DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d1f9830472555b2c39150250da43be0ffaa691d","datavalue":{"value":"computable data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q800082$A4A25C40-15A9-4292-B386-C91FECA84458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q800082$A262B22D-38FF-4969-B8E0-1C11443973A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05cd40cf32c492bfd38d5a2dbc69c2b93793da59","datavalue":{"value":"Hoare's logic for while- programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q800082$5CF943D1-4005-4BD2-9C07-F0CD369379CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q800082$9ED6E7BD-50EA-47AC-B6A9-85A0ED25CB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8c58c7c7e981348ea14110c7615002e46ede6d4","datavalue":{"value":"complete number theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q800082$E6BCDCCF-8E75-4473-8255-1942DFEF1352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f84459e32fe6e8af51205469091c89643497426d","datavalue":{"value":"computable structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q800082$FD265BEB-0678-4149-835F-B690B2ECA765","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"71c876594569243d8a46dba6a49cb7e4f79f826f","datavalue":{"value":{"entity-type":"item","numeric-id":375309,"id":"Q375309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800082$FA34E616-4C84-423D-959C-44FAED980D12","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":"Q800082$9109B692-CF15-4FA2-99A1-12221A298398","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f213e84511a58db4c072cc57c853ff9d1149187d","datavalue":{"value":"W1975577974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800082$8AEDF167-0693-486C-A57D-BBF5EB6187BC","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":"Q800082$2622DA77-51A2-424F-8377-5269582CA017","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":"Q800082$B1538B0D-9593-4B36-834A-7E7D8B7E8F78","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":"Q800082$73E5E01C-F4A9-4C5C-8006-4C9B08FDA4E0","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":"Q800082$E305C933-9E36-4664-A406-D6FB1E23D84B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46da8ffdf2274c14640d6bc2876b88d285c9ab54","datavalue":{"value":{"entity-type":"item","numeric-id":3904041,"id":"Q3904041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800082$F49CE066-FC72-41DF-BA08-20D7F171E160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a74560a6e61296aeaac5e30dd64011c10ebcfb4e","datavalue":{"value":{"entity-type":"item","numeric-id":3904042,"id":"Q3904042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800082$18A47662-4AAD-4657-8BC8-F7C83B4E940D","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":"Q800082$E56D79C9-9EB8-4EE3-B6D9-A175A8ED5B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800082$522B3F56-6928-4C15-B9FD-448D0E88019B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f067c1b808884e93605e1af2dbca3dd82129f7ed","datavalue":{"value":{"entity-type":"item","numeric-id":4170195,"id":"Q4170195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800082$A56BBD8C-6382-4382-BEA1-DB3E0CB223D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eceb9d4f1d49d9d9c45e2282f017b93d47d978fe","datavalue":{"value":{"entity-type":"item","numeric-id":3919063,"id":"Q3919063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800082$0B3654E8-E3D3-4812-BDC3-1EC57D027E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac3af2a5d6d90fc35dbcdf27c89fba0731ef592c","datavalue":{"value":{"entity-type":"item","numeric-id":1233308,"id":"Q1233308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800082$A31FF06B-93F4-4A2C-803F-846C574B5301","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":"Q800082$20962D66-745B-40AA-8C2B-1FCF6A44D97D","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":"Q800082$30C4BE5D-6A0F-4BCA-860B-34FC8236AC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f41dfabae64efe2ce9272788d4b37a28ea0c863","datavalue":{"value":{"entity-type":"item","numeric-id":3883459,"id":"Q3883459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800082$FBD06EC3-464A-4602-B6D9-4DA1256BF4C0","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":"Q800082$94DA3EFF-8F26-49A6-B70E-2CD377A774F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9562cb9925283a8d810045d6d68a9a7cbd9a0fa5","datavalue":{"value":{"entity-type":"item","numeric-id":4160889,"id":"Q4160889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800082$6D9231C1-CC38-4F73-A7D4-5EBF981A719F","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":"Q800082$8CA1F106-4C96-4396-876C-57837A1289A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800082$F05F9A07-BC0D-4452-A747-A69AC62CDC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89f67ed4524bef89cb3eb2e3b86267c746daf6fa","datavalue":{"value":{"entity-type":"item","numeric-id":3050415,"id":"Q3050415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800082$623E2984-0817-45D0-9E95-6DFF588974F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"377324767631186c74643cd4927092bc831167c8","datavalue":{"value":{"entity-type":"item","numeric-id":4139636,"id":"Q4139636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800082$49347270-D70B-4B1B-AE6C-AE3E47D36F57","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":"Q800082$4A12993F-12E7-4330-A6CE-AA32298E82C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8b05e6ed2dcb8b2884606aa217c912e20cf18ad","datavalue":{"value":{"entity-type":"item","numeric-id":1064046,"id":"Q1064046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5bdf70a95d4d1cece207c1a6e8d9dfcf1225d8c","datavalue":{"value":{"amount":"+0.9168088436126708","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":"Q800082$B19BE417-2E14-4605-8D39-4AF37700A72B","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":"ded73b8823f7ef1f647c16b326504a6e4abf6f7a","datavalue":{"value":{"amount":"+0.8838227391242981","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":"Q800082$B841C88E-6F61-43D7-A5DA-1ADA1CCE79C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0ae49cf223900108061449596843f5e829fbcd7","datavalue":{"value":{"entity-type":"item","numeric-id":3327706,"id":"Q3327706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15eb780ba70794f5a8652dedebf7d4c3b8cb979c","datavalue":{"value":{"amount":"+0.8771209716796875","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":"Q800082$8540155A-7D34-47C5-80F2-3E237355D93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00a02dd3cc93ca3c9a0e16106fae253dc2e0af80","datavalue":{"value":{"entity-type":"item","numeric-id":1602554,"id":"Q1602554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb37b7820f1eff179f0d62ca7cdb012b32d15ea5","datavalue":{"value":{"amount":"+0.8728519082069397","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":"Q800082$19FB1952-F723-4E3B-B146-B4DAE1119963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b033de07e3d56708ecacab644c5d61e90a196357","datavalue":{"value":{"entity-type":"item","numeric-id":3711743,"id":"Q3711743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32f6f85abe84e3535300f72ae825db20d83265d6","datavalue":{"value":{"amount":"+0.8562890887260437","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":"Q800082$807422CF-1C1A-4672-A21B-3E564A3F58CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Expressiveness and the completeness of Hoare's logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Expressiveness_and_the_completeness_of_Hoare%27s_logic"}}}}}