{"entities":{"Q3584931":{"pageid":5614835,"ns":120,"title":"Item:Q3584931","lastrevid":90331160,"modified":"2026-06-04T19:53:59Z","type":"item","id":"Q3584931","labels":{"en":{"language":"en","value":"Stochastic Real-Time Games with Qualitative Timed Automata Objectives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5776463"}},"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":"Q3584931$7A28FE5D-815C-4CE1-A859-F17C74E68F01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"971b23d18bf26d90accbf98fd32625dbc687ad64","datavalue":{"value":{"text":"Stochastic Real-Time Games with Qualitative Timed Automata Objectives","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3584931$3C5D9583-7A2C-48DF-ACAE-D01DE7F66FEC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30e907ea93552eba7c417654f55eb8cc99427011","datavalue":{"value":"1287.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584931$206FBDC4-64F2-4392-A5DC-1D8BC50E155B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e7067f6b180c930ed5224291d52815399c580cb","datavalue":{"value":"10.1007/978-3-642-15375-4_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584931$29AF7078-DFBA-4B68-8C50-4D5BAEBC1B36","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":"Q3584931$266B8E65-B63C-47BA-8EC4-248215EA4DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"27a1503036b580a7920e1816521ceb8e07b853d6","datavalue":{"value":{"entity-type":"item","numeric-id":1951599,"id":"Q1951599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584931$249D1381-942D-4449-BEA4-917BD2DCEF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e4018f669876a5819cf16362b14fc078dbd59d6","datavalue":{"value":{"entity-type":"item","numeric-id":690503,"id":"Q690503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584931$F43A24A6-2F50-42E5-9C35-099AFACD5018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df947b76f92cbda5e54e048fb6e7e1d050d26bfc","datavalue":{"value":{"entity-type":"item","numeric-id":1006889,"id":"Q1006889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584931$B43B1B00-5522-400E-B5BD-46F50B0F2950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3e518c334d462c26c60c459e716d0942607e70d","datavalue":{"value":{"entity-type":"item","numeric-id":235697,"id":"Q235697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584931$B64966E6-8ECC-43F2-882E-994A8C3F165A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"405abd31eec1b567fb53a842d4fed5a014e7096f","datavalue":{"value":{"entity-type":"item","numeric-id":3584918,"id":"Q3584918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584931$3807AD4D-C135-4D04-A38D-10DBA750764C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb30be9aa52453b28e16b3393b2ab68c6420e54e","datavalue":{"value":{"time":"+2010-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3584931$DB899A8E-A427-462E-9635-C8C67A197ACB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74136fc08dc965fde838fa3b880a6c1bf54cf969","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.224.9498","type":"string"},"datatype":"url"},"type":"statement","id":"Q3584931$789E0D63-BCEE-4B16-BF22-03AF702DA6C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584931$500CAAE2-A2F5-41F3-A71A-542B246CB688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584931$6D3112E1-182A-4F43-9EF6-772D68608F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584931$1EE655D1-4EA9-4273-9C03-089EBBC1475A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f34675a74b150d19473221b06b085ebc8156162","datavalue":{"value":"91A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584931$8C33B3E1-1D9C-49FF-BDE0-05215B98FB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584931$37372FB0-01AB-4EBB-BCDE-1A46EB0F50C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea50106e66bcc4b342b56bbe7ba96c6eca1d469a","datavalue":{"value":"5776463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584931$CC19491F-98C3-4AAA-812C-B2BD7D228552","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":"Q3584931$514F6C85-0E18-40D1-A6F7-21E5AA603C99","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d584fe76ff14b93d059e0fa25d7adc8ad1da334","datavalue":{"value":"W1481037403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584931$3C442541-6A19-4D0D-8A6A-47BFFBADA6A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af635cfe46cc8d109f58b1ea11cb5e3ee0142ee1","datavalue":{"value":{"entity-type":"item","numeric-id":3648833,"id":"Q3648833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93bac21345eb9292260761fe0d7393334192fd7a","datavalue":{"value":{"amount":"+0.9118603","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3584931$7C9DD68B-DF51-425F-AB7B-5B863F26BBCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c761f71f2725ee2d8240f37feba2260c26a04a9","datavalue":{"value":{"entity-type":"item","numeric-id":4608565,"id":"Q4608565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1a96b71ac426d74d8cf358999d0f988f2772fad","datavalue":{"value":{"amount":"+0.90419346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3584931$F210B069-9335-452F-912C-319B5FBB5D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df3ded9461b34fbdef1d047ea6c4e7451bd64a01","datavalue":{"value":{"entity-type":"item","numeric-id":3638089,"id":"Q3638089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9dd1b8dfedfb8e06dfdf634498f9b80c58c3edf","datavalue":{"value":{"amount":"+0.90242827","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3584931$6E01A879-D8C3-488E-BA9C-8E12C961E239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05ca667b81cc4da7a803ded53555710c6946a1a3","datavalue":{"value":{"entity-type":"item","numeric-id":2636513,"id":"Q2636513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b738717990b94b85b544799e14335a1e2ea28ea","datavalue":{"value":{"amount":"+0.891603","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3584931$7D41CBCC-E338-422C-A5B9-8684EA390B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fc093f0c61accf22ff47ff0122cbd8cfdd44806","datavalue":{"value":{"entity-type":"item","numeric-id":3447704,"id":"Q3447704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b738717990b94b85b544799e14335a1e2ea28ea","datavalue":{"value":{"amount":"+0.891603","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3584931$3F5056E6-5385-44A1-8FE1-09925A99D03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a751f64183c4c5bca69731334b10d7ac65ba479","datavalue":{"value":{"entity-type":"item","numeric-id":3190118,"id":"Q3190118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0e262c9e65ec5d8c631973b11ab60acb7672ac2","datavalue":{"value":{"amount":"+0.8915157","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3584931$925B7352-B8CD-48D9-8EE5-A2BECF0D428A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec94ff7567d8465d29136fdd773acc78b9e61efb","datavalue":{"value":{"entity-type":"item","numeric-id":3000613,"id":"Q3000613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd50586cc4198f8a28c797d120cdceffdc1b8864","datavalue":{"value":{"amount":"+0.8870445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3584931$48E84BF8-9C76-4C11-BE59-D18B537E3DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fea44dad9bbb9a070b72fdd9d0fc9f81892e318b","datavalue":{"value":{"entity-type":"item","numeric-id":2018058,"id":"Q2018058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd50586cc4198f8a28c797d120cdceffdc1b8864","datavalue":{"value":{"amount":"+0.8870445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3584931$FFA763D4-5106-404F-9AD0-D75A84F2FDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14380a7508591f79a0a28c3798f717a15fc6b581","datavalue":{"value":{"entity-type":"item","numeric-id":5428863,"id":"Q5428863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"737100e20578a0a90c8a60b4ede02084ad4cb19a","datavalue":{"value":{"amount":"+0.8826289","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3584931$4BE01A0E-55EF-4CF9-9C6B-37CF87034319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a979a0508663df222d5e8c10a106e85b935b01c9","datavalue":{"value":{"entity-type":"item","numeric-id":3167005,"id":"Q3167005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ff7a1950963496311050fa91b71d711aa2df185","datavalue":{"value":{"amount":"+0.87923425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3584931$796DF14A-F101-4C19-A245-B7F9A3B4576C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stochastic Real-Time Games with Qualitative Timed Automata Objectives","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Stochastic_Real-Time_Games_with_Qualitative_Timed_Automata_Objectives"}}}}}