{"entities":{"Q2800418":{"pageid":2811156,"ns":120,"title":"Item:Q2800418","lastrevid":42129703,"modified":"2025-05-23T13:23:27Z","type":"item","id":"Q2800418","labels":{"en":{"language":"en","value":"Erratum to: ``The complexity of satisfiability for fragments of CTL and \\(\\mathrm{CTL}^\\star\\)''"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6569404"}},"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":"Q2800418$8EC22B1D-1ABE-4998-BE55-BF659F355BD9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"daf5d6aa87dc9a5a1e94ae235192b74aab085ebe","datavalue":{"value":"1405.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800418$478E8938-F16E-4E3B-A465-4E213B7BE34B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f15668e9190bdf2a3cce53e3261cc761abb11aa8","datavalue":{"value":"10.1142/S012905411592001X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800418$272539AB-6938-4379-BE6E-2BAA0905D433","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":"Q2800418$AEC97222-1247-4EDD-A23B-9A1DD1C74A86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57da539027be438345077c3891084db52f2ea1ba","datavalue":{"value":{"time":"+2016-04-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2800418$EDE41283-049E-40B2-A085-EDA3E93BA114","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800418$F8AEC26F-049E-4B77-BC80-BED70A40AEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800418$BFD2F7FD-A512-4237-B10C-091455CAF5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800418$B8F84B4A-5DBA-4A83-84AF-CEAD8EE3EA3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"734fec90c0e747d11a3748418323f8a784851d1b","datavalue":{"value":"6569404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800418$5D314C52-9D59-4DF8-B14A-9EDEC0A689AB","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":"Q2800418$C7AA79A7-43EA-493C-8D19-D9C710DA6530","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab234acaf5c68faf52640a6c31bd122fdc22d598","datavalue":{"value":{"entity-type":"item","numeric-id":3646173,"id":"Q3646173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d21bd5cb759bd665016f681aada4c778e98d53df","datavalue":{"value":{"amount":"+0.92405134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2800418$F8E38E99-746F-4344-BC9D-28D5DF3D2878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dcc74f5016755b382c73656c29a163b4f17aa71","datavalue":{"value":{"entity-type":"item","numeric-id":4982095,"id":"Q4982095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97bbb6992cf7414511f36d3725fdfe5bcdf10097","datavalue":{"value":{"amount":"+0.92245466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2800418$11CF653F-9ED3-400D-9595-86026B4D6979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef425cbeefe79caffe94a86972ce9377a6a47418","datavalue":{"value":{"entity-type":"item","numeric-id":2309414,"id":"Q2309414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25eaa11f980444aa730ba6f4efc8424ed821c426","datavalue":{"value":{"amount":"+0.8544269","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2800418$DA0F28D5-58B2-4974-8938-7C39F6332A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"676142ac41e661da44acb05426e32cfc84e71d56","datavalue":{"value":{"entity-type":"item","numeric-id":293315,"id":"Q293315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6cd7c8321a38d7259be029b6ef576c61d02f897","datavalue":{"value":{"amount":"+0.84552073","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2800418$BE8DA1EA-10D1-446A-8B87-001963024EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ac97009fd0eee5d76f5db5dfc3815a7e021dd25","datavalue":{"value":{"entity-type":"item","numeric-id":2842126,"id":"Q2842126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0680a0f8cfae993a185a49ccd2da12afd6795754","datavalue":{"value":{"amount":"+0.84128594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2800418$72884977-617F-4F86-B7DE-D873EEF6A513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"923bf70019f36913cc4cfe7fb5bc0a96163c74ba","datavalue":{"value":{"entity-type":"item","numeric-id":2364369,"id":"Q2364369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b408543d5675d4e2545fc2174cea72ae30a149bd","datavalue":{"value":{"amount":"+0.83955693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2800418$D3ACA16A-FCF6-4664-A81F-20DBF7668050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7c0a267e543144fd11e5e7758ade312f4b2f6ee","datavalue":{"value":{"entity-type":"item","numeric-id":2417858,"id":"Q2417858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c94ada29ed5e98db34c5c771f8e3b0591395e413","datavalue":{"value":{"amount":"+0.83884716","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2800418$E3BCF41D-845E-4876-81CD-BED1C896D67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bee4ae9e30ded18c90ea5c204e034151de2310a","datavalue":{"value":{"entity-type":"item","numeric-id":2140493,"id":"Q2140493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1b2bd3ed74792289422d41558502ec17e43af0d","datavalue":{"value":{"amount":"+0.8386252","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2800418$4C540F82-8CA8-43D5-882E-F9241C807AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a25233e7eb47f7098522faf6316788821040861b","datavalue":{"value":{"entity-type":"item","numeric-id":5009450,"id":"Q5009450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b561a703e694d10c903d188054d5b24780f96cba","datavalue":{"value":{"amount":"+0.83419573","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2800418$73CCA774-527A-4F00-9FC3-810B136B01B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6da90d8ec447bd19f7c1fb17511e52eed9446902","datavalue":{"value":{"entity-type":"item","numeric-id":1344241,"id":"Q1344241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5252523fceb26d7eaba739f3383950c8896f24c9","datavalue":{"value":{"amount":"+0.8324662","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2800418$55554D1F-1B13-4950-BC6E-D8902E843F95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"becdc79221166119c82021f3f0c429737e3e5a7a","datavalue":{"value":{"text":"Erratum to: ``The complexity of satisfiability for fragments of CTL and \\(\\mathrm{CTL}^\\star\\)''","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2800418$ACBE62A6-F95E-4375-B70B-4C88DF5111AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"686a3fe5d11b6343bdc23cbf052aabbee263958a","datavalue":{"value":{"entity-type":"item","numeric-id":393135,"id":"Q393135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800418$8EFDB953-ADE7-49E7-AC4D-B56343B951FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0975cba52d35a8d4266cacbb505aa77ff384f166","datavalue":{"value":{"entity-type":"item","numeric-id":540571,"id":"Q540571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800418$F8F19934-7ACE-4B92-BB27-69C01AB6516F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ca8a4811cca52a248ccfd30baaf04c265f9ef0a","datavalue":{"value":{"entity-type":"item","numeric-id":208765,"id":"Q208765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800418$0D7B8CE9-BB73-46B4-A672-3E43BFE2394C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64af706d31db06ff1d10ff9957e17edb0a072503","datavalue":{"value":{"entity-type":"item","numeric-id":475338,"id":"Q475338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800418$ECB5A7F1-F484-479B-8D25-EBFDC9FED411","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2800418","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2800418"}}}}}