{"entities":{"Q5178768":{"pageid":7208340,"ns":120,"title":"Item:Q5178768","lastrevid":58469934,"modified":"2026-04-05T08:51:35Z","type":"item","id":"Q5178768","labels":{"en":{"language":"en","value":"Deciding \\(k\\)CFA is complete for EXPTIME"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6415851"}},"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":"Q5178768$40C42673-B15F-4E6F-A6EF-DA18518679CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e698496a5c5132e55268899fcd5865d33dfccb8e","datavalue":{"value":{"text":"Deciding             <i>k</i>             CFA is complete for EXPTIME","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5178768$FF25B0B4-6C9D-4586-A9E7-10A8249A687D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"975fa48a4183a54a6c9f834ac4a3d407a7f5658f","datavalue":{"value":"1323.68309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178768$29C5347F-C543-41C5-88B4-5BB8C111DB25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"698aab7d8b44ae8a84cc5fa1d90e80927bdfb9ce","datavalue":{"value":"10.1145/1411204.1411243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178768$66D43642-2152-41D8-92D5-64955861D557","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dfe8e697dde8bf1003cd4a4fc5d8975b7fbc356","datavalue":{"value":{"entity-type":"item","numeric-id":2802429,"id":"Q2802429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178768$698454AE-7AEA-4E66-AB2B-B53497DE0565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be8aa6a584af6ab1dfc32be732b34caa5aaa87e6","datavalue":{"value":{"entity-type":"item","numeric-id":1198970,"id":"Q1198970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178768$228D14D6-2A25-4982-8AD6-7ED397A264BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6fcd26fe34a7006f4256abb2f15c1ce3abe759df","datavalue":{"value":{"entity-type":"item","numeric-id":5178747,"id":"Q5178747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178768$275AF4DC-2B1C-4B29-9820-593E67BF4D65","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f27bc284e85649ed8ad3a0b04193a152f9707a9","datavalue":{"value":{"time":"+2015-03-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5178768$BF1F28BC-1588-4727-9B2C-988A05A6087C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ffa1bf0ece7548e53dc9fdedbf95a9c788f9030","datavalue":{"value":"https://arxiv.org/abs/1311.5810","type":"string"},"datatype":"url"},"type":"statement","id":"Q5178768$32D8CA4F-6D79-4A23-BD1F-1B9EB08F7085","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178768$702DF81E-41D6-4B82-9C4A-ECBAE006692F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178768$9F92A67C-E4EA-4FC8-9B38-FBD0ACAB559C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178768$8D97FD28-1114-4A1A-8F6D-CC57C1814B06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"493c7f89f3c3e59a13ff7924ac91b59e6e0e671e","datavalue":{"value":"6415851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178768$B5EA29CD-F2BE-471D-8E16-AD3B4EDCA82E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178768$574950E0-325B-4F7C-A21D-7AB671C19CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abcceed0c85783d65be5b3504f15e79d02b37c59","datavalue":{"value":"flow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178768$AD98DAB3-9D0E-43D9-9E52-CD738820B482","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":"Q5178768$21EC0E5E-8CE0-4A36-8D5F-1A78F669E874","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b568cea7f000e6ee2c4e53ea2808799da5097f43","datavalue":{"value":"W2953089209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178768$68B3F0C3-2090-40E9-B591-364B17B68851","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e7365b8701e4bbdfdc5274c8cb7f9cdc826dc56","datavalue":{"value":{"entity-type":"item","numeric-id":5168927,"id":"Q5168927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc7d5a848fa6a3b067b688b56e016d556ceccd69","datavalue":{"value":{"amount":"+0.8513188362121582","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":"Q5178768$6DF175E9-B289-445B-8628-B68447262F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a9bde6cd7eae46184d1ef85da57aefdfc9f4a8","datavalue":{"value":{"entity-type":"item","numeric-id":2763677,"id":"Q2763677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c0b8c6775ea275b58949d0558ac6223236a745d","datavalue":{"value":{"amount":"+0.7086540460586548","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":"Q5178768$B7D5A894-8B49-411B-96B6-B41AEF1F7665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0799e8c034b999d7d63955690ae84cb06442b136","datavalue":{"value":{"entity-type":"item","numeric-id":2900270,"id":"Q2900270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c7d6427a3af8aca8310ca3df721356c8c31692c","datavalue":{"value":{"amount":"+0.70749431848526","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":"Q5178768$2445FAE9-D675-4A5F-86FA-84A89DF0F725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfba4c6bb3254427b3a4759ccf3be9eb052b61f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178843,"id":"Q5178843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a44becc316ee5e974fe544e870ed859888afdd8","datavalue":{"value":{"amount":"+0.7049201130867004","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":"Q5178768$E99FF79E-0B29-42FD-A920-2B4D8B7C60E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0df2998b17a23087f75ba29493687713c5837fba","datavalue":{"value":{"entity-type":"item","numeric-id":3522075,"id":"Q3522075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b95d7b469d58a3d6d889a5dd4cd0973cb5ef259","datavalue":{"value":{"amount":"+0.69215327501297","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":"Q5178768$3C052C3E-220A-4D17-B8BF-0F69D3A69CB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5178768","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5178768"}}}}}