{"entities":{"Q4982095":{"pageid":7011673,"ns":120,"title":"Item:Q4982095","lastrevid":52231472,"modified":"2026-01-21T05:20:11Z","type":"item","id":"Q4982095","labels":{"en":{"language":"en","value":"The complexity of satisfiability for fragments of CTL and \\(\\text{CTL}^*\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6418604"}},"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":"Q4982095$F318C074-BC3B-4445-9BDD-177A0DCAEDBB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4fea7a3f9591e53abfc33e49e673cc8a33ac462","datavalue":{"value":{"text":"The Complexity of Satisfiability for Fragments of CTL and CTL\u22c6","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4982095$2F8ED8CD-5D38-40D4-95A9-9EFDDE32A82F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48caf81a16f5405e27d9271856a68c7175ccb2d2","datavalue":{"value":"1337.68134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982095$C93E47A0-6F5F-4F87-A166-5964715F8CEE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982095$D723C2E0-E7B5-413F-AF63-448D264ACE1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"809666719f9ff28a4fe4775444803d2f896fa4e9","datavalue":{"value":{"time":"+2015-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4982095$B64B3A9F-1640-4E8E-AC12-8537B448F7BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982095$B5854E83-0E64-4F27-836B-86837214BE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982095$5B7C71B7-1A82-4CC1-BACD-8BFC1088A054","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e0071428ca39748a46c8419d8da52a2098e43af","datavalue":{"value":"6418604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982095$C2CF7C96-4D1F-43E8-8B08-2BFEC9EE207D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982095$3594B08B-B1F6-492E-B185-8D91A1868AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982095$D034DA34-3113-4469-B6B5-C83C071C76A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea29f7cc763e40918bee7def17f3367a15ae7079","datavalue":{"value":"Post lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982095$88C7704D-8888-44B8-9B85-3BC0B81B2DF7","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":"Q4982095$97CD820D-2F64-42E3-A602-EE3920A6D206","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87bdf688d5fdd9e4cf5ec0475c705cffc81c43eb","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.12.040","type":"string"},"datatype":"url"},"type":"statement","id":"Q4982095$629B791A-BA00-43AF-9C09-2B3E43A2BC15","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"381be8748a2c795c8acbcf480240a4d51d6445bf","datavalue":{"value":"W2080461902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982095$418CC3CB-AABD-44D6-9A0C-E13BB2891271","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d5b074e1cfdb26b4c80f9e90292f6ce058bdb60b","datavalue":{"value":"Q57998331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982095$FD9E1737-2A20-4178-8A49-838B58E6EBCD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"38279ab697b62b6ea15e36553c1fb75cd25aa683","datavalue":{"value":{"entity-type":"item","numeric-id":5758057,"id":"Q5758057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982095$25E02457-729F-43E0-B5C3-683771AA9FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982095$34C72DAF-5E85-4B9B-BEC3-AFBEAB9ABFD8","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":"Q4982095$26276F8D-DF9B-4725-B1D0-68401B148B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982095$F4EC4350-E3CA-423C-9A6D-D3AB044E29A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982095$F3B20E47-BF08-4F4A-91F6-90EEF7064FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea58ba5e953470bc04804e0c29c2bf92082f9c67","datavalue":{"value":{"entity-type":"item","numeric-id":672975,"id":"Q672975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982095$FC8FDD31-BFCE-4CCA-B865-4BC6EB1C432B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b734e6760bbdd08ae5a1fc852d30b434587c57bb","datavalue":{"value":{"entity-type":"item","numeric-id":3864500,"id":"Q3864500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982095$C825AA7B-C22E-4D0C-979A-FE576F667DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"131c6b62c290a15cf0aad33ef90d14d9b6558993","datavalue":{"value":{"entity-type":"item","numeric-id":1889855,"id":"Q1889855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982095$127E6477-68E1-4E00-97AF-AD080F209A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04fb702774e8379a072aabd3073f1f729a4f9458","datavalue":{"value":{"entity-type":"item","numeric-id":4354427,"id":"Q4354427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982095$F257C131-856A-4443-ACDB-B2E51967B9AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae41416b3c63fb62fa987b6d8dfe2556eabf311","datavalue":{"value":{"entity-type":"item","numeric-id":5845380,"id":"Q5845380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982095$906C687C-0782-468B-8280-07BE7C355F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a9b9d917e6c59dc59e3249ede44da092015416c","datavalue":{"value":{"entity-type":"item","numeric-id":1389651,"id":"Q1389651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982095$A90747A8-3220-4A69-B5C6-3612CAB36287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982095$90792BEF-04DE-4BCD-9F1B-FD03A8DB4231","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba09d91caf321b606ea6877a1ff4d5df26bb3bdc","datavalue":{"value":"10.1016/J.ENTCS.2008.12.040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982095$C1065886-C16C-446A-94D6-3868A91F7598","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":"062b15d818088515a217b234b365cd9a9af85774","datavalue":{"value":{"amount":"+0.984588623046875","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":"Q4982095$14DECA96-C103-40D8-85F1-68F2DBB32BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"553242049814c88eb3ab4950c2221e56555fc794","datavalue":{"value":{"entity-type":"item","numeric-id":5758057,"id":"Q5758057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"279ff5f433e5f970e158737d21a7fcafeb6cc285","datavalue":{"value":{"amount":"+0.859889805316925","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":"Q4982095$9C2DE58A-0C79-4D61-ADE0-E6AC77470FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4edc491f35e560ebfd55a4f75425246989539c2","datavalue":{"value":{"entity-type":"item","numeric-id":3623013,"id":"Q3623013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6466804032cbb6753f403b53c19a4c280817007","datavalue":{"value":{"amount":"+0.8598897457122803","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":"Q4982095$A96302D4-089C-4CCE-A5D5-7DE11AD4ED0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4e7a5e12710018f3e40c65a017f1cdd9b17ddd1","datavalue":{"value":{"entity-type":"item","numeric-id":5458359,"id":"Q5458359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c454ec7ea21ac6ffa08b93ea63505fae93770511","datavalue":{"value":{"amount":"+0.8592223525047302","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":"Q4982095$469D9426-1923-4B8B-89D6-85783F4520B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d86aa90385bd2bf7d2e1383b2f033c4479d0589b","datavalue":{"value":{"entity-type":"item","numeric-id":2870113,"id":"Q2870113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"172c9ffbf560ea1388a099ddaaa74d1bee2988ab","datavalue":{"value":{"amount":"+0.8359132409095764","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":"Q4982095$C9F8A315-EEB7-459F-B1E2-38E42D5E4328","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4982095","badges":[]}}}}}