{"entities":{"Q3525653":{"pageid":5555557,"ns":120,"title":"Item:Q3525653","lastrevid":50458499,"modified":"2026-01-14T02:44:24Z","type":"item","id":"Q3525653","labels":{"en":{"language":"en","value":"Strategy Synthesis for Markov Decision Processes and Branching-Time Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344940"}},"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":"Q3525653$2BFF89C3-88AC-454B-83DF-2CB78AAEEEC4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a379a27db922e6dcd92cf51be6f30d791deb7eb","datavalue":{"value":{"text":"Strategy Synthesis for Markov Decision Processes and Branching-Time Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525653$3D18CF9C-ABFB-4B86-B344-70A79356A967","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41008adb9f2e3ebd867432b68a8db1654e75fa7d","datavalue":{"value":"1151.68472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525653$344BDCC3-52EA-4CDA-B861-A5B0B9EA2694","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6568ce2e6700a6ca8150043ef9b4d9cff9bb617f","datavalue":{"value":"10.1007/978-3-540-74407-8_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525653$060D75AD-25FF-4C1D-B81B-CDAEEEA6588C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90164f212d81b9976368c619f577477b4b6d4fba","datavalue":{"value":{"entity-type":"item","numeric-id":340567,"id":"Q340567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525653$B5E36996-417F-43DD-AD6F-0FB38BE14AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97d285282e4a9951aa1b8c348642148d118ee6e0","datavalue":{"value":{"entity-type":"item","numeric-id":278753,"id":"Q278753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525653$1444CA8B-9C31-48C8-92D1-5F3E7E58E1E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d33cde76bd73dc5ee329bf4c0e45fff7e5611f64","datavalue":{"value":{"entity-type":"item","numeric-id":3525625,"id":"Q3525625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525653$81793995-17A7-4720-9BD7-12E6DA8B80EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1b92a0ce5c23dfe591778f902d0760e02cbbe13","datavalue":{"value":{"time":"+2008-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3525653$471EDB82-6819-4A0E-901A-DE2564F667F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525653$6A6129C7-AFA5-4418-B649-43E9D98D68FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525653$543A7290-BB19-4485-9A12-E47B5AAF756E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525653$CD8A5434-89D4-4FF3-ACEE-BD3DDCA53E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"377d3ab03372cff12915e0de0374438ff70c3716","datavalue":{"value":"90C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525653$BE32936F-F211-4A49-B9DB-4FB8D787A180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525653$7941BAE3-F5C2-40BE-8C49-DFAE102AE4CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb15314c0a58622ff6be4d5a6fe382515b8f7181","datavalue":{"value":"5344940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525653$C3979726-C544-4465-BD74-F1897F33623B","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":"Q3525653$35BAEBEE-4624-4524-A5BF-677100D8BE23","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f797c95edf753ef18bfde2a61ed1994fd01fa290","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74407-8_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525653$B9C39F3F-B263-4B36-8AD8-C6083A2E6A42","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a11fa068a102c4fc2d8f1061c641d6379f2f99b","datavalue":{"value":"W1546990525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525653$1D4F6F26-D2C3-4546-95B5-AC1D737DFCB3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f53310a97d16461eb1e015da155592b3741bff77","datavalue":{"value":{"entity-type":"item","numeric-id":3519498,"id":"Q3519498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"734351ff520d2d4687f3fb56ca06300fe4d99261","datavalue":{"value":{"amount":"+0.8579452037811279","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":"Q3525653$86AED6B6-9F8B-40A2-826E-65C68A806DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1fd91214a6e0692578e05a84f7c573038776a88","datavalue":{"value":{"entity-type":"item","numeric-id":3636806,"id":"Q3636806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be859106e653cc1a3ca93249083eb8437faefe99","datavalue":{"value":{"amount":"+0.7642837166786194","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":"Q3525653$915EE6EE-A33C-46E2-A90E-98C9430524E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a31af8b605972648cf6baac9941525df63eb0a0","datavalue":{"value":{"entity-type":"item","numeric-id":924718,"id":"Q924718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2de5d4417f2aada8935d769a26c6ad382bd73e99","datavalue":{"value":{"amount":"+0.7593420147895813","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":"Q3525653$F9031594-2092-4D88-B1AE-9A7B626576AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373f6a6eb1f549c8a9b9d76b89758cdc113f5ace","datavalue":{"value":{"entity-type":"item","numeric-id":4673428,"id":"Q4673428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5e8b2ad650672e480fbca82990058fc3e309722","datavalue":{"value":{"amount":"+0.7568414211273193","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":"Q3525653$21CCDFA7-293F-4628-B962-5F9B3D100434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5f935f1ebb8ca6b5a6ead14b5cdac0c6752f319","datavalue":{"value":{"entity-type":"item","numeric-id":715046,"id":"Q715046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22f6f1fd256350fa9d1bda04251fb32173828bef","datavalue":{"value":{"amount":"+0.7526504397392273","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":"Q3525653$84A0D036-A97D-4B7F-9F86-2DE249779943","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3525653","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3525653"}}}}}