{"entities":{"Q3021957":{"pageid":3032673,"ns":120,"title":"Item:Q3021957","lastrevid":45274225,"modified":"2025-12-04T02:20:49Z","type":"item","id":"Q3021957","labels":{"en":{"language":"en","value":"VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2177746"}},"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":"Q3021957$289E8650-0294-4D8F-8C97-86F41E4EE2B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e013d94802c478094970867319b1ef09657f0128","datavalue":{"value":{"text":"VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3021957$2A0EAB36-62E1-4AAA-8E60-C7B967A49C36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c75c181f39b8e68aa529c8484dbbfc9e84e8bac","datavalue":{"value":"1066.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021957$AD39B2D7-23E4-4FA1-97DB-99E40D06ED87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d05d987a1fc9d029af39ca6303573f03a8781bf8","datavalue":{"value":"10.1142/S012905410200114X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021957$F34EE962-BB64-4998-971E-F6287BFAAB96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c24c5c5cceb777d2d5d5c94a9c58cfc4129afdd4","datavalue":{"value":{"entity-type":"item","numeric-id":2517835,"id":"Q2517835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021957$E1B300E4-C0B4-43DA-840A-F2A40D466F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a50c23c3978492e58521f1c41f776352eabb0d","datavalue":{"value":{"entity-type":"item","numeric-id":541684,"id":"Q541684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021957$3CC9A23C-2B4E-4D4B-A2EE-3D6498C88FB9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021957$4D976AE5-9DDE-4EC6-BFD3-E76DC661A8C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a415faf8a5f610a3108e7fd472916d58928f6763","datavalue":{"value":{"time":"+2005-06-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":"Q3021957$0CD51793-C4D9-4B45-820A-C7282162BE85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021957$218218AF-092F-4673-AAA0-9F7328238B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021957$122A6074-A660-44C9-8E6C-2266146FD7FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ca3d66ec041efd23b5ff01a272740bfa1fd69ec","datavalue":{"value":"2177746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021957$BBC86455-CE16-48B6-BD62-DBD2D36FFBA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3021957$2A6DC5A5-52D5-4496-A287-EC4E313A6D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73b4c65f1932723e758d611f0e45f29f11ae5669","datavalue":{"value":"probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3021957$F27AC5E6-438A-45BF-A29F-AD71DD111F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49eb4dac5aeb1a5fd4804122c81f369b6968def6","datavalue":{"value":"randomized algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3021957$7E58F06E-49DD-49E4-B5FB-AA10D20D56AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3021957$8A34972E-3757-44D3-9A93-52FF24869A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"354db7f750fb55838697b1530e2fc509c4f2aec0","datavalue":{"value":"probabilistic predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q3021957$E0201907-17F9-4A9E-B970-A667D95232BA","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":"Q3021957$5AA27543-302F-4C8F-A7ED-3EE9C2C3630D","rank":"normal"}],"P223":[{"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":"Q3021957$CBC1BBF4-C38D-4DF1-AD2E-02C78A11953F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c038b8dac9451f007d0167ee6a8b5f37a4c69a0a","datavalue":{"value":{"entity-type":"item","numeric-id":1898113,"id":"Q1898113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021957$010F16E9-EEF9-42F1-B660-3AD172F9EC2D","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":"Q3021957$72CD5A72-71D9-44CE-825B-64BB9ADCF923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f182afa47ea37b09a1d1a3075ffe1edef8370b5","datavalue":{"value":{"entity-type":"item","numeric-id":1063584,"id":"Q1063584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021957$D5B44DAA-B736-452D-97AB-A9FAF9F5CC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021957$6A3210E2-BA08-4914-BD60-B7F5E417E95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"288242718e3c927db37f8dbbb0c11f4c7a610e5e","datavalue":{"value":{"entity-type":"item","numeric-id":1803654,"id":"Q1803654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021957$E8C33E9E-2DED-4875-ABBF-5C66F46586FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f911dab18d9a7d28d78ede9f6f7909d3aa034644","datavalue":{"value":"https://doi.org/10.1142/s012905410200114x","type":"string"},"datatype":"url"},"type":"statement","id":"Q3021957$B1A54339-2868-4C6F-88FD-36539DCADD33","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d64b657756d46865c2e768fda0b70eb35e3e888a","datavalue":{"value":"W2119029543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021957$F54A63F9-A9F1-434D-8135-EC2C67632E1A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f9b026c57e3371ee208e32cdea1a98eaef714300","datavalue":{"value":"Q129146979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021957$691BA6BE-5528-47DE-815E-6355990A2FAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb78fb0ce6e11fbb4974fcf12abf053d1faa2f28","datavalue":{"value":{"entity-type":"item","numeric-id":4501575,"id":"Q4501575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b0f5131f6edf38fbc720148e9ca9874075db37","datavalue":{"value":{"amount":"+0.99999994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3021957$708D0879-740C-49FD-B82E-31C40740D7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9c2f2a7fc8474c0133780afda7d6c98adfa044d","datavalue":{"value":{"entity-type":"item","numeric-id":3316558,"id":"Q3316558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8521d82cd261017ef7e35b9d23cc05ba377ee7da","datavalue":{"value":{"amount":"+0.94875264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3021957$F76AC85B-104D-4914-87BC-059D176D68DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68762eb4d0ade5d59d0e2ff7deb1512c1b85bdb2","datavalue":{"value":{"entity-type":"item","numeric-id":2323970,"id":"Q2323970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"265eba14fe1580a93c6c4abaefd3e358fea37285","datavalue":{"value":{"amount":"+0.94529635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3021957$A8788173-684F-47EF-A602-530DD7AE3807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f4034399829c7be670eedad7e312c427b8bd41","datavalue":{"value":{"entity-type":"item","numeric-id":5465856,"id":"Q5465856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c95386f4d5242a62df1870e6844a152e25cdce5","datavalue":{"value":{"amount":"+0.9432027","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3021957$C0CD3D49-49E3-4E6C-8FE2-09E2E7179AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"772e7a59808604549504f21df021d922057b3e59","datavalue":{"value":{"entity-type":"item","numeric-id":5325836,"id":"Q5325836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5979b4c1708529374cac035c837a2dbf8b86b744","datavalue":{"value":{"amount":"+0.94212806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3021957$92A477CB-19E9-4EE7-B34F-1CBE68026F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"195341238ec884fef4c1d57e3b631063fc7b6ed0","datavalue":{"value":{"entity-type":"item","numeric-id":3189808,"id":"Q3189808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9910e42fb4f3ad02f32ac99dd7e0f1d2c08e457d","datavalue":{"value":{"amount":"+0.9254383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3021957$A83A1FE1-E5EF-4E9B-8290-76660AE0E2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"949dc6185729e487d5eddef1dfe3d84e5d8e1e00","datavalue":{"value":{"entity-type":"item","numeric-id":1977920,"id":"Q1977920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82c83fe5233e58c5ebf378366415efb82e0bdf1f","datavalue":{"value":{"amount":"+0.92460626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3021957$C1644505-D4E9-4690-9350-0125F9CAC2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f1a6e0ccb57a35247b372319860e2afcf63f31b","datavalue":{"value":{"entity-type":"item","numeric-id":5971408,"id":"Q5971408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9731371ea6951bcc83eb290dad0e5577caa8258","datavalue":{"value":{"amount":"+0.92387843","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3021957$546F7995-3504-4047-B7AE-7B684C737044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e762e37cd06209be4295de301f467d7cd1e5ccd3","datavalue":{"value":{"entity-type":"item","numeric-id":2163157,"id":"Q2163157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"148adcc5d373379eb08cd90004b60ad5ec2d1019","datavalue":{"value":{"amount":"+0.9219638","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3021957$FEE60676-82BB-41A6-B34B-76070F705F9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3021957","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3021957"}}}}}