{"entities":{"Q3117548":{"pageid":3128264,"ns":120,"title":"Item:Q3117548","lastrevid":45479095,"modified":"2025-12-09T06:48:47Z","type":"item","id":"Q3117548","labels":{"en":{"language":"en","value":"Recursive algorithm for parity games requires exponential time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6009787"}},"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":"Q3117548$22E5D427-B868-4F38-9704-BF96A174A44D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"030e09b147dfb73d47b865a26dfafd1e47e7b070","datavalue":{"value":{"text":"Recursive algorithm for parity games requires exponential time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3117548$FE3CCD94-FDB7-4EA6-AE9A-21CF4CC62E45","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9cf7e9909504cffa9cc4e1de7ac98b97d90e045d","datavalue":{"value":"1232.91064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3117548$9D5677F2-FAF3-45C9-AB3B-21C4DA3B221F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4837f0d122d5493100cf3a55fa0f0b33a2b57f68","datavalue":{"value":{"entity-type":"item","numeric-id":507320,"id":"Q507320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3117548$A124BF1A-9F88-44CA-ACE1-79EEEC7D21D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3117548$EE290B8D-6A78-4036-8E89-2BBEF0C2F64A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a0a369d6b53415946ad205773a6ef61f64147422","datavalue":{"value":{"time":"+2012-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3117548$958A1E9B-E9E4-4218-B3D9-E9465E0B4767","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a39998c295756631f95eca5250d470f54088c0b","datavalue":{"value":"https://eudml.org/doc/222001","type":"string"},"datatype":"url"},"type":"statement","id":"Q3117548$33D53EF3-BEC7-4A35-A79E-6EEAB263F477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"51fca815beadf59370c126d7f5edccd54f902b00","datavalue":{"value":"https://semanticscholar.org/paper/138da3e923d1670171afb2d8438e3996b5fde8bd","type":"string"},"datatype":"url"},"type":"statement","id":"Q3117548$1D7C8EFC-8557-4F1E-B6FA-9AB1CAF2DC55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3117548$7048D388-BD09-4AA4-BFD9-C3D941697126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3117548$AD2A0B55-9973-403C-9173-7E3FCABD5461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1be7cda1f2fda1d13448035bf1c8e3fcef0c4ff8","datavalue":{"value":"05C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3117548$5BA7BE74-36DB-43BB-B526-88B65B80E5CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c9e3a12dd929e587a36388da2a691e9adaf6b9c","datavalue":{"value":"6009787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3117548$94D49E31-0EC7-4992-B55A-0D7AE1A25327","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b277d5c1fdcf85c420ab8edc13f2c16380fbc05","datavalue":{"value":"parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q3117548$F147BA29-A244-46F2-AFF9-DAB4455DF7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de50abe28b132f30830c7ff0ecfe03db67a7c9dc","datavalue":{"value":"recursive algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3117548$BE38E607-FE57-4F2E-AB92-633DDE211A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f1814ebfb0c5873f215208cab188392d4def9a","datavalue":{"value":"lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q3117548$F2FD1134-65B6-4196-B486-E3101C320DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3117548$4B84B06D-C74C-47E4-BA19-4065674A05F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3117548$D20AEA3A-B934-40D9-8C64-63EC4A910F11","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0ef557ffcda9627b52809b9f15010666acbec250","datavalue":{"value":{"entity-type":"item","numeric-id":25960,"id":"Q25960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3117548$BEF29F88-ABD9-4ED6-AC3E-C89A41356B4A","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":"Q3117548$526169DB-6EA9-4FB5-AECA-781BD2A8E848","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"29d6f5b4816c3fe8d2192d21732c90c653cdc8f7","datavalue":{"value":"W2047201474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3117548$BDD7CFDA-18D3-47D8-A396-B0AF27EE550C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfd2e4db8ae14bb54e69255b03ddfbd8c1e28a91","datavalue":{"value":{"entity-type":"item","numeric-id":5941205,"id":"Q5941205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3117548$9FA6EAA4-E942-489B-90E5-9CF84334EDB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"992b6ec142ea2c9384e4c75b8982ca586e3de7f4","datavalue":{"value":{"entity-type":"item","numeric-id":3648698,"id":"Q3648698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3117548$D398DCD8-4D53-452F-8368-1A27B8E4732A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10911b7c11acce5de411682ea3cd88f86fd199b0","datavalue":{"value":{"entity-type":"item","numeric-id":293426,"id":"Q293426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3117548$9F4675D3-BBDE-4DAD-84AE-74756C4C62EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825b6872a15bf96d878b4c4ae9a99b55a4097d9d","datavalue":{"value":{"entity-type":"item","numeric-id":4501540,"id":"Q4501540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3117548$8F7CBEDB-C3E1-452B-8D86-33E65130CA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fabb53d94e6bb00bb8b3d3465267d3bce30f3d6","datavalue":{"value":{"entity-type":"item","numeric-id":3581528,"id":"Q3581528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3117548$9BB31B6A-AEB3-4D58-AA64-8550ACB7E3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"745077e22ddc390f24ea65ee95fe67c9ea537546","datavalue":{"value":{"entity-type":"item","numeric-id":5458856,"id":"Q5458856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3117548$CA7C022D-0197-4FC8-9159-8F0CDDE12B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f78c8a6aeffe4bc55f3d7fb548c07dff4762066","datavalue":{"value":{"entity-type":"item","numeric-id":3540191,"id":"Q3540191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3117548$601E51CA-DE48-41D3-B49E-A5FF6726C21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0a0dce92881d00910fd403b575b6fcaa5d9e31f","datavalue":{"value":{"entity-type":"item","numeric-id":2754084,"id":"Q2754084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3117548$806CC745-473C-443B-8F4A-34E417EE5A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee0f06f8149ad9449d52f3e00709cc707f14bc42","datavalue":{"value":{"entity-type":"item","numeric-id":1276252,"id":"Q1276252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3117548$7DE50820-0967-476B-8D17-0B68DF4B7EDD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39b74048e611c4a50c2bec3366375ac9d3a18386","datavalue":{"value":"10.1051/ITA/2011124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3117548$CC5C5311-7D3F-407B-9880-2BCA2D99D82F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f42d29b6b92a9430827758bc703c986c0e92692f","datavalue":{"value":{"entity-type":"item","numeric-id":5028462,"id":"Q5028462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e13f2b40b7fb92c055801ef8336d62592be31fd","datavalue":{"value":{"amount":"+0.8926077","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":"Q3117548$3C5F61FB-E9B1-4F90-9A23-F430C1F60D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"397ab025667ac7422f59dacf3823bb8d525e1b9a","datavalue":{"value":{"entity-type":"item","numeric-id":3569271,"id":"Q3569271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"350f7ca2259c5611d6b60995c9bd51ff1acdd442","datavalue":{"value":{"amount":"+0.88145566","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":"Q3117548$E01006A2-E67A-44A4-B2E2-CCA0086A07DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d66b5ed37fc8237ca187eca3f0102cabefccfb65","datavalue":{"value":{"entity-type":"item","numeric-id":4412830,"id":"Q4412830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9762eaaf699ac4c4fab4fc01e817ff1149112845","datavalue":{"value":{"amount":"+0.8736425","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":"Q3117548$53CEA318-4274-4F0A-A8E2-8D98EFC89F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a40f139880d0499f5570caf713dc680fd07a0aff","datavalue":{"value":{"entity-type":"item","numeric-id":3172529,"id":"Q3172529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25e717a00f8103c15d9a588ba6c911e97d1641cc","datavalue":{"value":{"amount":"+0.87185013","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":"Q3117548$879AF8F4-5701-4A0A-9DFC-B56B2A6C382F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0584c4dbf9e81e6cff37e3e768208b9a3ba2a81f","datavalue":{"value":{"entity-type":"item","numeric-id":2946404,"id":"Q2946404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3147b3e40fef687ac7ca5b24f10bf11c075ffda","datavalue":{"value":{"amount":"+0.87083316","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":"Q3117548$B28E6C02-D768-4085-98CF-CD482DB15308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"827a33239621bc17e2cdfa87b6e66625111c357a","datavalue":{"value":{"entity-type":"item","numeric-id":3395043,"id":"Q3395043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d9959c1ac200ffa72affb9c3e91f7f44808ba43","datavalue":{"value":{"amount":"+0.86852336","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":"Q3117548$9F7056C2-FBFD-4D72-A2E4-26B9122563BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b40e62fa74f4d7450c6cd95095c60c1c3cffb9c","datavalue":{"value":{"entity-type":"item","numeric-id":4418690,"id":"Q4418690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"950578437f287b501c2d15653fdd00a2755ee31d","datavalue":{"value":{"amount":"+0.86487186","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":"Q3117548$73C3EF03-D85B-482B-8DB0-D182EDADBF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95848f5115ebe84b0c8c939ddc4d276ebcd3559b","datavalue":{"value":{"entity-type":"item","numeric-id":5092368,"id":"Q5092368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24fcb2a1294fd8dfa64f2be3f627724e77f765ac","datavalue":{"value":{"amount":"+0.86307734","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":"Q3117548$67195D2F-894B-494B-B02D-22D005E8168C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27612b29d85ba8a4c63ad945ed681c3b6d5b55a4","datavalue":{"value":{"entity-type":"item","numeric-id":2765924,"id":"Q2765924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b907072b3b928f691bc376f189f78760e0d6a71b","datavalue":{"value":{"amount":"+0.85652363","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":"Q3117548$94D16ECA-DCA8-4F21-B56C-047C990A6B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cd8e1dae877589da48ce30d6557d2d756d6e458","datavalue":{"value":{"entity-type":"item","numeric-id":5694972,"id":"Q5694972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74d6d878ca6ecd0ec325a04503e578a7d959c167","datavalue":{"value":{"amount":"+0.8521335","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":"Q3117548$AFB6267C-965C-4F53-9C45-C74E199A2E57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3117548","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3117548"}}}}}