{"entities":{"Q3646173":{"pageid":5676079,"ns":120,"title":"Item:Q3646173","lastrevid":81012167,"modified":"2026-05-06T17:30:54Z","type":"item","id":"Q3646173","labels":{"en":{"language":"en","value":"THE COMPLEXITY OF SATISFIABILITY FOR FRAGMENTS OF CTL AND CTL\u22c6"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5635988"}},"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":"Q3646173$530E1CE0-A02C-48C6-9C1D-367314A9B025","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dab52fb5f469de67e2b1ad0c0c8faf1ffc6a8144","datavalue":{"value":{"text":"THE COMPLEXITY OF SATISFIABILITY FOR FRAGMENTS OF CTL AND CTL\u22c6","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3646173$208EE292-CF63-4107-9579-DC471521160A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e0b057155a5970376634aaac78dbbd6c1089078","datavalue":{"value":"1186.68212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646173$DE5C493C-77AE-4118-8332-701F2B90D6A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"abf3d0de8950c406eac8538b3fcf65f686dbe3f4","datavalue":{"value":"10.1142/S0129054109006954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646173$46523EB5-AFF0-4E04-8D0B-AEC68FD75330","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":"Q3646173$50F03ABE-4528-4CA5-8AA8-1E31DBAC2789","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"578d14626f47760914b9a71c7f4ee295065574aa","datavalue":{"value":{"time":"+2009-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3646173$8CDB6846-43A0-49C7-8002-5AA5AE31C347","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646173$C2241E51-F4E1-431F-84F4-9A4AE5792DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646173$9E470E90-044D-4691-90C2-2174D9FC382C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646173$A16299BE-89B5-47CB-97C3-306D727A7533","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc6e3a489e225abb33b54e3ed28b0f0e8b0f283d","datavalue":{"value":"5635988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646173$F2B8CD0A-8B21-4D08-AF87-2323B1071E07","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3646173$9A92AB5D-5F1F-4EBF-8420-D44D15C0C905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3646173$89FFCBD8-CCDC-4901-AD34-EBD7A4154C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3646173$1DA3017B-53A6-47EF-AAD5-9CFF4F676EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ff0a2602dda426cf1e79110d04984cc7aa91137","datavalue":{"value":"Post's lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3646173$01B0A260-1FE0-4520-AA30-F9F636863206","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":"Q3646173$63EF5B5F-53F7-4C04-9B8C-FDE96FEE60E0","rank":"normal"}],"P223":[{"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":"Q3646173$4AD1570A-68F7-4A3C-9007-C8003B2A8C58","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":"Q3646173$CFD6FF20-4A37-40F8-8C52-B6C5C65DAAAA","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":"Q3646173$DC91F329-8F4A-47A8-9654-DE27975D4E04","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":"Q3646173$91D04E82-2E00-4D94-A7F9-B52B6D2EC275","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":"Q3646173$B3FA1B27-E165-4F0D-8819-39304EFC1390","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":"Q3646173$B314323B-649E-4B08-9869-A35D072560A0","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":"Q3646173$50E10CC2-4481-4964-9096-0E0C3D548A33","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":"Q3646173$81892165-AE30-4A5B-8CF3-14D6889DCBD4","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":"Q3646173$FF06A009-912E-4E44-AD6C-79BF30A7B186","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"111147142b401efe4fec569b8cdc7e911ab7bc44","datavalue":{"value":"https://doi.org/10.1142/s0129054109006954","type":"string"},"datatype":"url"},"type":"statement","id":"Q3646173$708094B5-9E01-40C0-9AFB-E1C9CB7880E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1963e52347e1161db82adccf308d0512b2d07b06","datavalue":{"value":"W1967362250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646173$06062557-5159-4AE6-8D53-91003BA6B4F2","rank":"normal"}],"P1643":[{"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":"6e61a9835d667173774385ccdbef40a316301fe2","datavalue":{"value":{"amount":"+0.9913691","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3646173$93E801C8-5C2F-449F-B167-0160B5E373DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e51184324ec8f3c669b5bea4e7e98e1b16ed47a4","datavalue":{"value":{"entity-type":"item","numeric-id":2800418,"id":"Q2800418"},"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":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3646173$C2368EC1-3DDE-4E2B-8F80-1E8A67AAB060","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":"160988a0ae8044b2403f04a43ff8f0d87b5e6c61","datavalue":{"value":{"amount":"+0.9004745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3646173$749F2EBF-EA26-4C8C-87E4-DF7E3356EF2D","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":"56024b4703d48e79cf061fd561d6d38b77ff5249","datavalue":{"value":{"amount":"+0.8951854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3646173$490CA880-5DD2-47D2-8EDF-D3654D08E36B","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":"debe81c0d5900e217c4b3bee7459d8aa762472c9","datavalue":{"value":{"amount":"+0.88581824","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3646173$BEAF4CC5-D253-4039-B399-92C8BF553A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a23dfb12d48dc88cde38e7970ddea0c6b4bf318","datavalue":{"value":{"entity-type":"item","numeric-id":3182957,"id":"Q3182957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78fd95159d44d82499b7f430037a64ed3c594f99","datavalue":{"value":{"amount":"+0.87933147","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3646173$31D1790D-9CB6-4CFB-8647-CDED8A3D368E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d4579a82a26c45d51999ec7679a238630cc4c5b","datavalue":{"value":{"entity-type":"item","numeric-id":2567347,"id":"Q2567347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78048f91975c22fbc2a6b7313780bbe67974047c","datavalue":{"value":{"amount":"+0.8744305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3646173$52EE8CBC-F8BB-4FC3-B04D-DBD4A54F6896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61148d9f376aa526e0457cef2df495cbe0b06284","datavalue":{"value":{"entity-type":"item","numeric-id":631087,"id":"Q631087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98ad21bf5c44101d37530b55557655efdbddfd92","datavalue":{"value":{"amount":"+0.87215114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3646173$2CD50DE1-EDE7-4D15-9D72-F1FC8EDE1861","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":"835683a8b4a65ee680f538edbba42ac7fa214d1d","datavalue":{"value":{"amount":"+0.87143576","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3646173$3B0ADCB2-1547-40C7-B0C8-28EB5A79AC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8fa0c1cf7477ddb1a22f5c678a7f9484e7d3cd3","datavalue":{"value":{"entity-type":"item","numeric-id":3647277,"id":"Q3647277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28b66cda5caf8a209d871804862414640d6792f3","datavalue":{"value":{"amount":"+0.87103033","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3646173$D42AD000-0404-4545-8788-E42A71C222F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"THE COMPLEXITY OF SATISFIABILITY FOR FRAGMENTS OF CTL AND CTL\u22c6","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/THE_COMPLEXITY_OF_SATISFIABILITY_FOR_FRAGMENTS_OF_CTL_AND_CTL%E2%8B%86"}}}}}