{"entities":{"Q3431973":{"pageid":3442676,"ns":120,"title":"Item:Q3431973","lastrevid":80462240,"modified":"2026-05-06T16:15:14Z","type":"item","id":"Q3431973","labels":{"en":{"language":"en","value":"ATL Satisfiability is Indeed EXPTIME-complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5142596"}},"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":"Q3431973$676262A7-0F31-456B-9006-B568A67F849A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7b04d64293f510fd17b21a3cee553a9082e859d","datavalue":{"value":{"text":"ATL Satisfiability is Indeed EXPTIME-complete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3431973$FFDFBBA3-FBEF-480D-8B38-FD49C5F9F6BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b5c2a8bec015758ebfd3a088f56cba5eb00e23d","datavalue":{"value":"1118.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431973$5BD65544-41F7-46AB-8D0C-E1655EF9DEDE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bd5fda30e97b95ac04e7ba16505b8fcc3a4cafc","datavalue":{"value":{"entity-type":"item","numeric-id":868029,"id":"Q868029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431973$86A469D9-E488-4581-85F8-A581B6CF73C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22db3ca50466332b07467138807079dd11905aeb","datavalue":{"value":{"entity-type":"item","numeric-id":420807,"id":"Q420807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431973$8B1DD48E-1CAA-4EEE-8245-1D55CA9E67C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76722ee993ef1bba5eff4ce8b9dbe5e1d07862be","datavalue":{"value":{"entity-type":"item","numeric-id":239516,"id":"Q239516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431973$06E96B4F-C75D-44DC-904F-7B0ADF03EF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31fb02981f4d83094589dc387feedb07b22856a3","datavalue":{"value":{"entity-type":"item","numeric-id":310096,"id":"Q310096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431973$415AC2A6-D81A-44A1-B9ED-ABE3A382E244","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e086009e2064e6604f7111e0363ab46c19c8ced","datavalue":{"value":{"time":"+2007-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3431973$C9CD4392-9B29-43EC-BE37-B23AABFEB492","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"851bceed8479a55f118642e08b1b77dd2df35dc0","datavalue":{"value":"https://semanticscholar.org/paper/b12d3794a384ce42c0c1b7d7a5e1898eb904578d","type":"string"},"datatype":"url"},"type":"statement","id":"Q3431973$05CCBEAE-E1FC-4FCB-BA01-0C1B7CEEE736","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431973$7BB02670-0DB2-426C-A680-7DA8981A2CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431973$53DAB037-E4E5-4E04-A5C0-00B00B942F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431973$465B30B3-8B1A-4A9C-875E-5E4AD76A78DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431973$B40866EA-4AD9-4927-8815-389E981E2420","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de57f5d09fbb1eac4afaaeb53636387748a3de46","datavalue":{"value":"5142596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431973$9BDD39FD-24CB-4357-BD48-16E0D1AADDD9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ae521718438d9dae164938ac201015537dd61f","datavalue":{"value":"alternating-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431973$667E7F3C-5AC9-48AD-861E-56472A559B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431973$4109EC8D-012F-47DC-B2BE-11892C1F25C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431973$733FE226-417D-4C9F-B6F7-23C2D79541D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28c0277604a90873fa955d60191e96f2afa9e99c","datavalue":{"value":"elimination construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431973$D28E1031-E2EB-4356-BE3A-1F083DF566EF","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":"Q3431973$CEFCC59C-70BD-4431-9088-C881D1E7DB91","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7676e3740f8036fd8386220d25fd644118576e63","datavalue":{"value":"W1982773655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431973$FF53EACE-4C3D-4757-A39A-0AC10E6C4250","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"478678d871277c6579e2fa688c41a2b4b698b3c8","datavalue":{"value":"10.1093/LOGCOM/EXL009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431973$E0280E50-BFDA-4101-83FF-734965C59270","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431973$E5C07AC3-D4A7-4565-8082-68C8D189AD7C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dcaa61ccfe2fbe8e49c050ac695308cf064130e","datavalue":{"value":{"entity-type":"item","numeric-id":3519515,"id":"Q3519515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de6afc3e833fa85cd0da188f0ed0ab9c8bf31cd7","datavalue":{"value":{"amount":"+0.8626120686531067","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":"Q3431973$92BD149A-93EE-498C-A5F5-D3AC9BEDA252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a758e31b118fbf79943aa7ff50361510c2d3f0f8","datavalue":{"value":{"entity-type":"item","numeric-id":5758039,"id":"Q5758039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73800f242c1619fe776d38d7a302f04f35a7c2ba","datavalue":{"value":{"amount":"+0.8457664847373962","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":"Q3431973$DA04E164-5B3A-4AE5-9CA5-68AD7B4AB0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4528fc1117a9ea3ee248f84fdf749257495eaadc","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bf70dd896ffb82448b113fcc6963c1f9dd3ae9b","datavalue":{"value":{"amount":"+0.8398224711418152","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":"Q3431973$48416D0C-9E91-430A-93E4-78D2F22D55CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e6d6b36f1cdd9e12aa75c2139e1c1312794d065","datavalue":{"value":{"entity-type":"item","numeric-id":2481560,"id":"Q2481560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05e5effb9ddcd03cee87e4666586f71bbd6975d1","datavalue":{"value":{"amount":"+0.8359457850456238","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":"Q3431973$BBC1CE7F-76B2-46E1-9C06-690E7AB3E3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e587b2b75b9de8c5402f573535c0e2cd217d1b34","datavalue":{"value":{"entity-type":"item","numeric-id":3518283,"id":"Q3518283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"900d223588e1b4bf04a6afe52957cd87b954e4e2","datavalue":{"value":{"amount":"+0.8349615335464478","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":"Q3431973$2C8E596C-2C5B-4BC5-BEC6-721BD8ADC53B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ATL Satisfiability is Indeed EXPTIME-complete","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/ATL_Satisfiability_is_Indeed_EXPTIME-complete"}}}}}