{"entities":{"Q1401306":{"pageid":1412046,"ns":120,"title":"Item:Q1401306","lastrevid":68624973,"modified":"2026-04-13T01:00:24Z","type":"item","id":"Q1401306","labels":{"en":{"language":"en","value":"On the expressivity and complexity of quantitative branching-time temporal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1965325"}},"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":"Q1401306$BB264CCE-746C-49A5-9319-A955221AA56D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87743b538e602405e5a53cf76213ffd491d171c4","datavalue":{"value":{"text":"On the expressivity and complexity of quantitative branching-time temporal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1401306$F010253E-3755-42E7-91C8-C10A8F9AC8F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f5272282479e7b8808f788ae9d55c5ee186b0d6","datavalue":{"value":"1019.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401306$4AFA1B60-44B3-44D8-BA27-126C99E9F161","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26ff15ab0911ef9374ebbf7bea57159c7264af75","datavalue":{"value":"10.1016/S0304-3975(02)00644-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401306$BA2117E2-1288-4A1E-B4A9-15FFF54AA654","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e8ca735896d8fd1610d4d740dab3fd7cadda6d4","datavalue":{"value":{"entity-type":"item","numeric-id":1380459,"id":"Q1380459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401306$85B12F91-DDEE-48B4-8FBB-760122A86243","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":"Q1401306$6664CCED-BF93-41BE-8F69-0E316E6DAC35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c559667253af6b857a12c847a2fbcea5328ae19","datavalue":{"value":{"time":"+2003-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1401306$A6852C39-13E2-4592-A984-EEB6C2E18715","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401306$FD3E1C48-7A1D-4BEF-B29D-DA338FE495F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401306$20865052-0AD1-47E7-A7A8-9F87291EBD81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401306$3F6811C5-D0F8-4A6F-BB2D-B380C6D5CA0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f00b8c235e0413bdd6ba5cf77455c617d1626bb","datavalue":{"value":"1965325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401306$1EE4108A-091E-4D2A-9427-D231C84C1315","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af948ab56df44408fff2ba197f928e63c9954960","datavalue":{"value":"CTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401306$676C78E5-2E24-456D-A172-12D6C5EC46BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a1403a64a54fab9451b4468fa6823ce97ec7978","datavalue":{"value":"branching-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401306$2F7CBDB2-E804-4FF8-8CA8-542220F2D095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef2cfc5887b46f7898a4b5f2d08ba2d8f6a79fdb","datavalue":{"value":"discrete time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401306$974B8E98-C02A-4D86-89B5-7BAECC4941A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb700dd1ca996a57ac301a0518cdd9b2f470ccfb","datavalue":{"value":"expressivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401306$FF2870A7-AE9A-49DE-B57E-94685FC7C59B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401306$0CAA9791-E54B-4DA9-BE9A-0D88CC92AC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401306$351BADA8-09FE-4DEF-BF08-223E0F6BDCC4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401306$A81ACD40-BF44-4DA9-A3EF-649E0784A24F","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":"Q1401306$2655E13A-79BC-46DC-9A1F-3CF4C5CB03B6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1dc43fd27ca4723016dfb00aa294217a66f3402","datavalue":{"value":{"entity-type":"item","numeric-id":1858436,"id":"Q1858436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401306$9B71F8DE-A957-4BC7-B4E0-415B0C2CFB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3394b77eec107b905563ae3b7de38349fb3b8401","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401306$16313DC0-842A-4634-AA9D-5FA14BF9D061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401306$B0637ADC-5EF7-41F4-BEEA-D6C1A10E02A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401306$055D672F-B7D6-4FB7-9F44-27F2139064AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ba3964561c6339cb3ba43543aed014dc7a60d0","datavalue":{"value":{"entity-type":"item","numeric-id":1123183,"id":"Q1123183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401306$85D96255-1EEF-4E42-BBC6-442A17087308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401306$C0935EE6-A3DD-4C17-9E3C-310D327ED099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32dcb19e5ef5b6a802e39b06593342561643f7c9","datavalue":{"value":{"entity-type":"item","numeric-id":1854521,"id":"Q1854521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401306$70DC8FBE-E9E7-4C79-928C-5FF168534D39","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":"Q1401306$F2E1DC17-34FE-4B0A-B638-AC4AF6647FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1f86e355662baa4d9f9fd9a0faea2fe6a1b817d","datavalue":{"value":{"entity-type":"item","numeric-id":4037378,"id":"Q4037378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401306$4DD72727-23F5-4C2A-B5FD-F80D8403D1D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46a61c5e8a4664218aa671974e863c1b8d58eeee","datavalue":{"value":{"entity-type":"item","numeric-id":3259307,"id":"Q3259307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401306$AD73A842-BE0F-4D89-8352-54BF7B996B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401306$490AC139-9D7C-4FAD-ABC5-A33FAA422771","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":"Q1401306$5AA6CD3C-1DCD-4704-98BB-3F3F2D816732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458ab467d1c5397109a383d0e5c939369d06a212","datavalue":{"value":{"entity-type":"item","numeric-id":3221403,"id":"Q3221403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401306$A6939108-5960-4418-B843-88416F4CF3A7","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":"Q1401306$F414ECBA-B0BF-4346-8996-9B92E42119CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f0618ab971b1402c4c34251dffc850ea86689a4","datavalue":{"value":{"entity-type":"item","numeric-id":1856168,"id":"Q1856168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401306$75C8BC6C-005E-457D-B519-3B7DAED5B0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ef9133786151bebe0f2a795af7cbf10895bb73c","datavalue":{"value":{"entity-type":"item","numeric-id":4738231,"id":"Q4738231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401306$C92D04FC-39A8-4347-90F7-195A85317C5F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0913a62d4a4cad9c6e300c9e86267156ced39ac5","datavalue":{"value":{"entity-type":"item","numeric-id":4508400,"id":"Q4508400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7feebe561dfe3a76807b8e1bc31af02a8e40b64e","datavalue":{"value":{"amount":"+0.9996723532676696","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":"Q1401306$0B4197C4-C4BD-4B5A-A216-3367B1DCB410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcf6362829a471005761450390520303b5598814","datavalue":{"value":{"entity-type":"item","numeric-id":2938770,"id":"Q2938770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d8d50bbc3cf088cd5d462541b3abc293b7d820c","datavalue":{"value":{"amount":"+0.8444968461990356","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":"Q1401306$6DC7CA80-F0A0-4791-920A-B26A50580928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65103e820561a9321c0c366efd2359a0c13391cd","datavalue":{"value":{"entity-type":"item","numeric-id":4475142,"id":"Q4475142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09294cb1d55be943d78d2806d7eda74fdcd2c723","datavalue":{"value":{"amount":"+0.8425977230072021","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":"Q1401306$5A08B0EE-30C4-40F4-8209-BD217E4F2D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7279b9ea12c02179b3fb5f75f953d3911da3e9a","datavalue":{"value":{"entity-type":"item","numeric-id":3557853,"id":"Q3557853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cfa1ffe75902fc8dff5f6cabe62cee3cde61a7b","datavalue":{"value":{"amount":"+0.8416547775268555","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":"Q1401306$FC3262B9-0E52-457E-8242-3716E76D66D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65a8cfdc3a726183847675febfa6ff30ba69be4","datavalue":{"value":{"entity-type":"item","numeric-id":1603537,"id":"Q1603537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c78c4245dc29734ed19d89613c3721aca1b6560c","datavalue":{"value":{"amount":"+0.8412631154060364","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":"Q1401306$E64FE629-8803-4119-B213-A5DADFEC9DBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the expressivity and complexity of quantitative branching-time temporal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_expressivity_and_complexity_of_quantitative_branching-time_temporal_logics"}}}}}