{"entities":{"Q801684":{"pageid":803532,"ns":120,"title":"Item:Q801684","lastrevid":64442532,"modified":"2026-04-11T19:53:47Z","type":"item","id":"Q801684","labels":{"en":{"language":"en","value":"Equivalences among logics of programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3880105"}},"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":"Q801684$7195F7FF-B41C-4FA5-98BD-812151001125","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb30fb0dbf28291d5b0f29751c2a2c1224ace7bf","datavalue":{"value":{"text":"Equivalences among logics of programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q801684$4FE8EE52-B046-49D0-9A83-1CAA141E7DAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f63a0746dcf82b8809206bd8d590965c893559a","datavalue":{"value":"0552.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801684$72FE8889-1410-4D17-9B42-88A1EF5739DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e8b4f7ad6db10fdf60679fffb868cfb6fcc4a75","datavalue":{"value":"10.1016/0022-0000(84)90027-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801684$A91190BD-98DE-4911-AFCB-E2F972E4D20E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1491ce4cefcb5d07a122e169f280e92b36dc114a","datavalue":{"value":{"entity-type":"item","numeric-id":751293,"id":"Q751293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801684$06447C05-62A2-42E3-A1A2-832594B4BEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b456eca97fafb1433d85c58dba82fee4a5004ff","datavalue":{"value":{"entity-type":"item","numeric-id":801683,"id":"Q801683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801684$8C43B4E0-B68E-4BD1-8690-54A11FC4B07F","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":"Q801684$6EB59FFF-75C6-4A50-BD9C-A013BE509EDC","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":"Q801684$EDABEB25-746B-4D3D-B7F9-AE4DC83800E8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8659a1e7fda1446452c3f08de3955cf0ebc75489","datavalue":{"value":"In this paper several different first-order logics of programs such as algorithmic logic (AL), dynamic logic (DL) and logic of effective definitions (LED) are compared. The authors define a fragment Lre of constructive \\(L_{\\omega_ 1\\omega}\\), as follows: Lre contains \\(\\bigvee \\{P_ i| \\quad i\\geq 1\\}\\) where the \\(P_ i\\) form an r.e. sequence of quantifier-free formulas of predicate calculus containing only finitely many free variables and Lre is closed under \\(\\neg\\), \\(\\wedge\\), \\(\\vee\\), \\(\\exists\\) and \\(\\forall\\). They now prove that the following formal logics have the same expressibility as Lre: 1. DL of deterministic effective flowcharts without array assignments. 2. DL of deterministic effective flowcharts. 3. \\(DL+\\) of nondeterministic effective flowcharts without array assignments. 4. LED. 5. Logic of nondeterministic effective definitional schemes (without array assignments). 6. AL of deterministic effective flowcharts without array assignments. 7. AL of deterministic effective flowcharts without array assignments and without the iteration quantifier \\(\\cap.\\)    Finally it is shown that if some extra condition on the domain of interpretation is satisfied, also the following logics become equivalent to Lre: 8. \\(DL+\\) of nondeterministic effective flowcharts. 9. Logic of nondeterministic effective definitional schemes (with array assignments). 10. AL of nondeterministic effective flowcharts without the iteration quantifier \\(\\cap\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q801684$4F248DEF-332A-49D3-9261-53FFB7D1D521","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801684$86EA111F-00B1-4181-B0F0-8A123BFE529F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801684$E893728F-696C-4439-A2AA-02F853F3302F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01c8bfa2b0b1945bafb14825da53480765c95f5a","datavalue":{"value":"3880105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801684$BB6E3070-AF1A-4FD5-969F-E6C22640D04E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52ba6d968a7617d9b56b80603a9b30974da2b918","datavalue":{"value":"determinism","type":"string"},"datatype":"string"},"type":"statement","id":"Q801684$846BAA74-6C53-4462-B44E-DD5450DF07AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q801684$0E9963F6-B34E-403A-82C5-6112B2BE362D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40a21c8208c4dbf750c6261f9a28d77ff3215c63","datavalue":{"value":"first-order logics of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q801684$E5390C66-10C5-41D4-9545-5D7EBAEBB613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4150cc071af573389b0f153adc216861cd5e3ba6","datavalue":{"value":"algorithmic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q801684$67F41CF4-E1FB-489C-976E-538F4C892BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q801684$EFA90146-DA60-4038-AD54-13810A0BD520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d5b5799fe1b7ecb5e6cb960a87a71d34d3bb783","datavalue":{"value":"logic of effective definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q801684$6BB33FF9-583C-4B2F-8232-26B0C8740411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c8250e34ef9b965c024f6b52aa86cb080128191","datavalue":{"value":"deterministic effective flowcharts","type":"string"},"datatype":"string"},"type":"statement","id":"Q801684$077478E9-CF1E-4F6D-8BB0-276566D5120B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c28a1a8434c8d5b0a2f5af0425cf6c4fb87ccbf4","datavalue":{"value":"nondeterministic effective flowcharts","type":"string"},"datatype":"string"},"type":"statement","id":"Q801684$7E9BCD5A-A49B-4D5B-BB59-A227CE602DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd88a3ee5de432c1dd167c3ac753faef9ed44272","datavalue":{"value":"effective definitional schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q801684$A5F13255-EE63-4CA9-8F6C-21902F689BD0","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":"Q801684$95BD2121-505D-461C-B413-CAE938E5D903","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":"Q801684$856E6F87-9F55-4F39-9853-0C8E378BFAC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f23adbab9036e776ff73e0d56e1b1e88f64a92e0","datavalue":{"value":"https://doi.org/10.1016/0022-0000(84)90027-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q801684$72D3853A-23B5-4692-9B95-D704EDB7AFB2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c72c783b1d16dac0b6faea47141e0cbdf3ce355e","datavalue":{"value":"W1978823961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801684$01F2E7A0-D211-45DD-862F-EDCAAEEB5289","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd4fa575f943c5a37edd961dc26fdec04b0280d1","datavalue":{"value":{"entity-type":"item","numeric-id":4117768,"id":"Q4117768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801684$BA8ECDBD-7FE4-46ED-B3A8-F5C245711485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3107ddcd298359b712f21dd5530eda3720b9652","datavalue":{"value":{"entity-type":"item","numeric-id":3957927,"id":"Q3957927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801684$1C8A1723-31F7-43C1-A688-1C5324D20396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423ecb44ccefd2a3d1e6736f0bdd2925c8e12d07","datavalue":{"value":{"entity-type":"item","numeric-id":3875311,"id":"Q3875311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801684$97A5D2BB-53F4-4E88-9B73-9C77EDC0C783","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":"Q801684$46ED525D-8900-493E-AD41-C8068D35C8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2dc7428a701302ee60a912ba787cecd46fa536","datavalue":{"value":{"entity-type":"item","numeric-id":5600863,"id":"Q5600863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801684$93C3DC86-3A98-4D3C-8263-F88F1D23B170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a3b216bf5e27db67129e12d52b1e5af885e3914","datavalue":{"value":{"entity-type":"item","numeric-id":4074367,"id":"Q4074367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801684$C5A817CF-CA61-44F1-A651-A4F8524FC388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ae843e254a651752f25afedc715bc81850ceac3","datavalue":{"value":{"entity-type":"item","numeric-id":1143165,"id":"Q1143165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801684$5620EA4A-52CD-4A00-9622-680D965A1C97","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":"Q801684$49E40120-024C-4F6E-BB86-7564645D65B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801684$983D0D6B-CAF4-41A9-896E-C4BF62C01D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2bf8ce9aac73bf50a8b75ec97283321f86bf552","datavalue":{"value":{"entity-type":"item","numeric-id":4168046,"id":"Q4168046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801684$CA5465B9-8485-4A6E-B1B7-EC474DCFAA72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58569cfcb63db51abd33ef3dfc3dfca274845b33","datavalue":{"value":{"entity-type":"item","numeric-id":4744245,"id":"Q4744245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801684$D7D1793E-758A-471D-9EF9-23D60EACA17F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c62a14b79728c3dab007d93195d9ab9f0a2bb8","datavalue":{"value":{"entity-type":"item","numeric-id":5625117,"id":"Q5625117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801684$186F986D-BF33-493D-9E77-D15E89A8C1FC","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":"Q801684$D1E92250-00FB-4220-8D17-D5CA62083989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b90cc3efc6ff30de2c7ce0a376179d4c3541ae","datavalue":{"value":{"entity-type":"item","numeric-id":1158140,"id":"Q1158140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801684$02CE14E2-5905-43EF-ACBF-762211E1ACC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3de510ed3fd05142f0bf32ec55ad85ebc17090f2","datavalue":{"value":{"entity-type":"item","numeric-id":1161284,"id":"Q1161284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801684$7463D8A6-EC93-4296-9458-DFC1A61C38E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85f8c72a9350326364dae4fb324c635b65cfcd95","datavalue":{"value":{"entity-type":"item","numeric-id":1236111,"id":"Q1236111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801684$2179D79A-C76C-48CF-933A-CC93A424CD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c417924a46f5e00f10bb7b003d8951d6cdf42c1","datavalue":{"value":{"entity-type":"item","numeric-id":5596237,"id":"Q5596237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801684$E7AD925F-17C0-4734-8424-EDDF240100D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c2c1150e7a046f9adf874163d07397f0c930d8","datavalue":{"value":{"entity-type":"item","numeric-id":4088800,"id":"Q4088800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801684$FA1B359E-6325-460C-9BC1-D69FD3C4BD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa21e8a21fd2097ad49e8a1265c18e182d0701ab","datavalue":{"value":{"entity-type":"item","numeric-id":3323259,"id":"Q3323259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801684$322181FF-5B3A-4AB7-9A63-4F905A54C625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be75b3c2c8b29881cb129000864c6e7d6ca37951","datavalue":{"value":{"entity-type":"item","numeric-id":3922158,"id":"Q3922158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801684$AFBF3EFB-B221-4A40-8340-5730AACC98AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc467f48030b0157b5bb9ac0001e6a6d79c1d345","datavalue":{"value":{"entity-type":"item","numeric-id":3347263,"id":"Q3347263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801684$94A12FEC-5C97-4A15-A4CE-BF40EF10D4D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"641a798635b3ef511df325f1a279cb02318df3bb","datavalue":{"value":{"entity-type":"item","numeric-id":3316584,"id":"Q3316584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff6756619f5fe49ef9f7b9dc986926e152bcb9af","datavalue":{"value":{"amount":"+0.953928530216217","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":"Q801684$0C92655B-5647-4D3C-8FD9-14FA5389C2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ac6eadb73a14cbf8169a11d39b10f78535fd9b9","datavalue":{"value":{"entity-type":"item","numeric-id":3792662,"id":"Q3792662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"276d139015de4641c4689f5b44c6eca358cf05cc","datavalue":{"value":{"amount":"+0.8139336705207825","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":"Q801684$73669119-826E-441F-896A-F35ACE90BC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21e02b3d6e6d674e45e58962bcd1951f499854b6","datavalue":{"value":{"entity-type":"item","numeric-id":3345772,"id":"Q3345772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37a30b2f8f469268e84bfdae9fe973830eddeef6","datavalue":{"value":{"amount":"+0.8110803365707397","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":"Q801684$8761B041-391C-4E13-9AA4-6F56192D3D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26d166c4c642241a0290d95ef22732c6f4971ea0","datavalue":{"value":{"entity-type":"item","numeric-id":3709863,"id":"Q3709863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21f975fb0c027f3ffbc81cf6cb0bd07319048a0d","datavalue":{"value":{"amount":"+0.7991665601730347","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":"Q801684$AF67CFE3-425E-4C1A-A505-477E2BC1C039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d397e5cb6278da902586cc56fb917daa19cd105","datavalue":{"value":{"entity-type":"item","numeric-id":3732958,"id":"Q3732958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3c8d06f5374abb1ada65ad0107b04a33a998ada","datavalue":{"value":{"amount":"+0.7888354063034058","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":"Q801684$63A25643-3C2A-426D-A210-9F479D275ED9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equivalences among logics of programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equivalences_among_logics_of_programs"}}}}}