{"entities":{"Q3190116":{"pageid":3200824,"ns":120,"title":"Item:Q3190116","lastrevid":80214725,"modified":"2026-05-06T15:41:09Z","type":"item","id":"Q3190116","labels":{"en":{"language":"en","value":"Compositional controller synthesis for stochastic games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6344622"}},"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":"Q3190116$C941E9EE-4271-438C-A877-5D185DF3C34E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"37f04f86ffe0bbe3c62a8c5c63cf7cfdd7910a44","datavalue":{"value":{"text":"Compositional Controller Synthesis for Stochastic Games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3190116$4D078054-E75B-4C70-AE23-FB9D5EDA8B27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f9c75bef64fa04ed5e1d37ccde1e2d25b9e37c0","datavalue":{"value":"1421.93053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190116$AE31F6EA-0F3E-4E05-BB60-C9C01D297FE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a85a7e22d3ef6eef487202a14f114336b82534dd","datavalue":{"value":"10.1007/978-3-662-44584-6_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190116$BA0BAF32-C994-4994-8D21-CA4961FC21DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14dba23157fff59c506ec932698c3eefbed1da56","datavalue":{"value":{"entity-type":"item","numeric-id":727970,"id":"Q727970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3190116$0743D120-A074-45D7-B44F-C56E3C23092E","rank":"normal"},{"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":"Q3190116$5602685D-BC0B-48C9-A8DF-974CC2253F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b71c6abced956d6f8d54fc8b64de4664f3c9000","datavalue":{"value":{"entity-type":"item","numeric-id":1641027,"id":"Q1641027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3190116$F3E4CBA4-B207-43C5-A126-3042EB10A939","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"86291768d824471544e7172134ed7e1910c45b89","datavalue":{"value":{"entity-type":"item","numeric-id":3190104,"id":"Q3190104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3190116$BF8F49F9-8263-4698-B0CE-F0791C9B4BD9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8555c1b8507b50ae47f31acfa7e2d2e9024da56b","datavalue":{"value":{"time":"+2014-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3190116$C2F1AC29-A813-4759-8D7D-051D224ADA15","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9c2fecf3ec79ca3841dc80e7a03db64ecaa7834","datavalue":{"value":"https://ora.ox.ac.uk/objects/uuid:3e96880c-9ffe-401b-bdd9-67a01a44be56","type":"string"},"datatype":"url"},"type":"statement","id":"Q3190116$4C9D398E-B87D-4681-BA75-D85AD971492A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190116$4E1EC1C4-75DB-4C40-8235-05B483D05C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f34675a74b150d19473221b06b085ebc8156162","datavalue":{"value":"91A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190116$BA7B0429-B0C0-41DB-AE2B-05483CF72441","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47e98bf20046a388d7b46660e5e08348908ddc0d","datavalue":{"value":"6344622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190116$3EC52FBF-D66B-429A-8858-B35C5287C463","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5946a51a5884d5e86db7472d96ff43e6ea9b65f","datavalue":{"value":"stochastic games","type":"string"},"datatype":"string"},"type":"statement","id":"Q3190116$FCB2A4EF-8EDD-4D54-AF46-CFDC477E086D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d77521d995b00a7ce9fc2f9d899c30e96fbee6a","datavalue":{"value":"controller synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3190116$F086CDFC-D043-49BE-BB34-62B473F2BA30","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":"Q3190116$5E84FB98-72EF-47FA-BB9C-9F8BA799E7A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad46f661988b5c790e51a45ad967f44c6144dca5","datavalue":{"value":"W1659646318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190116$C2E4E95E-4291-4E94-B0D8-6621560DED4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeeb50af91fa32c34158d46b77ba63904cc71ec7","datavalue":{"value":{"entity-type":"item","numeric-id":1641028,"id":"Q1641028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9dd856835460a3640924e6089666009ff0246a5","datavalue":{"value":{"amount":"+0.9094434380531312","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":"Q3190116$4D24F103-F86B-4C25-82C6-EAAF6897851B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f8108225661709c6fe6b03b4394fa5500a39cc0","datavalue":{"value":{"entity-type":"item","numeric-id":2103672,"id":"Q2103672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"269cbc6bc857093f398321157437d72be65faed0","datavalue":{"value":{"amount":"+0.7975808382034302","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":"Q3190116$CBF9EF89-532F-468A-ACAD-480713C36C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01f3c17b25d9847962dd635dc46fa997dc3ffdb0","datavalue":{"value":{"entity-type":"item","numeric-id":2996144,"id":"Q2996144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"982cd13e0a7f4ad99f681feb27aaeceff2f871b7","datavalue":{"value":{"amount":"+0.7967402935028076","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":"Q3190116$0B5E4449-7866-40E3-ADFA-20151676264D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7a4018e821bdb901a10180fff8846671494feb6","datavalue":{"value":{"entity-type":"item","numeric-id":3090853,"id":"Q3090853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f24f25ca77a6b1bbe2857a9f59e58bff5018d4f","datavalue":{"value":{"amount":"+0.7917394638061523","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":"Q3190116$737C2747-D130-4126-8C83-FBABBDDC2622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db0bca778fbd9af2b49825a090252e539db2dab2","datavalue":{"value":{"entity-type":"item","numeric-id":5194953,"id":"Q5194953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a0000fc7a6023228733af645031830f63222aa4","datavalue":{"value":{"amount":"+0.7874801158905029","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":"Q3190116$97895CDE-82EA-4239-BFB9-950F1720F560","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional controller synthesis for stochastic games","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_controller_synthesis_for_stochastic_games"}}}}}