{"entities":{"Q975478":{"pageid":977326,"ns":120,"title":"Item:Q975478","lastrevid":42796129,"modified":"2025-07-11T13:57:35Z","type":"item","id":"Q975478","labels":{"en":{"language":"en","value":"A purely model-theoretic proof of the exponential succinctness gap between CTL\\(^{+}\\) and CTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5719203"}},"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":"Q975478$0E625205-DC47-4E9B-B9FE-3AD6FC30F749","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94f7cde5aeabb889e196ecaa2fb628e3fa147383","datavalue":{"value":{"text":"A purely model-theoretic proof of the exponential succinctness gap between CTL\\(^{+}\\) and CTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q975478$4502F966-B7EE-42FD-B92B-4DD16466FC55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e12b2769fae07731f137a6d3703b3ed0f96f458","datavalue":{"value":"1191.68412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975478$1203D939-F685-47D1-B51A-5E7F5E4F7AAB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975478$4017F79D-B4B8-4589-B797-C192794B624C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975478$A0FD9D93-21F4-402D-84C7-D32699FAC604","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1ba380dcd1b40e515c615a715f3a37c52287dd3","datavalue":{"value":{"time":"+2010-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q975478$D977D29F-8916-436B-BFCB-B2E6AD753529","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975478$769257FD-D8B7-4A1D-8E16-658CD9EB432A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975478$9C31BE3F-D9CA-49F5-8543-6BEF4C1C4B96","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c61dadadf35edf0daaaea3b60c0fb31b0469820","datavalue":{"value":"5719203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975478$19456E11-5FB9-4E6C-A1F6-A5499ACAA723","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"100336e59ffe810f6eb92fc3a35315a7e797f99a","datavalue":{"value":"specification languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q975478$18E9689A-2F9B-444F-920C-73E817E839BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q975478$B70D4B5D-D2B7-4695-A7DA-9276900C665F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3654e434baa0aa0c9fcc6ae3025920448a702ff6","datavalue":{"value":"small model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q975478$67646D3F-4EDB-462D-B840-B083FAC5A373","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":"Q975478$E9394E4C-6E98-4DE3-8F55-0D6F8A72CB49","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d777dbaf1a1ade72cc6dd3346feaab536545c7a9","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2008.06.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q975478$A000BF79-7493-4CF2-A2BD-3B24ACEAE76F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af6567fa0a6db5bb8e4e9aefeaa6399543160270","datavalue":{"value":"W2001959058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975478$A6D183B5-0D32-4342-A8CB-220797BD051B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eca61a521a091fbdb028c0e1a8fa2de5ae934419","datavalue":{"value":{"entity-type":"item","numeric-id":5267432,"id":"Q5267432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975478$B14B40DA-AFD7-4990-89D6-85B7662A196A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975478$43AEB799-73A6-4154-89AA-62B164DB4BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19f704deeacf685ba70b6b2ce20bba65bde381c","datavalue":{"value":{"entity-type":"item","numeric-id":4449218,"id":"Q4449218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975478$D4F0A630-6F90-4319-A101-036CE850595B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67aa0df6c0fc27786ebfa5ec52093be9eac8c44c","datavalue":{"value":{"entity-type":"item","numeric-id":4501666,"id":"Q4501666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975478$47BD8ECC-F6D2-42FC-864B-3E75EFC11618","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"687894e1afe5f35b26ce6867e9d4338b380fb933","datavalue":{"value":"10.1016/J.IPL.2008.06.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975478$91E38492-8748-4969-A592-A9A821902778","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00ba1c674b8c2ae1df7fd3017f835f546ef95963","datavalue":{"value":{"entity-type":"item","numeric-id":4625692,"id":"Q4625692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a6e8e141726177ecdb40115a61a993dc8794d91","datavalue":{"value":{"amount":"+0.8533406","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":"Q975478$1904D7C5-7CD6-4D65-A01C-6386FFDB5969","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":"803b3c9cc6a9cf6be3bfc376257daa367d44b807","datavalue":{"value":{"amount":"+0.8417463","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":"Q975478$B8AD610F-9F5C-49BB-883E-03429E6ECBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea31a702712f88e5d71603a3af7dc01087e8c1fe","datavalue":{"value":{"entity-type":"item","numeric-id":2506811,"id":"Q2506811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adaac9651275032c8c41a8baf1dc66aa66a6aeaf","datavalue":{"value":{"amount":"+0.83797514","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":"Q975478$2742C35D-E888-40E5-AB66-2A59A3B02134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc5167e47acebea4212047e18d57c90d02d31f47","datavalue":{"value":{"entity-type":"item","numeric-id":4636290,"id":"Q4636290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bef577127ba2e9544778fbfbecac01a19b69cd7d","datavalue":{"value":{"amount":"+0.8365266","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":"Q975478$4BA6FC4D-2057-4947-8A12-B7C965634C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59a0283679108078e0488d528f0a30af287bbb72","datavalue":{"value":{"entity-type":"item","numeric-id":2095426,"id":"Q2095426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f0b1429b03fe57ed698a7da56ee57066fd3029d","datavalue":{"value":{"amount":"+0.83557916","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":"Q975478$27ECD2ED-7DDC-4356-BF35-8F2152B09A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72e7e34c0af4fcbc82d58ad42956d649d1c3ed65","datavalue":{"value":{"entity-type":"item","numeric-id":1759859,"id":"Q1759859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fac131de948026e3d8d306c5959ac865fb20d8ed","datavalue":{"value":{"amount":"+0.83481663","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":"Q975478$927D4666-38F6-4EB9-A874-23500FAADC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b5ac4fc6c8f5fc57a03b258c19819cf880b7e67","datavalue":{"value":{"entity-type":"item","numeric-id":4217552,"id":"Q4217552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d042acd9fc1732d76c0a70f72750e7dada20948f","datavalue":{"value":{"amount":"+0.83431435","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":"Q975478$C97200FD-A11C-42A2-AFF8-BBBB0362484C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02c9fed15f98f46504e97836f45d09f95b6bb87b","datavalue":{"value":{"entity-type":"item","numeric-id":2833438,"id":"Q2833438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97ad770b609b916825b2c104939e1e80889bac31","datavalue":{"value":{"amount":"+0.8342888","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":"Q975478$5000D701-3AB5-4629-ADF1-8F60901F8DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e936e8a4f9c652321a1153f42608d7c10ced8b6b","datavalue":{"value":{"entity-type":"item","numeric-id":5308141,"id":"Q5308141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30ecca38f5f405165b68cb2f40ce79c6915787f2","datavalue":{"value":{"amount":"+0.832217","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":"Q975478$30E5BF15-7024-45DF-B930-899281041675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4526e692b5890e59fc68d6137504a3be53a2984e","datavalue":{"value":{"entity-type":"item","numeric-id":3464769,"id":"Q3464769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38fceb509bc2f84df99fd4a2cf44845762e9a34c","datavalue":{"value":{"amount":"+0.83103347","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":"Q975478$DFEF570F-7D5C-4644-A054-7480EA91A0FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:975478","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:975478"}}}}}