{"entities":{"Q6859905":{"pageid":20656063,"ns":120,"title":"Item:Q6859905","lastrevid":84252434,"modified":"2026-05-14T05:39:49Z","type":"item","id":"Q6859905","labels":{"en":{"language":"en","value":"A PSPACE algorithm for almost-sure rabin objectives in multi-environment MDPs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8158338"}},"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":"Q6859905$4525E4E2-0311-418A-A445-6F3BA51E5ED3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92c06d752c1408406c8207988cf00b8995e4ddc2","datavalue":{"value":{"text":"A PSPACE algorithm for almost-sure rabin objectives in multi-environment MDPs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6859905$627BB68C-8507-4C2A-96F6-A866D4F7A01F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f53823da17ba21470aa412bc95855d99d397e74","datavalue":{"value":"10.4230/LIPICS.CONCUR.2024.40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859905$7F67F4E4-A394-46CD-B142-D3F89ED68A9B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40c882463a0dee360d3f458fd8680279c99f64ef","datavalue":{"value":{"entity-type":"item","numeric-id":6333326,"id":"Q6333326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859905$6794D28E-2CDC-4B5D-8857-C92EA8A5CB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65824cb3eecb981c6c4e8240dc0878c26ae9d0da","datavalue":{"value":{"entity-type":"item","numeric-id":6535372,"id":"Q6535372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859905$C90D747D-E76F-4D88-8DB5-1AB0E3C11072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75ef31944b5821ac2278e65baa6cb79a07bb5617","datavalue":{"value":{"entity-type":"item","numeric-id":832289,"id":"Q832289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859905$F634C12F-BA9F-4F84-A6E4-72D2152C4370","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f115c6be43614d2596ce7cf4daadf566de48c39","datavalue":{"value":{"time":"+2026-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6859905$9A9ABD12-49A3-4199-8C2C-5A49B1E01F21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859905$7AF2E18A-B1EA-4528-A931-0B74D681C67D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f160fa2046f4ad0daf07bee7c29281d67777fe76","datavalue":{"value":"8158338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859905$C02B616F-3814-4932-AFF7-C06ED5B88484","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859905$2C01C888-2E2D-4DBF-8446-6624C2C911A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbd1f99995fb6a13da62a377ba6327166316e976","datavalue":{"value":"Markov decision processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859905$156D266A-E507-497F-ABFF-94664EC3B3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"645ae8fabef2013167a294ff9acf303368b62840","datavalue":{"value":"partial observability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859905$42BBCB73-1A54-42EC-938A-1F9DC810F94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6b981861ce25a09dde33e5eb76bcaaf2dd72dbf","datavalue":{"value":"linear-time objectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859905$CE61A50E-12EE-4E79-90A7-530020A4AAC1","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":"Q6859905$1C14D8C6-D08E-43D3-BDD5-70BB003CF18F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb77c08f5e436d6afd7cb81b66b8aba432248643","datavalue":{"value":{"entity-type":"item","numeric-id":6104800,"id":"Q6104800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859905$9CEBDC86-732F-4ACF-8BAB-4FF3BD45FCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cc03c3f85962ea09495b4b937bc187e5d206f48","datavalue":{"value":{"entity-type":"item","numeric-id":5458366,"id":"Q5458366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859905$829BFAAA-91C7-41A4-B3E7-1034F95DD7CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8691f8690d7a59e388f25e1256663fb561c5ccd8","datavalue":{"value":{"entity-type":"item","numeric-id":5395674,"id":"Q5395674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859905$C3D0E996-9D33-4D92-A62C-65E0EDBE0641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859905$B097EA20-0BC7-4E7E-BAC0-978A5E20C1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94cbc0ad632014d62e69e2e554c71b9c8f7e1971","datavalue":{"value":{"entity-type":"item","numeric-id":5875665,"id":"Q5875665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859905$AC5ECB51-23A0-4D61-89CA-1478676FB52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b17368f3930623ed15c8952fcff2b0e7c9d58c0","datavalue":{"value":{"entity-type":"item","numeric-id":3165948,"id":"Q3165948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859905$99EBBA8B-DF24-49BC-BCE6-49EA85D38D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6f2c7b83db7e74f1e04b42d00ee861f6122d06e","datavalue":{"value":{"entity-type":"item","numeric-id":253969,"id":"Q253969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859905$B1F857BC-2104-49D5-A2D4-85B9EE0BE1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6491e43c96649836eaef6b8a7187403b7c916d90","datavalue":{"value":{"entity-type":"item","numeric-id":269509,"id":"Q269509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859905$2175E5F4-7C93-4960-A0CF-98593FB2F9D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba143373fcdcddc41b7d2850d98b794e563da3ba","datavalue":{"value":{"entity-type":"item","numeric-id":5716836,"id":"Q5716836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859905$665B7186-DC9F-46C0-8530-547A918D887F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59f59f98d960fc44264aad9cb0524c903ffb79d1","datavalue":{"value":{"entity-type":"item","numeric-id":3586089,"id":"Q3586089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859905$3374E2AF-77B9-47B6-A21F-A097D2C023D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69e9a29ecc80627a0cc89632ef849db579cddde0","datavalue":{"value":{"entity-type":"item","numeric-id":5501249,"id":"Q5501249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859905$2E8741FF-A463-4759-B8D4-75D29C2F0EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d098610b739c4a52f36c800c282a7834520f89da","datavalue":{"value":{"entity-type":"item","numeric-id":2986795,"id":"Q2986795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859905$A34E685C-E04E-4016-8EB3-9F236C3089DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45f382e209542af6513620caed22c141a4de48e9","datavalue":{"value":{"entity-type":"item","numeric-id":6053142,"id":"Q6053142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859905$1DF5134C-63BC-446C-A9DB-17E865AE0811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a7c8ba09cbbc9340c9ebe415163dbcd06240439","datavalue":{"value":{"entity-type":"item","numeric-id":2941760,"id":"Q2941760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859905$AFD1B75B-DBD7-4670-B9DE-6AB98E94B4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6edf7ea9bdd463d92d12e0fd8f3d07befdd40614","datavalue":{"value":{"entity-type":"item","numeric-id":2986806,"id":"Q2986806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859905$A200872C-396E-4728-AEDB-35B6B0C9B71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb88dc9dc35f61e61e60466bd4c440ff01861524","datavalue":{"value":{"entity-type":"item","numeric-id":5744808,"id":"Q5744808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859905$E071835E-3282-4145-A828-D41169EB491C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b75484c7028f815d660a12c0f4961432ff9fa02","datavalue":{"value":{"entity-type":"item","numeric-id":3587465,"id":"Q3587465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859905$717E94B7-783E-4000-A9AC-4CA74F8CB0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6034eeae843d1da67f5099f843089ae0d876cd87","datavalue":{"value":{"entity-type":"item","numeric-id":5704221,"id":"Q5704221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859905$D180DC8F-0B16-4785-98E9-DF09E3B4BF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b206b394e6dac1f1c02eb87e5575385ffc1844","datavalue":{"value":{"entity-type":"item","numeric-id":6113987,"id":"Q6113987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859905$46265428-81F1-435B-ABD7-24B6249B1FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b85b9c356c674d214a3997e11514a001d3c46f16","datavalue":{"value":{"entity-type":"item","numeric-id":832296,"id":"Q832296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859905$E3798C82-BC40-42F1-B910-F24A325189C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42b9d9579952d5cb20c7eee1e484c5ede7b57668","datavalue":{"value":{"entity-type":"item","numeric-id":72343,"id":"Q72343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859905$8A5B1595-DC54-488B-88BD-3F915FDF0532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d2cc7d02c03df769cfbba5c30a3b9fccf231a54","datavalue":{"value":{"entity-type":"item","numeric-id":5322137,"id":"Q5322137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859905$E65AD7D7-471E-4545-AB48-32DFCCC6035F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0269a096f2a875a100dc4d87888bbc032af8ce65","datavalue":{"value":{"entity-type":"item","numeric-id":3780028,"id":"Q3780028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859905$E2C8DED5-48D6-40D4-B8A2-BEE1261AE627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42899df5b07f98507ca87f01b80430013eb00ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4315289,"id":"Q4315289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859905$3FC166DB-77DD-408E-9693-5029A9ADB991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37903fdb19e3a915f3982502b6ee0513d911a253","datavalue":{"value":{"entity-type":"item","numeric-id":5426070,"id":"Q5426070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859905$BB3C3CC3-E7D1-43FC-8E26-9CD8F4600158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ebada471f65b3c9a0d1f1b2c94bb88e376a080","datavalue":{"value":{"entity-type":"item","numeric-id":2978542,"id":"Q2978542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859905$6A746C7A-1AB0-4D02-82C5-BF5DA2A8AF92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d87fb6819f7fae6aa01db7ecab46e183c2f4b7a","datavalue":{"value":{"entity-type":"item","numeric-id":6859905,"id":"Q6859905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859905$C15DC968-D92D-4EFB-B51F-E32B321876EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14ad4134e5de63ef1aea85de261f686e412c7c3d","datavalue":{"value":{"entity-type":"item","numeric-id":6535373,"id":"Q6535373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859905$179BD61D-2A3F-47D2-857E-6A141F04A746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dee4d5fd4ce5215e896c056597aa8f3f4a91602","datavalue":{"value":{"entity-type":"item","numeric-id":5875375,"id":"Q5875375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859905$50732935-181E-4353-9D21-930616B21FCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A PSPACE algorithm for almost-sure rabin objectives in multi-environment MDPs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_PSPACE_algorithm_for_almost-sure_rabin_objectives_in_multi-environment_MDPs"}}}}}