{"entities":{"Q3721807":{"pageid":5751713,"ns":120,"title":"Item:Q3721807","lastrevid":50692241,"modified":"2026-01-14T20:04:53Z","type":"item","id":"Q3721807","labels":{"en":{"language":"en","value":"A decidable propositional dynamic logic with explicit probabilities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3951997"}},"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":"Q3721807$771545CB-E93E-461D-B82A-EABF1F8DC478","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97090aa761e61305714960c0611983c199c373d9","datavalue":{"value":{"text":"A decidable propositional dynamic logic with explicit probabilities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3721807$DFB85CE5-AE34-4308-9583-5AFE98E54524","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5e29107f85a5e4494faead5398f14a48fc5d0d0","datavalue":{"value":"0592.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721807$CF6DFE7C-875B-4366-A561-9A84EF13B3BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff2bdfbbffb3eee1a9196edefb0bfe91d8eb8bbc","datavalue":{"value":"10.1016/S0019-9958(84)80039-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721807$703D8BA6-8BE8-4382-BD51-C905E81DF84B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a64147b9f8abd518fb0c91d61b2338dd5c9afdff","datavalue":{"value":{"entity-type":"item","numeric-id":792756,"id":"Q792756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3721807$2D547E93-6267-45E8-B42C-51519EAD8FB1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3721807$57FEF2CE-1F69-4595-97B0-F8E1A5509DCB","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":"Q3721807$1905E905-B277-4B77-9790-E645AB3697DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721807$D0FF1177-A0F3-44F0-B9D0-3AB9B8C84606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721807$8B1DB2C1-1CA9-4655-902D-6EBCD8ADC8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721807$FC7A4F83-FC81-47C2-99DF-D46AED139446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721807$8B5B9B4A-C497-44BB-B631-44B45184A93E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cc280fbb876ae85cec93e92e277a3e9a5604730","datavalue":{"value":"3951997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721807$073D6DDB-B756-429D-95DE-5FAE2071CBE3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abb803c6475a042fe06038cc89389e508b9ca513","datavalue":{"value":"probabilistic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721807$49A0700D-24BE-43F8-B461-95C446A58B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e727672a72bc650a82a7e63f3068d7ab1f5fbc0","datavalue":{"value":"measure theoretical models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721807$4E2CED70-2A7A-4604-A11F-67ACF54CAD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"969b3309091b62c0d0f50dfe85178d6fb0720d3a","datavalue":{"value":"schematic models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721807$8CE93C67-85ED-4E9E-B49D-E80844BD90EA","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":"Q3721807$EE3FF876-2336-441F-803D-7E7A7F872A25","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":"c647348a6bd7affca4c2421f5a9f494883990a5b","datavalue":{"value":{"amount":"+0.8701995015144348","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":"Q3721807$02C3470F-8B2E-47DE-A084-B02C89583777","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":"fe8a57c01d9b524942d76ae45180be03f76add3f","datavalue":{"value":{"amount":"+0.8639815449714661","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":"Q3721807$2FC4D5A0-E9EB-4D33-9E59-63FB4F49E174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc8d4573ad8ba166ed539cb8dadbd0e7ddc79357","datavalue":{"value":{"entity-type":"item","numeric-id":1063584,"id":"Q1063584"},"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":"Q3721807$41733BEC-3BF6-44CB-9A4E-5E3406C87421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b00eb0f6a6e4fefaeacc5130df740812569cd61","datavalue":{"value":{"entity-type":"item","numeric-id":3412000,"id":"Q3412000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f29f384203b7c5a6d85ca6371d7d4c76b275d450","datavalue":{"value":{"amount":"+0.8314177989959717","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":"Q3721807$A6961A3C-CA78-4474-B6B7-BC434A36805A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd96849f712113a17f3f8f4297dc3a93a7690a14","datavalue":{"value":{"entity-type":"item","numeric-id":4411831,"id":"Q4411831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f92f7707125a1d143baab2c684173d9c76173d4c","datavalue":{"value":{"amount":"+0.8297516107559204","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":"Q3721807$3ADB675E-868F-4F79-882B-A9081A60DA98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3721807","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3721807"}}}}}