{"entities":{"Q1822934":{"pageid":1833676,"ns":120,"title":"Item:Q1822934","lastrevid":71369772,"modified":"2026-04-13T21:48:21Z","type":"item","id":"Q1822934","labels":{"en":{"language":"en","value":"Hoare's logic for nondeterministic regular programs: A nonstandard approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4113950"}},"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":"Q1822934$F7CECC13-7F8E-483F-8199-CA03AB1B1C4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"906ffa04752fb882a9d2a53bcf4c892b73386fe7","datavalue":{"value":{"text":"Hoare's logic for nondeterministic regular programs: A nonstandard approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1822934$B64E2929-DB49-434D-BEDD-227513FD26E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"868e4d74ef00deec96220254b4dec6bd8f7b9d44","datavalue":{"value":"0679.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822934$912AC182-1850-4065-9F98-0F88F07EE5D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d2b362127c3aa8e7f41dfb44a8e5316638c8c04","datavalue":{"value":"10.1016/0304-3975(89)90165-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822934$DB73725B-085A-41AC-89B6-B3C5A2EE8501","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49015e63764a6e0de5906cc44d21a37384728ead","datavalue":{"value":{"entity-type":"item","numeric-id":1110498,"id":"Q1110498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822934$6C202B84-FAE2-439B-A338-D74C31D067A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da5029835993a287b73cbda73f8b85671562e336","datavalue":{"value":{"entity-type":"item","numeric-id":236466,"id":"Q236466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822934$0B7CC6A4-3AA9-4AD8-AF48-9F073C1A2CE9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822934$E87A6A1A-B8CF-49B6-809D-68B1978CCE76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1822934$6B66193C-A678-4BBF-A05B-242224DB648A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822934$E2683B7E-7CB4-452A-AB9D-DC5288A6FEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822934$0A8666CF-5820-4502-BCF5-EC73E58C7233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822934$1F819C12-C75C-4DA4-904B-5F559F7EA23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822934$1C65C62C-8F8E-49EE-B8B2-0AC61F0DED5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822934$1D2489D2-1762-41F6-9496-E77F0978B286","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af7dde27eb684b3688c86a3c8fab30c516962a86","datavalue":{"value":"4113950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822934$BE491A7B-A6F9-4A19-83B2-50CEA6AFEBA5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6ca3089f4a9c1f132e8f874f7fe0c6338d24ce7","datavalue":{"value":"Hoare's logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822934$9D795EF6-2CC2-4FD0-B68A-0BC540948BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"148d6471a7c64f6e0bd979e249120fdca6f5787a","datavalue":{"value":"nondeterministic regular programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822934$4998F9F0-9CB3-4B10-9E85-1F38549FF5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34408424114b1d7f79c4cecaa20bed5d0faca616","datavalue":{"value":"nonstandard dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822934$A10D4367-EFC7-483C-9816-2C90EEF9ABCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db247c9e4417cc72af3da9ef1f35d058a555b8c1","datavalue":{"value":"continuous semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822934$96C8AE01-F141-4012-A571-57CEA31BC277","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":"Q1822934$1029D07F-23D3-493F-8162-48482613C3CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"54194efb04944ffeb2f4cc2790606e65caffa737","datavalue":{"value":"https://doi.org/10.1016/0304-3975(89)90165-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1822934$98A101AD-6DB1-44D2-B035-924944B1466E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e38f2fa93dc180fc3ba125684b1eb8ac61362577","datavalue":{"value":"W2010093011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822934$617580EA-3F99-4394-8BBC-F1985EC54AA0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"df73d085f7f484eebf146358dd83e1d8e603ca67","datavalue":{"value":{"entity-type":"item","numeric-id":4198727,"id":"Q4198727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822934$63442A83-570E-459A-9333-EDE2A03BFBBC","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":"Q1822934$3D5BA646-7836-4C10-AF33-97E4C37F20D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28056ed53ef07a9d6632c6440711fd2b65f1640","datavalue":{"value":{"entity-type":"item","numeric-id":1159461,"id":"Q1159461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822934$F4F2B9B1-134A-4B5C-989E-28B12DDC8C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f640c010e86f562d69961f36d8777ab01b6e3073","datavalue":{"value":{"entity-type":"item","numeric-id":1056534,"id":"Q1056534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822934$B16313D7-A0F4-421B-A2B2-CC3BD699F45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a92f26e58a943b02e78674f3a8491b69ad7ff1fb","datavalue":{"value":{"entity-type":"item","numeric-id":789887,"id":"Q789887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822934$00BE3CFC-E7EA-4037-A64F-9864F03C50FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"271435b73e7162645c02aeae8f7365e9fe6491de","datavalue":{"value":{"entity-type":"item","numeric-id":4741695,"id":"Q4741695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822934$93F5CB80-7412-40F0-8D5E-22C8F6311A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"516fe853b6e955293f6d8b736ca8367452853231","datavalue":{"value":{"entity-type":"item","numeric-id":800712,"id":"Q800712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822934$C6F5DFD3-AE59-43C6-9752-EC02D9FB222F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"591ac92e679354c8d8933b0f984ccc3da0d4ded2","datavalue":{"value":{"entity-type":"item","numeric-id":3960666,"id":"Q3960666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822934$211A6EEF-00FB-40F4-B727-AD7F6F2AF907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ec46a7633ce86d7c1e2bece78377f8d3dcdd857","datavalue":{"value":{"entity-type":"item","numeric-id":5522202,"id":"Q5522202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822934$488E38B6-71A6-4018-AB1A-DEAE1A2343F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"264d5f802e0cf300ca5e5622dde1fd3d1d2ce45d","datavalue":{"value":{"entity-type":"item","numeric-id":5184385,"id":"Q5184385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822934$ECF18609-3F20-48FE-B75B-673757915A33","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":"Q1822934$6C39CB09-260C-4614-ABDE-9C05E059E225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3b21e90a23a5672c558c84dfaa27ce2856c251a","datavalue":{"value":{"entity-type":"item","numeric-id":1162355,"id":"Q1162355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822934$B89805AD-4C1B-4CDA-93EE-752A146CC64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eba57e430a2abba28b46a66dc03de0556ca2296","datavalue":{"value":{"entity-type":"item","numeric-id":3341880,"id":"Q3341880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822934$79A82F08-944A-4D8B-B488-D801ABB455F3","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":"Q1822934$BFCB8AB8-0A8D-45AE-9612-FD5E9BCA93E8","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":"Q1822934$5C95FCEC-E013-44AA-8BA8-93022625F465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822934$BEFB6A3B-400E-45D6-80EE-DBBE814BCD50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f993ba5688ff98e9d0f8aae94e7a7a3a69e0c63","datavalue":{"value":{"entity-type":"item","numeric-id":1087866,"id":"Q1087866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822934$AFA01939-5FB3-40A2-B6C0-50B8C9C29B17","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":"Q1822934$A4E346D6-09D0-46E5-A5E2-679EE76B6FAD","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":"Q1822934$7776EEA9-BC20-4171-9B2A-7379CE8589C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31d9541ae8ef385d6bf5d7cb5c55dbf35dcc9c9b","datavalue":{"value":{"entity-type":"item","numeric-id":3696488,"id":"Q3696488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822934$4BBB759A-5428-41A0-B330-5F43E172133B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17e12207eded39b43e889c97a97f4f9eb3c3aecc","datavalue":{"value":{"entity-type":"item","numeric-id":1110500,"id":"Q1110500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822934$4B21FEF6-BFC3-4C6C-8F2F-98549C7D7260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"678f6c25497d4da339fb86fb797a401000099017","datavalue":{"value":{"entity-type":"item","numeric-id":4095834,"id":"Q4095834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822934$5163752F-6068-4F09-8D93-821E980E66F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bde352de7529b3727f2dfe868ebf2842f0d7ff8","datavalue":{"value":{"entity-type":"item","numeric-id":5626601,"id":"Q5626601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822934$40FEFCCB-38F1-458C-BEA1-3E102E12EA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81f5a1bf73ad7c6b6dc9013f79221f2ece1c6125","datavalue":{"value":{"entity-type":"item","numeric-id":1838825,"id":"Q1838825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822934$F9196ADD-AB9B-4290-9858-7C7217CEF3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ae2b43295e8f75713cc545a37c2780fa87a9c2","datavalue":{"value":{"entity-type":"item","numeric-id":1077159,"id":"Q1077159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822934$74E88E13-72CB-4FC2-B766-82DE65C49BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0535354c25e94c8bb5c29ae295984af05b7dfc6d","datavalue":{"value":{"entity-type":"item","numeric-id":1064046,"id":"Q1064046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822934$030A09E2-2BC5-45FD-B369-01E634E29172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac09f0ca0f36729a8d14fbaa62e0e06b4e8b2c85","datavalue":{"value":{"entity-type":"item","numeric-id":3345770,"id":"Q3345770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822934$9F61111D-8F31-41A3-8719-A1422267349D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa88669227141db71dbbde7111e0cc29dbacbe07","datavalue":{"value":{"entity-type":"item","numeric-id":801661,"id":"Q801661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822934$18C1AD87-30FF-4EBE-B670-700886E70373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a5ea97f81b547cbf103e27040dc6f1c9a350cb","datavalue":{"value":{"entity-type":"item","numeric-id":580955,"id":"Q580955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822934$BDE597B5-35F9-4FF3-88DD-89260970E721","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":"Q1822934$E6F6378A-9AFE-493F-AE71-DF3E6A31D6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822934$20C11B63-D27B-4914-A450-EA7BC18C9939","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7e62ffbc79872d6d9d9e1b33ea0221ff655d767","datavalue":{"value":{"entity-type":"item","numeric-id":3696488,"id":"Q3696488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7659582f059fc4616c1a599888c50f6e1bfe83c5","datavalue":{"value":{"amount":"+0.9331929683685304","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":"Q1822934$39D4269D-377B-4C91-8E15-8615F08073D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1b2e59a3f1876b90ce4d0afbef5379583249040","datavalue":{"value":{"entity-type":"item","numeric-id":1077159,"id":"Q1077159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6084a537ee1565a8f2274e8b769191de5640b177","datavalue":{"value":{"amount":"+0.8150169253349304","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":"Q1822934$47667F9A-CBB6-462E-9B1A-1318765CB182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a6c2b5c7dbf2c0320ccb96a9147c3e9cb2fa32","datavalue":{"value":{"entity-type":"item","numeric-id":3348897,"id":"Q3348897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c5ad0fd098d3ef37a815d1d5206cb98669a71a2","datavalue":{"value":{"amount":"+0.8058843016624451","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":"Q1822934$989D11A4-A6E3-4245-BC9F-C665543C4FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44084c8d4dcc70d5af88014c2c28bd30faf78ff9","datavalue":{"value":{"entity-type":"item","numeric-id":4204136,"id":"Q4204136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47e12254101d7fa59585f39c7472b5f2d6eed903","datavalue":{"value":{"amount":"+0.8022781014442444","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":"Q1822934$E82C4988-9837-442D-94DA-21C5C4F81DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b56546806e841c6fe1c457e33c7e19adc61eb0a0","datavalue":{"value":{"entity-type":"item","numeric-id":4411818,"id":"Q4411818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5b87aa6b987b19592da9569d0c2baa9afe712e2","datavalue":{"value":{"amount":"+0.7988327741622925","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":"Q1822934$46BB5AC2-CADF-4BB7-A5F1-7DD1C12A67A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hoare's logic for nondeterministic regular programs: A nonstandard approach","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hoare%27s_logic_for_nondeterministic_regular_programs:_A_nonstandard_approach"}}}}}