{"entities":{"Q1757155":{"pageid":1767897,"ns":120,"title":"Item:Q1757155","lastrevid":53312102,"modified":"2026-01-24T17:12:28Z","type":"item","id":"Q1757155","labels":{"en":{"language":"en","value":"A uniformization-based algorithm for continuous-time stochastic games model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6997184"}},"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":"Q1757155$512272C5-54E8-4DE7-A48C-6746F3552C0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5bae73d0ebd1e26de78387903bcaee15e717c1e8","datavalue":{"value":{"text":"A uniformization-based algorithm for continuous-time stochastic games model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1757155$5285ED07-C0D7-42A0-9CB2-0AD784E05FE9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"461aac6a5ac4355462abd5632bfaef3a00b33e12","datavalue":{"value":"1410.68215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1757155$F423044B-BEFD-4BA4-9880-BC5F3F65C2B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4795d4ce6c92296256fa1f4782f67774a5733b8a","datavalue":{"value":{"entity-type":"item","numeric-id":1757153,"id":"Q1757153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757155$FEDC1746-8063-4870-8B61-4D1848417631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cad69ab3ba9aac6a1b46027bca527d9afd64673","datavalue":{"value":{"entity-type":"item","numeric-id":549193,"id":"Q549193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757155$8F1C0BD9-58E6-437B-9DCF-DC4821623494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"821e59d5e599555c9b7d18a7e73a3287ce14a69b","datavalue":{"value":{"entity-type":"item","numeric-id":1757154,"id":"Q1757154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757155$C855F1CC-1925-4555-BAFC-73C208123A8F","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":"Q1757155$AC445C4A-F3F0-4875-A0A6-64FB602152D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d408afc22be83843e13bf8755616ed0c1e5a6588","datavalue":{"value":{"time":"+2019-01-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1757155$F69F1D17-8E4F-4A15-B7D6-9E763B959706","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1757155$72B9C7C2-0376-4833-9454-3F6D61576AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f34675a74b150d19473221b06b085ebc8156162","datavalue":{"value":"91A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1757155$200E0FC5-4C6D-44A8-9262-199BB5FEA446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1757155$2CE8C03C-4D0E-4863-A924-7B434FF37567","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4da8093fd47ec11555ab61d80ccd3779dcc5755","datavalue":{"value":"6997184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1757155$C2D7A03F-EF50-404E-A87B-739768A4B322","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fdb321d63e54de1f24ee42307b3934b281d990","datavalue":{"value":"probabilistic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1757155$99A2F5E6-118C-41A4-8ED9-F86DAA4C4F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"661712f5dcbde41ac57ef29173ea12805dc11d5c","datavalue":{"value":"continuous-time stochastic game","type":"string"},"datatype":"string"},"type":"statement","id":"Q1757155$2CC65592-FB4A-446B-83F9-745F727A00B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7b1d1f37b52408c68142cd155fd968df5c1ccc7","datavalue":{"value":"time-bounded reachability probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1757155$774004C5-D35E-4E2B-B141-1A0CFEDCC5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52d987888f8f5ff3b7e69543aa843133a09024d6","datavalue":{"value":"continuous-time Markov game","type":"string"},"datatype":"string"},"type":"statement","id":"Q1757155$BB670C8A-E517-4638-9604-E2D192C83567","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":"Q1757155$804654B4-C92F-431B-80DA-CE8BCB556C0E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba5b1fbad6df6fa47d6b0571be589aae905e5810","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2018.10.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q1757155$0CB7C632-E805-40F2-AF88-43983D54D40F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7acbb5301b172b892b67e8f8f2f0d4d569e3bc01","datavalue":{"value":"W2896167296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1757155$D3F7CD22-6DED-494F-A479-E06D85FD4107","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e132eb6e4129ec3907e531e05dd7650eccf8ac77","datavalue":{"value":{"entity-type":"item","numeric-id":2248068,"id":"Q2248068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757155$13B48637-BA03-486F-83FD-951A09BACFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a860092cae4ad4c5ee631c0a98f0a7ee7f9c9d0","datavalue":{"value":{"entity-type":"item","numeric-id":3241581,"id":"Q3241581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757155$0043FB3B-D7C7-4CBD-BACE-18ED1CB7D0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ddf430626408a9755eb7473ae94474ed8a4c727","datavalue":{"value":{"entity-type":"item","numeric-id":3902467,"id":"Q3902467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757155$8F77B397-0BE6-4C96-82FF-3AE2510E4C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92ec0ad4e5a96f0d1164fd5f2ac9acdb87a3d73f","datavalue":{"value":{"entity-type":"item","numeric-id":3460554,"id":"Q3460554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757155$66E823EA-5362-47FD-9308-D6944A8949FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9166777a020ecc817196cb7c5394e88a72cb142","datavalue":{"value":{"entity-type":"item","numeric-id":4143059,"id":"Q4143059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757155$5BD22B5B-A3BA-4350-8A11-EB173294C672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afc7fb1f6b10c2d3cc162ef4b655ae8e9227d5fc","datavalue":{"value":{"entity-type":"item","numeric-id":259052,"id":"Q259052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757155$DA47F330-0216-4CD6-85F1-A49558967BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a1dbf3bc4a9c2d62ca89d685b60252fb8416372","datavalue":{"value":{"entity-type":"item","numeric-id":766176,"id":"Q766176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757155$D7FE4C2C-234B-4261-84EB-EDCA9ADDD72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcac611c59fe03238207f7bf88ce537435b074f6","datavalue":{"value":{"entity-type":"item","numeric-id":3617741,"id":"Q3617741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757155$3AEEC5CA-0E8D-4C8C-8383-D5BF4D1E2288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fecab12f03ee737f6fad9a77a2a3df081bd197b","datavalue":{"value":{"entity-type":"item","numeric-id":1951600,"id":"Q1951600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757155$E2D3B3E1-8CD1-410E-9965-42CA0BE6A21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e801f217faa8a31da1a5ed84dabc08e33bed122","datavalue":{"value":{"entity-type":"item","numeric-id":1935779,"id":"Q1935779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757155$C1089F3D-37B6-4F61-A4A0-7926181D0188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"753bfe30e08a7e82b0acc716c863fd1bf7ed17e1","datavalue":{"value":{"entity-type":"item","numeric-id":3084591,"id":"Q3084591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757155$77805F38-D957-4DCC-9549-588EBC4FC7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"061ceb32f196efab4e3492cc20506efef48ae10b","datavalue":{"value":{"entity-type":"item","numeric-id":4270055,"id":"Q4270055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757155$FC3D8896-0A5F-4674-A57B-C2BD9C827D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5a70244376fd4d1562b321cd168af407a5c82ef","datavalue":{"value":{"entity-type":"item","numeric-id":3574001,"id":"Q3574001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1757155$594CA3C0-167E-4794-BFA3-A253EF5A44E2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"de1b9da2f7303d18e664987a65f04a695f82a0c4","datavalue":{"value":"Q129101513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1757155$1FFF770C-6B99-4845-A0F2-AC508AB1B4E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"285e3d357cd544e09798eea150977842b78c4bee","datavalue":{"value":"10.1016/J.TCS.2018.10.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1757155$8D307C04-017C-4F4D-A68B-EC5052655B91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecc8f82d4a506bf698281c6b764f6acf69f951e0","datavalue":{"value":{"entity-type":"item","numeric-id":2920113,"id":"Q2920113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fc17b5477a0b21b169e800d26d42b4a5bba3b81","datavalue":{"value":{"amount":"+0.7952472567558289","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":"Q1757155$1BA5C786-7D78-4D7C-97B9-7C46BF1C118D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92918ce1936e9d4154d41d174a915fd4b3bd96c4","datavalue":{"value":{"entity-type":"item","numeric-id":1951600,"id":"Q1951600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c428dde9d411e91de23c8551c97c60339e4d05b","datavalue":{"value":{"amount":"+0.7889453172683716","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":"Q1757155$2BF523A6-8C47-4EC4-9615-B42DCDBBAB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"570e46a58fa84ca1108991782d73eb20dbd97665","datavalue":{"value":{"entity-type":"item","numeric-id":2575731,"id":"Q2575731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6e94bcb61b6dc116556f3f1a7838d4443ac6e4b","datavalue":{"value":{"amount":"+0.7552792429924011","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":"Q1757155$28ADC493-ADEE-4682-9618-E0B7A5927A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e3673d86179a68b447e8da2a04d42220e5e9103","datavalue":{"value":{"entity-type":"item","numeric-id":5308389,"id":"Q5308389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66bc63a8320edb17413c60f6a91b83d542312fb4","datavalue":{"value":{"amount":"+0.7524171471595764","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":"Q1757155$BDF278D7-EEC6-422C-8178-C9278C07B978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a521ea1ea3187e4e074f9936be923f02552e23e","datavalue":{"value":{"entity-type":"item","numeric-id":2911641,"id":"Q2911641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afd2b64bbc983fcda8a62dbe58e82f2142ca0cc5","datavalue":{"value":{"amount":"+0.74215167760849","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":"Q1757155$57235FDD-065F-49BF-94E7-77C679127CC0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1757155","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1757155"}}}}}