{"entities":{"Q4598136":{"pageid":6627721,"ns":120,"title":"Item:Q4598136","lastrevid":52980806,"modified":"2026-01-23T23:15:24Z","type":"item","id":"Q4598136","labels":{"en":{"language":"en","value":"Model checking and strategy synthesis for stochastic games: from theory to practice (invited talk)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6820193"}},"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":"Q4598136$E3E578B8-E73A-4C48-906B-5B439E2438FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bed35a037d145d3e9649b913d9abc4ee53602ee7","datavalue":{"value":"1388.68186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598136$EBE6043F-0B46-41FF-8543-4FBA0933415B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9491c0a0f4df059e837824eca71ad92c31ba0be2","datavalue":{"value":{"entity-type":"item","numeric-id":278754,"id":"Q278754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598136$CF01776F-57EF-4C17-927A-D96D5ABA93A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fc61ce6e2abfbe9b4163dface0a2d1eb319125c","datavalue":{"value":{"time":"+2017-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4598136$0ACD283C-E16D-4473-8662-08A02E4AC893","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598136$80877A2F-A219-49EA-8B33-E5821872EB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598136$86351CEF-BE90-419D-A5A9-94F56E3BCAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f34675a74b150d19473221b06b085ebc8156162","datavalue":{"value":"91A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598136$5A5D144E-DD18-4AAD-ACA7-CF1D079C3694","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b49d7b5fc20ed5ff6f8fc37bc0f7635167257da1","datavalue":{"value":"6820193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598136$E193A245-9C45-4F73-B72C-E31E5FA563DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a37356c3382c350f8dae1854e5c4cb5f061a9b2","datavalue":{"value":"quantitative verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598136$70E04551-CBD5-4F54-8E8E-82C16EB84159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5946a51a5884d5e86db7472d96ff43e6ea9b65f","datavalue":{"value":"stochastic games","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598136$0CE8C3DA-B990-4CAB-8103-0A2A154FA531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598136$02D5FE08-B28B-4FCC-A402-FE70299781D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598136$148FFDFD-1EF0-4492-989F-870839E75D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a67d2c5005fa362b84c077c8a3727fd906e2ed4a","datavalue":{"value":"strategy synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598136$9D8A67BB-689F-4320-BBF4-97C130C21F4F","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":"Q4598136$609A8B4E-1701-45F0-97DD-BA749FE6731D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0a947021848afb6d342c18500777cf5803aa893","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2016/6228/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4598136$14DD0F09-F0F4-461B-807A-42726D718E46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"828616506e9ce1d88b385f6cf62cf791f2086cf4","datavalue":{"value":"W2547255959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598136$82F0E5BD-F4B8-47D1-899A-DB5A4773D78F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e865e915db7a610b283fd53154291e0d9fb7e44","datavalue":{"value":{"text":"Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice (Invited Talk)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4598136$AB734C7B-8ED1-4C80-B0FC-20CEA28D8D4D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbb08d0aa4399bffb4edab1aef72b505e667d45f","datavalue":{"value":"10.4230/LIPICS.ICALP.2016.4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598136$F864587D-36FD-493C-A08D-1880ED0BD76E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf17e7de2aafadd7a524a6bf8e2d03721e967385","datavalue":{"value":{"entity-type":"item","numeric-id":5326324,"id":"Q5326324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea4b53a504c0577515286ffa0f07c77038f4f711","datavalue":{"value":{"amount":"+0.8928002715110779","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":"Q4598136$27059DC3-EEB7-4E53-8EC9-CBCCF6264613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e918711360c484e2665b80676868ed47ff869e5","datavalue":{"value":{"entity-type":"item","numeric-id":328165,"id":"Q328165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22e01ae6f404b5bb38442f3f14519c1f85e18b54","datavalue":{"value":{"amount":"+0.8656892776489258","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":"Q4598136$C39F5129-E78A-441D-BBBE-4D9A63D09DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"046b70682a14fed891a2bc285b821103f9d2d165","datavalue":{"value":{"entity-type":"item","numeric-id":2894279,"id":"Q2894279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35dcd60b477378e7ba47c96b0a3d1cb3af908fc5","datavalue":{"value":{"amount":"+0.8394222855567932","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":"Q4598136$9BD5ED73-A860-408E-86CC-6035F17339E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5ea4377983e95d0b646e0e7578c5018c3ba0cc2","datavalue":{"value":{"entity-type":"item","numeric-id":6104811,"id":"Q6104811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"863b5c28e5ab2bb4b559aa627422f1d6b287971c","datavalue":{"value":{"amount":"+0.8363494873046875","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":"Q4598136$0FC83CC3-C871-4303-9846-588BCA14FEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0b2eb5b630e8f79eb1037d961943775226b09ea","datavalue":{"value":{"entity-type":"item","numeric-id":2248068,"id":"Q2248068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"425b8e5cf8b270034189f64dedac0837e4d0ab29","datavalue":{"value":{"amount":"+0.8314672708511353","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":"Q4598136$4140F6FE-D49E-4DEA-A7BB-2DFF80D5D82C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4598136","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4598136"}}}}}