{"entities":{"Q3569271":{"pageid":5599175,"ns":120,"title":"Item:Q3569271","lastrevid":51016337,"modified":"2026-01-16T05:36:47Z","type":"item","id":"Q3569271","labels":{"en":{"language":"en","value":"The Stevens-Stirling-algorithm for solving parity games locally requires exponential time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5723426"}},"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":"Q3569271$6800B3D9-985D-44AA-AB8C-AA7C616522B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"262641ea6381ee16fcb7e9872ad3ef831aa6b162","datavalue":{"value":{"text":"THE STEVENS-STIRLING-ALGORITHM FOR SOLVING PARITY GAMES LOCALLY REQUIRES EXPONENTIAL TIME","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3569271$137A73A3-3E1A-4484-B745-2FD8FC41DC33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d0ec85fe20df7969d49d0f4846d1c4d94d191ba","datavalue":{"value":"1188.91044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569271$6D595F11-9384-4486-8630-32D577845028","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbb915671b1356214940e11807ad57079347be30","datavalue":{"value":"10.1142/S0129054110007246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569271$89EEC485-9DAC-41C3-91A6-6B692F7D074B","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":"Q3569271$8AEAE52E-E7DA-4BCD-AA7A-950063C538E4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569271$D637BDA8-CA40-47C2-B7F5-32E82501E3D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fe625bab871652dfcf92a153d45913ff9e7858d","datavalue":{"value":{"time":"+2010-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3569271$705493D2-D6A5-4B88-A71F-77AA8BFFACC7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569271$17849A9F-E842-47C9-84C7-ED294EF01187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569271$790FD0EB-A4ED-45F6-BFFD-805365CA7101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569271$F73D646E-45B2-4E70-A740-CEB1B8FA73C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569271$7BCC842E-8771-4485-B45B-456DDFC70D9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8119fd5581723d4cca54bce86c23eb78c04870f","datavalue":{"value":"5723426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569271$FA77333A-A551-428A-BCED-06A645DDC04D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd86259ee33556a50e7e86823c0d1547e72d38f0","datavalue":{"value":"parity game","type":"string"},"datatype":"string"},"type":"statement","id":"Q3569271$85618188-66DB-4498-8F61-79749F1D19F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f1814ebfb0c5873f215208cab188392d4def9a","datavalue":{"value":"lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q3569271$84D3567B-27B7-477B-B10F-3579DE3B0069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62c2fd65f0f59c2c3a475f200177d6c65c4476e1","datavalue":{"value":"\\(\\mu\\)-calculus model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3569271$A2F3C7C2-7F75-4945-BF62-83E4D39C7DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bbc9efa82915a69ee59aaf67f04b1ac2a13b391","datavalue":{"value":"Stevens-Stirling algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3569271$6EC19EEE-4C13-44A0-BBD4-9116B789C566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acdff49be9e77d661760f4ba2f5331e8c3ab031c","datavalue":{"value":"exponential bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q3569271$5BC9E660-8F4A-4C9F-AA38-B66646E6F535","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":"Q3569271$48A27119-27FC-481A-92AB-E23E210C12E7","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":"Q3569271$F517918A-86B7-4E58-9145-7306F5AE3693","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17189b4c857d3be6c636be15734fe23e81f25a0f","datavalue":{"value":"https://doi.org/10.1142/s0129054110007246","type":"string"},"datatype":"url"},"type":"statement","id":"Q3569271$1D666E05-2E13-47B8-8C8D-019F8EC9FEA8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ed7756a9ddf01c94ee186acb3896a35a2bbb077","datavalue":{"value":"W2147642428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569271$3C336F69-CF60-46A1-B550-42A99865DEEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b13068ff0ccba0f02c5424fd220fb9d40756491f","datavalue":{"value":{"entity-type":"item","numeric-id":3117548,"id":"Q3117548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b073965b3fc449209db76f4392e922b6f3660156","datavalue":{"value":{"amount":"+0.8731012344360352","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":"Q3569271$569DC867-5C5C-4775-9DA2-14794D6A41A6","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":"3d1d904d651cd3eea34373afdc72dec62cd60c84","datavalue":{"value":{"amount":"+0.8062557578086853","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":"Q3569271$0D79C0DA-4099-4B51-A5CF-E1F84C49123D","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":"da970004403468ae75ed0cc7dc4288da9fb70c43","datavalue":{"value":{"amount":"+0.7962120175361633","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":"Q3569271$3E73E7AD-826D-43DD-84F1-9F45CCE8ADFD","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":"8d1e1ac8d123a834278d3651313e4c449e259236","datavalue":{"value":{"amount":"+0.7950746417045593","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":"Q3569271$6ADDCD6E-D887-4588-91D7-35F0973DE2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"907fafe468e5271d3f9b0c62331e555413c8091a","datavalue":{"value":{"entity-type":"item","numeric-id":327255,"id":"Q327255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad827e4effec6afb7a7e2633060c0f7922acb971","datavalue":{"value":{"amount":"+0.7920852899551392","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":"Q3569271$BE64D1A6-07B2-4972-B2E8-6DEA11BB98E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3569271","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3569271"}}}}}