{"entities":{"Q1063584":{"pageid":1074336,"ns":120,"title":"Item:Q1063584","lastrevid":66181857,"modified":"2026-04-12T08:05:26Z","type":"item","id":"Q1063584","labels":{"en":{"language":"en","value":"A probabilistic PDL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3918337"}},"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":"Q1063584$7437C1C3-4C42-49E1-946A-5A92B60B3F4B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d67ea66faceae6ff57490cae5d86352bdea2584b","datavalue":{"value":{"text":"A probabilistic PDL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1063584$661C21C2-328C-48E1-86E2-A4D004277AE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10c8bfb013bcf014fd446680937aa73d1861141b","datavalue":{"value":"0575.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1063584$C5BDEFED-B781-4573-9A7E-23B355639B26","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f98294c62b83444bb454ac84ba514a3dc3c00606","datavalue":{"value":"10.1016/0022-0000(85)90012-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1063584$0EE6B6DA-5438-4487-8357-3043331DC598","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a24674fc3fdfdb20ce395c4f54c3ddf31dbed4","datavalue":{"value":{"entity-type":"item","numeric-id":283763,"id":"Q283763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063584$F0E4E0C4-B5C3-41E1-93C4-C74EFE091D2D","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":"Q1063584$EFB4BBCB-E124-41ED-AB3C-214A2360A050","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1063584$8CED2235-FEDE-4F17-959F-7C53FD2E23FD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b903b54f9e5fdf6960986d6448ef83f1a73f9e3a","datavalue":{"value":"The paper gives a probabilistic analog of propositional dynamic logic (PDL), so called PPDL, in order to analyze the properties of probabilistic programs (in the same sense in which PDL intends for the analysis of standard ones). The main result is a ''small model property'' of PPDL stating roughly that if a PPDL formula F has a model, it has small finite ones. Then a polynomial-space algorithm is proposed deciding upon validity of formulas involving ''well-structured'' probabilistic programs. The last part illustrates the usage of some proposed deductive calculus (for PPDL) in an example of simple random walk.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1063584$73FC8CA9-7855-4E2B-A9CF-45E97F8CE82B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1063584$F36CEEE8-7C1C-400F-A4E7-82DEFD7C696C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1063584$8B732ACF-A6D0-444D-A5CD-32C8305C1D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d88ea66d29b5b400c53d2b740493531db9c799d9","datavalue":{"value":"60G07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1063584$61A74022-0BF4-4DBC-B987-DEAEFDD2AC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e52a86b600bbb05d9a7823bf91d423713b4b70ab","datavalue":{"value":"60G50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1063584$397ED146-5D36-4C16-AE6F-9088B7A4DA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1063584$CE763A2C-98EC-42F8-B7A3-A23616EB98B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1063584$313AC893-9815-4ABE-BAA8-C0C047850864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1063584$2A4F2728-4E13-4C59-8E02-ED75D3A0150F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1063584$0EB0A61E-F4B0-4D64-ACF5-29D15769C0A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbf42cae92ef1c21562716a770ed7c94c1853aff","datavalue":{"value":"3918337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1063584$19E93660-3937-4579-A866-AD59FFE0AA0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10b49091726dd62e6959529c1d54eb27e1062586","datavalue":{"value":"analysis of probabilistic algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1063584$652A9047-9215-4808-A105-F41316B77B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff0958ee82c5be1cf2449d49ec7a3c52241c89aa","datavalue":{"value":"probabilistic analog of propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1063584$1029B046-F4F1-46F1-A818-7BE64BC00063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abb803c6475a042fe06038cc89389e508b9ca513","datavalue":{"value":"probabilistic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1063584$BC5732F9-623C-4F4A-9337-A859E77D9B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3654e434baa0aa0c9fcc6ae3025920448a702ff6","datavalue":{"value":"small model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1063584$5281AB65-7944-4240-8D68-3E03F3505336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57fbe6b1bc3054102758c9e5425c349d393c08f7","datavalue":{"value":"deductive calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1063584$AFF00293-338F-4F5D-9657-8295669AF084","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":"Q1063584$D3952D5C-9FA4-4A5E-9B6A-886BC43A55D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74699700398e3c0a6c8d32e1e1f07cc52f075cb5","datavalue":{"value":"https://doi.org/10.1016/0022-0000(85)90012-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1063584$7A4191A0-B546-4398-BCA6-CD43B979F7EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7404f57b17ea7f472734295eb704260e17c40bb","datavalue":{"value":"W2000108089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1063584$A885F913-3774-4BCB-9C65-D87D946B7E77","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063584$309555A4-DEBE-4E6F-BCFE-ED1626C3048E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8073276a8916b97326b23193e92c52703810ec51","datavalue":{"value":{"entity-type":"item","numeric-id":5726943,"id":"Q5726943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063584$EBC6D552-CA3F-49AC-8192-394C661CE883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3832e3dc267ceb2e4bb4d3a758f9c5723b89426b","datavalue":{"value":{"entity-type":"item","numeric-id":1159979,"id":"Q1159979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063584$C92EE6F5-5E8D-45F8-BFBF-9B7859D9D423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c9a168cfecebbdce77004f3cafd3d6265c7163","datavalue":{"value":{"entity-type":"item","numeric-id":3674620,"id":"Q3674620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063584$4A403527-D07B-4645-805C-5C07E9A73E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cb141e01e3729ccc2ed44ca61e28ed0018c2f3","datavalue":{"value":{"entity-type":"item","numeric-id":5581642,"id":"Q5581642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063584$6D554BE3-11BB-4F7C-98CC-6F07AF197185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d10355086bf07622c686253a5ff1f05750731fe","datavalue":{"value":{"entity-type":"item","numeric-id":809069,"id":"Q809069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063584$C60CA2A3-F66E-4001-A151-8587B6E0A56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1cb506cc6bcbc878b7e3aad3dfb07de9779542a","datavalue":{"value":{"entity-type":"item","numeric-id":3347262,"id":"Q3347262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063584$3CC52876-8B59-4E45-9615-286EF1ACCA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"033537a0e321ca9b34886cecfff5f92d78d82e92","datavalue":{"value":{"entity-type":"item","numeric-id":4098445,"id":"Q4098445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063584$7DC84CD6-D612-4698-994D-13899EA11F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"785b24573c5b24e4959ce5ada9ab281db1555d76","datavalue":{"value":{"entity-type":"item","numeric-id":5620935,"id":"Q5620935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063584$6F35D4DE-C017-469C-9A23-A02EF5995545","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e59b5928b1e43d68ac894bd580694aa2513a34b1","datavalue":{"value":{"entity-type":"item","numeric-id":809069,"id":"Q809069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af7bf6a16444828b5df23ba9e9b2291373777bb3","datavalue":{"value":{"amount":"+0.8823864459991455","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":"Q1063584$EC35B5D6-0471-4185-A013-DE9862E7BCF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f13c8d9de74e207d5264761e759f38366e34d09b","datavalue":{"value":{"entity-type":"item","numeric-id":792757,"id":"Q792757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e36fa2965fd124ac5e15328514beca11232ce54","datavalue":{"value":{"amount":"+0.8707404136657715","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":"Q1063584$91C9985E-287B-4A9C-ACC6-0BEFCCB8E028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed23dc11c8fa70f487cd288f75892943a3baa877","datavalue":{"value":{"entity-type":"item","numeric-id":3721807,"id":"Q3721807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82758e733e35bbd5d59923d21bea71e5af9f4180","datavalue":{"value":{"amount":"+0.8632340431213379","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":"Q1063584$20CD4981-EF9F-464C-A345-67C6628BEF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b8bae39ea3582b3d9dbc0059d40b3aef36eeaa","datavalue":{"value":{"entity-type":"item","numeric-id":801682,"id":"Q801682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f59e6ea477b040113dae734633a08cceb0c2393","datavalue":{"value":{"amount":"+0.8425334095954895","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":"Q1063584$7956D014-D89D-465A-8440-C465716E26AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8227c58f50fa9702c619efa5e6b3509692ae1975","datavalue":{"value":{"entity-type":"item","numeric-id":5899095,"id":"Q5899095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f182b9c2d67ab47742044501f4a7a0b9bd718414","datavalue":{"value":{"amount":"+0.8072054982185364","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":"Q1063584$11099557-EBF7-4541-B203-674351D6FE1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A probabilistic PDL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_probabilistic_PDL"}}}}}