{"entities":{"Q2368988":{"pageid":2379731,"ns":120,"title":"Item:Q2368988","lastrevid":49821679,"modified":"2026-01-11T01:41:59Z","type":"item","id":"Q2368988","labels":{"en":{"language":"en","value":"Complete axiomatization and decidability of alternating-time temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5020388"}},"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":"Q2368988$C4CF83C1-E6BD-472D-8C7D-9F1BBDDF469E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3aa63f067b7526fb79e93445499a363a4c4b4948","datavalue":{"value":{"text":"Complete axiomatization and decidability of alternating-time temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2368988$48F3858D-FF08-4C12-B108-D01CB9D0076B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afefbe7c1cfb38af5799d4644ac06103166cbab1","datavalue":{"value":"1089.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368988$CFA823F0-5581-4D24-824E-4926DE664146","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a262d40910f61ae30b51e56074fd3ac16a16c8e","datavalue":{"value":{"entity-type":"item","numeric-id":2368987,"id":"Q2368987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368988$48369F07-8A22-4BE5-BED4-3F8B7E0787CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdeca7fa3ca61fb6bc221ab92d3afb1fb3a5ebcc","datavalue":{"value":{"entity-type":"item","numeric-id":703859,"id":"Q703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368988$8D8C8831-CAEE-40C9-A73E-D65E71E1D027","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368988$D3C7B2D7-8556-48B5-AA90-E26C8D197699","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8728e91b2b3c919aca654c671fc4eed9ec21fc4b","datavalue":{"value":{"time":"+2006-04-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":"Q2368988$20329744-1765-4E13-97D6-5A02476B00A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368988$69EE2589-7E3B-461E-91CD-E584D6553BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368988$68B0A5CB-0689-42F2-AA14-D33EA997C6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368988$F01C07DE-4856-4067-8548-8471F8168847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368988$4D42F558-FAAE-48D4-86FB-128811027142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368988$E37C1AD8-A861-4387-A396-97D0655FDDF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1fd4610f312fec891f4c8d55b6bf0a4792bf71de","datavalue":{"value":"5020388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368988$31CBB5E4-F347-4075-B7A2-A26C7693777D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3676757c64b9751f45323f5e1d6b3868d8116355","datavalue":{"value":"Alternating-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368988$F1B8E067-3E61-45BA-B207-BF0ADB3D054A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d85cf22b968e2820e7a711c47b7066ababea3303","datavalue":{"value":"Open systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368988$918B9982-2A18-497B-B52F-844D4541A3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76546a1694bf70b7f92ac29b6c662994a293685f","datavalue":{"value":"Concurrent game structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368988$39F6974D-2AAE-4474-AF1E-6ECF01DD25B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c95393006136a65861f345d17e00540c09d9d258","datavalue":{"value":"Satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368988$BF6B526F-A0D0-41C5-AAF5-5A6968F38106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77c0b0ed719287672e048645cdca7afbf7e44060","datavalue":{"value":"Alternating tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368988$C7E3D0BB-6426-48CF-8473-F198F893F6C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c6da6ef8b1f20d3c63cead4cbe9e92b06c62de1","datavalue":{"value":"Complete axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368988$1437A6B2-AE5E-4B84-83D8-E2141B9C2742","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":"Q2368988$397B082E-D2C3-4C4A-8DA1-8B02E10FAF03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee55a16a9f677d120693937e5ef27c0d7a88a26a","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.07.043","type":"string"},"datatype":"url"},"type":"statement","id":"Q2368988$930C9A16-DD02-4763-A3DC-A99766795E44","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"857af5317a5850c846b4511ddf0b995a255ed1fe","datavalue":{"value":"W2160254449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368988$E1BE9B97-421D-40E6-B1D5-D41C7D8D4D4D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368988$67C48727-6DE7-4E57-8A15-DEBE9C6A3DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64094cc4201a6201db371ef94b6e6db97b1ecea8","datavalue":{"value":{"entity-type":"item","numeric-id":5926539,"id":"Q5926539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368988$EBA8B74B-C1B5-45C2-80E0-A53A0E4627B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368988$58B9285B-E139-4635-AA7B-01F291F98792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff6a76fd2050997b990e9c940543c0aeb7eb24bc","datavalue":{"value":{"entity-type":"item","numeric-id":2431875,"id":"Q2431875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368988$BA402067-B473-4340-9FE5-C3318B550317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368988$2BDD5FCA-5758-4FC1-8728-69B1300381E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c8d4ae13a37c46d4c1c81628960f47d5dea327","datavalue":{"value":{"entity-type":"item","numeric-id":673778,"id":"Q673778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368988$E90018F3-147F-42F8-8E26-F3B29664EDB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"554dd80b26f1471d0a2efb82a159b112585c78b4","datavalue":{"value":{"entity-type":"item","numeric-id":4329525,"id":"Q4329525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368988$611ECF92-6E5D-4828-AC0A-5C9080D55FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b87e561f0bc0b19ee3857a1e29baa182ad90977b","datavalue":{"value":{"entity-type":"item","numeric-id":4739288,"id":"Q4739288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368988$7E3624B4-F07D-4DE9-A936-2D502B794B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bef9d2d76846f715fb4c95dec15c3751b47b37a3","datavalue":{"value":{"entity-type":"item","numeric-id":1902700,"id":"Q1902700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368988$7F0ECA24-202E-43A6-B8F0-1FDAF32EA8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4ca8c66fbabb6cddbda11a6c90f74986d6132bc","datavalue":{"value":{"entity-type":"item","numeric-id":3431973,"id":"Q3431973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368988$56CA1E7A-A50E-4E65-9C3C-28B448A03A77","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e6bda12cd4ae5b79da605b635a1f110b846e558","datavalue":{"value":"10.1016/J.TCS.2005.07.043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368988$B3AFDF94-F899-405A-B30A-5BB3A02DFB68","rank":"normal"}],"P1643":[{"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":"6a8fb24389dd562dbccb409e0f55accc5631bb95","datavalue":{"value":{"amount":"+0.8615276217460632","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":"Q2368988$51DCD78C-500C-4E3D-9F1D-EBB9E7BD8EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a102745a56774457a53b7f365941838873f14e71","datavalue":{"value":{"entity-type":"item","numeric-id":1420807,"id":"Q1420807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b3f1001023e258ae4e771c95d384cd808ce9079","datavalue":{"value":{"amount":"+0.8320872783660889","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":"Q2368988$09ABA49F-2328-4B01-BE38-079099D2E0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c9c27ece9c996aa262141897d2b8743c6a8c1b8","datavalue":{"value":{"entity-type":"item","numeric-id":3431973,"id":"Q3431973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47cfc4035e0b10fa4ad8c596ec699cdfc1b50384","datavalue":{"value":{"amount":"+0.826388955116272","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":"Q2368988$0D68F06F-56C1-44AD-B8A2-E1E9E2189CA8","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":"e4c0618359d214c004ff6960f021dfc8113a419a","datavalue":{"value":{"amount":"+0.8250699043273926","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":"Q2368988$7F79D96D-601A-4CC1-AA2A-5D71F1A190AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5781cc597f42d8fdd36bac2c03695941c554b2f","datavalue":{"value":{"entity-type":"item","numeric-id":4738167,"id":"Q4738167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63b03a6131bec29f78e7372dba49606842089439","datavalue":{"value":{"amount":"+0.8222787976264954","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":"Q2368988$F4232DDC-1E1A-4433-9D2E-1C912F241161","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2368988","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2368988"}}}}}