{"entities":{"Q4635664":{"pageid":6665245,"ns":120,"title":"Item:Q4635664","lastrevid":58314486,"modified":"2026-04-04T16:43:10Z","type":"item","id":"Q4635664","labels":{"en":{"language":"en","value":"Finite-memory strategy synthesis for robust multidimensional mean-payoff objectives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863137"}},"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":"Q4635664$28DA0D78-4E4C-421B-8C02-315E692A8988","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8bb0f64eb3a4604c8f47aa23dd321939b13b99d7","datavalue":{"value":{"text":"Finite-memory strategy synthesis for robust multidimensional mean-payoff objectives","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635664$72D77EA9-858D-43BC-91F2-4FBE40E45B5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1434a6feb435f3ba3005f6d932fb3e870079cc1","datavalue":{"value":"1401.91035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635664$3EDA47B8-AD6A-4344-AA65-06EB575D5143","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01b08590788edd2ccf5c16da3342f5f52631ab24","datavalue":{"value":"10.1145/2603088.2603096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635664$C0AA6E89-8BD5-43C8-9EF1-CFBB86FC7C78","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6572bdac0e197f580103bb5e9b289936a884acc4","datavalue":{"value":{"entity-type":"item","numeric-id":4635585,"id":"Q4635585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635664$60A24B0A-0494-4EE1-88CD-04C31773F3A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635664$02C7518A-6247-44FD-A114-578DD1A402D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d14af18adb46c31fcf052e6a868811bc50aa159a","datavalue":{"value":"https://arxiv.org/abs/1209.1007","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635664$B7A2BE7E-F22A-498C-BD7B-263CCFCCADD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635664$69C2A8DE-FB8A-4BC2-B4B9-6C1639B0C007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635664$F06A3FAC-45A8-411F-872D-4E11BA31DF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635664$6A131D41-8829-49F7-8622-5AB5E78645C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635664$D1043187-1A56-4428-81F9-266D7D51F905","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5b746ccbddcac70e1c37bfbd27261304f7fd115","datavalue":{"value":"6863137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635664$4569B26A-7535-4812-BB3A-D9D347C4CFA4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0180d853fbea02ba71da2703974527dd59fa502","datavalue":{"value":"mean-payoff games","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635664$2CC5D287-08DE-4C0F-8D5D-AF060A0BA6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f2ea18a3619cb808d4f4d097b0dee3a085e0d6c","datavalue":{"value":"multidimensional quantitative games on graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635664$F86312BB-91A8-43AF-8FE8-988E5AEF6017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb834ba55dfae28fa2caa2c5712498c6fc425ce1","datavalue":{"value":"quantitative synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635664$C3304404-75F7-40A1-A148-00CBA53D4900","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bdf04a2eda4f33adea02eefb05fb5ab89217254","datavalue":{"value":{"entity-type":"item","numeric-id":2164235,"id":"Q2164235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635664$F9D56BD7-1C65-4EE8-8125-62A1615E2E7B","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":"Q4635664$014D2F3A-454B-44FC-8A29-981CF257591B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"adcde6868d69fb038ed4452b79d54cc5d0521787","datavalue":{"value":"W2008487582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635664$99501502-FF00-4AF2-BDF8-DDB523566053","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ae6d3274dbe37b6415b6f6d0b52ad39e3018974","datavalue":{"value":{"entity-type":"item","numeric-id":5194931,"id":"Q5194931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7faace80add8dee366e30262a61e66ed648fd90c","datavalue":{"value":{"amount":"+0.8835411","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":"Q4635664$374F5158-2A9D-4E65-AA56-6CB337092650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f02850671f8df04ab914243c4a9e6f0475e4909a","datavalue":{"value":{"entity-type":"item","numeric-id":5076693,"id":"Q5076693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cbaee7853b100087cd5809223d5346e4fc71219","datavalue":{"value":{"amount":"+0.88196945","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":"Q4635664$5BFF52D5-B549-488D-9846-78EED5CB7C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91a1a1b00f951f704c8bfb1d322035548e25ace9","datavalue":{"value":{"entity-type":"item","numeric-id":6046744,"id":"Q6046744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f13d2c0e12ea4314564a5789fb9070d9e7d4d747","datavalue":{"value":{"amount":"+0.86578476","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":"Q4635664$9F9EC8F1-A5E3-4B97-A6B9-7EA9F14334BE","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":"03d334900ff72a8e6075f7149eef68fe65d8794d","datavalue":{"value":{"amount":"+0.86173344","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":"Q4635664$A0520F24-8EDD-43C8-88BD-14B941367010","rank":"normal"},{"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":"26a1aea15d97e0c820cf011de5c5688113d9ac6e","datavalue":{"value":{"amount":"+0.85568964","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":"Q4635664$9DAE506C-E0F2-4C27-8404-3843AA0CB111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d315077e117f70d0aecb25409bcd09237707231","datavalue":{"value":{"entity-type":"item","numeric-id":5096097,"id":"Q5096097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7573af8b1ddb8ee4b1b4b4374fb61e3e3254d1a","datavalue":{"value":{"amount":"+0.8535477","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":"Q4635664$33AADCEA-37D0-4DAF-83DF-5DEF18F713A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed4a19ae276e3d2ba52ffdef8144c90a0b9e5890","datavalue":{"value":{"entity-type":"item","numeric-id":1667199,"id":"Q1667199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"671c98c2cd964a1fbb13027d0465b08721ce1072","datavalue":{"value":{"amount":"+0.84590626","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":"Q4635664$7F1FD07E-16A1-49E1-964B-773B4406B6E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3b6193be722039c2bd2ed633a223e83d203b28a","datavalue":{"value":{"entity-type":"item","numeric-id":4305748,"id":"Q4305748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25d7429b9c782e5b2251114513963004cc1033f9","datavalue":{"value":{"amount":"+0.844348","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":"Q4635664$D2290870-2CCA-4EF6-A8A6-75172C481EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce108f894245d113cfb519c40276d07208f833e","datavalue":{"value":{"entity-type":"item","numeric-id":5758043,"id":"Q5758043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e73468f077edf2fb0c361a9722fc50ba8b90edb","datavalue":{"value":{"amount":"+0.84164333","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":"Q4635664$8CEECB87-D175-4AA4-9508-D78C2AA90471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd3b84c1d630767d00f4969b47cdf503acf16c91","datavalue":{"value":{"entity-type":"item","numeric-id":4635809,"id":"Q4635809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd99593151174f405494940832cbf76b20c210f8","datavalue":{"value":{"amount":"+0.8413185","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":"Q4635664$F250122B-B8FE-4F41-8C56-5B543924F6BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635664","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635664"}}}}}