{"entities":{"Q1784942":{"pageid":1795684,"ns":120,"title":"Item:Q1784942","lastrevid":74243163,"modified":"2026-04-14T19:08:33Z","type":"item","id":"Q1784942","labels":{"en":{"language":"en","value":"CTL\\(^\\ast\\) with graded path modalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6944929"}},"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":"Q1784942$FB59CD30-D49B-420C-AE40-93E681D88565","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fcd4e2edf422657bc58e8ec9aa0f3f7cb871bbd0","datavalue":{"value":{"text":"CTL\\(^\\ast\\) with graded path modalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1784942$C66921E1-4FE9-444E-84C7-2CBF3D11B77D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71243dcb88e1c5d5805cf40c4f5c4e40bb242d7d","datavalue":{"value":"1407.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784942$CAAA659D-7231-43B6-818C-A868C148234F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb346d256664a1bd135e45cfac6662095ea6a3d4","datavalue":{"value":{"entity-type":"item","numeric-id":385024,"id":"Q385024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784942$AA06F1F6-6C1D-45F1-85F4-6F5B94312D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df9b0d5346ec014243da840aa4842429b4a2c359","datavalue":{"value":{"entity-type":"item","numeric-id":329412,"id":"Q329412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784942$E968365A-3810-46CB-83C6-7DD72C3781D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc296f41d11fea7b93d22457da52ba5c74d18ae","datavalue":{"value":{"entity-type":"item","numeric-id":389946,"id":"Q389946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784942$9F0952DB-8104-4DFF-860B-83F2F7A41ADF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784942$26743537-DB5E-45C4-86A6-C1C3A3B33F18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7fafee86c1e45e0bcaa02c3657a70c764319b69c","datavalue":{"value":{"time":"+2018-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1784942$38C37C40-98F0-496F-8F1A-866A7AA5E455","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8eec38e82cb3edde54534234c90d83309377758","datavalue":{"value":"http://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3808","type":"string"},"datatype":"url"},"type":"statement","id":"Q1784942$E51434CB-BABC-4B1C-B8A6-4F0877DCCE5B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1c3c39deee50769264d5b53334a8ca4013e25cec","datavalue":{"value":"The paper studies Graded CTL*, an extension of the well-known branching-time temporal logic CTL* with path quantifiers that can express the existence of $k$ different paths satisfying some linear-time temporal formula, for an arbitrary $k$. This logic truly extends CTL* as it does not preserve bisimulations anymore, hence, it is more expressive. \\par The main focus of the paper is a worst-case complexity analysis of the standard decision problems of model checking and satisfiability checking for this logic. Decidability is easily obtained by noticing that -- despite a general lack of invariance under bisimulations -- the logic cannot distinguish a graph model from its tree unfolding. This forms the basis of a translation into MSO interpreted over trees which yields decidability. It does not give optimal complexity bounds, though. These are obtained using the well-established automata-theoretic approach to temporal logics. The paper introduces a specialisation of alternating tree automata whose features tightly correspond to those present in the logic. It then establishes decidability of emptiness in exponential time which, for example, yields decidability of satisfiability in doubly exponential time. \\par The paper is generally well written and easy to follow. The concluding section contains some interesting remarks on open problems in this area, most notably regarding the succinctness of Graded CTL* in comparison to other logics of equal expressive power.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1784942$CA9E4080-54A3-4CB9-B3D0-425BEA049C73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784942$86B6C02C-6D3D-4635-B3C5-38875EFB1180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784942$4498A8AA-2E37-4472-97FE-DF20D43C70FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784942$A97827C9-7DB1-4DDC-BC06-48C924BBAD78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784942$7DEAC1A2-52AA-435F-B199-32D3758784CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784942$C06965E7-6AEA-485E-880A-F4055CCA28BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784942$46F85CEC-2BFA-4A9F-BD09-E1285BE88D81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c578f758f00cadea38a19f4252031f6bebc259a","datavalue":{"value":"6944929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784942$86691CA1-0688-4A92-8A1F-12F2AF32754E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1784942$7D9C3BC1-17B2-4009-9EE6-35DCFF3C8B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1784942$E9031319-A42D-4075-9CB7-2FBE2AA47BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1784942$1B6409DF-E95A-4E8E-954C-8FF85113A6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1784942$0E1BD501-9214-47D6-875E-BC42D1F1EC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1784942$53792F2D-989C-4846-8694-47627F2D4A07","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":"Q1784942$28BA5519-00B8-4A6C-8075-A0C0C4132733","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"888257bcf6e0c6547eeee58e85e1eae236417255","datavalue":{"value":"W2799335769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784942$D80B88F8-ED2A-4118-898B-84EA4D005C5C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f44e620d4281594a6e00f10dd20654fb9a9ab174","datavalue":{"value":{"entity-type":"item","numeric-id":3172937,"id":"Q3172937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784942$3B0D69DD-1EBC-4381-8204-E482138F7A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a06b330ba3bcfec7ad6958c27bbe7cdf8acc3d76","datavalue":{"value":{"entity-type":"item","numeric-id":418123,"id":"Q418123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784942$D0476BB0-4ECB-4BBD-B31A-AF3948B4CC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"037be6885962a7ef30e0d2cb07158ddbd09c5691","datavalue":{"value":{"entity-type":"item","numeric-id":1641034,"id":"Q1641034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784942$CACDA340-F029-44DB-80D3-E096E2D20802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11aa30e07ff809b06d9ad7f1327f415484a5a50f","datavalue":{"value":{"entity-type":"item","numeric-id":3460061,"id":"Q3460061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784942$CB559CC9-ABE7-496A-88C3-E8839E8C070E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43a11838a60175f090b2025e685e8d796f20c6f","datavalue":{"value":{"entity-type":"item","numeric-id":3189642,"id":"Q3189642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784942$9E49791F-CBD7-49AF-8F11-C96938BFA4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"455608804728f3c69bb4021a4b864b3d2ba6c3c4","datavalue":{"value":{"entity-type":"item","numeric-id":4979448,"id":"Q4979448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784942$EF172A81-8A7A-4D20-9AFD-0EBE54A7184F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba6e2a7c636084565f7671cd1624574254be99f2","datavalue":{"value":{"entity-type":"item","numeric-id":2946674,"id":"Q2946674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784942$F14F4D56-C923-4122-AF8E-02A548D043B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed1d5d70e3773d446e8bb2fa68e0db6b1a2ebc6","datavalue":{"value":{"entity-type":"item","numeric-id":3535618,"id":"Q3535618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784942$F232B906-0ED4-449A-B210-076CAD304BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"238c7824ad6c085a15f97d595a032b05ded62ac5","datavalue":{"value":{"entity-type":"item","numeric-id":2252521,"id":"Q2252521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784942$777955A8-82CA-46A3-A0DB-3D53EF34DB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"380e2da8428b3cc3a4a654b05a929c04c5f81ff6","datavalue":{"value":{"entity-type":"item","numeric-id":1975165,"id":"Q1975165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784942$5978684A-5961-4924-BF6C-55FE7EF8A8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b989952aa1582438a5332ec0bd4cee56dab73a9d","datavalue":{"value":{"entity-type":"item","numeric-id":836989,"id":"Q836989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784942$108DF08F-B56B-45DA-BF04-C5580CECAAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e10b94faed1369f0d6cedaf8543971a89c594ce","datavalue":{"value":{"entity-type":"item","numeric-id":5900668,"id":"Q5900668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784942$C59BE161-3B98-4D50-9211-9BA5D92F4729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b700a9ff894e410108e84c5a088e66a026d9db4b","datavalue":{"value":{"entity-type":"item","numeric-id":4268874,"id":"Q4268874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784942$9B666185-FA07-408C-8F97-3677E6B2B23B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f7e9b51624f25e880af792c7f9d74c82f45335","datavalue":{"value":{"entity-type":"item","numeric-id":3722471,"id":"Q3722471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784942$FF9F43C8-BEFB-4A20-BE20-30E073D07053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e526b132b3bb244613b25f13d6a208209abe16c","datavalue":{"value":{"entity-type":"item","numeric-id":3449217,"id":"Q3449217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784942$B4920EFB-8D87-4D78-9123-5AF83F401E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a68c9c5e6dc8c820f13872cc0a21e816d437222","datavalue":{"value":{"entity-type":"item","numeric-id":3535606,"id":"Q3535606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784942$9097B3B4-76C0-48D0-B639-AD1B4537C993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2129ffbfb8c14a46cdedc6337ae16a2c343fe70","datavalue":{"value":{"entity-type":"item","numeric-id":3400570,"id":"Q3400570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784942$F7C89A89-FC47-49DF-8818-E9583205798F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e75ff86bf271b0398c4f5c8fca7c222326217cab","datavalue":{"value":{"entity-type":"item","numeric-id":3540061,"id":"Q3540061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784942$66DB1195-8E27-4720-A99C-07FC6DB7F4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"add9119b5d5b905244f270410e2062630c92f205","datavalue":{"value":{"entity-type":"item","numeric-id":2542272,"id":"Q2542272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784942$9BBC0BAC-2EB9-474F-8AF6-16938C7EFAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ed39d91ffce0364c7b9b323476988c2a5d1bf8","datavalue":{"value":{"entity-type":"item","numeric-id":3457242,"id":"Q3457242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784942$FE163DB7-F894-4BF2-AF80-DBA73FBDDF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98afecea6c9bf2b569ab9987ff42dfd676b47f5c","datavalue":{"value":{"entity-type":"item","numeric-id":814639,"id":"Q814639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784942$4207091D-A7C7-4447-BC83-C7ED5299AFFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af5f40b1688002d626ced95ea52a62f7741103c","datavalue":{"value":{"entity-type":"item","numeric-id":4809076,"id":"Q4809076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784942$C9B53414-F6CA-4BC2-8D4C-3C6743A1680E","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":"Q1784942$8818E16B-9F69-40A3-8BFB-E201E69137A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838707bf4de0869fefea7874f2733fcafb4365df","datavalue":{"value":{"entity-type":"item","numeric-id":4262605,"id":"Q4262605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784942$C7C85963-5DAC-4AB8-9DF4-C1599220D5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c0e5d9622afbfb851d20916533db591959b2356","datavalue":{"value":{"entity-type":"item","numeric-id":1706169,"id":"Q1706169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784942$7B4C89F8-01DD-4850-B7CE-2D9BDFFC17FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d744bc51292393a880e9684c30f2c3b9a84ea7e","datavalue":{"value":{"entity-type":"item","numeric-id":4637884,"id":"Q4637884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784942$A9CC5CCF-1628-4AD3-BDF2-9CEE2DE1CAA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0f17981cbfeb801f8d4fb6222c3bf5217b95bd","datavalue":{"value":{"entity-type":"item","numeric-id":1398378,"id":"Q1398378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784942$41C14947-914E-4347-B59C-38814377E096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce4b326f1fe72d3399b8d0d98617bedf25b3ebb2","datavalue":{"value":{"entity-type":"item","numeric-id":4647812,"id":"Q4647812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784942$BF8F096D-69A5-4C85-A5FA-2AD64F41E1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784942$4BB7B354-A8C7-45E7-99A7-7151147623E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9387f435a7e5ae169822e9f6fe0921cbbb50866","datavalue":{"value":{"entity-type":"item","numeric-id":2720401,"id":"Q2720401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784942$FD794BC7-28F5-4667-8180-95F3E24AB39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08aa92af7f43edc8f01afaabf0e5ca4bac8ce673","datavalue":{"value":{"entity-type":"item","numeric-id":2757826,"id":"Q2757826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784942$4FD9CB50-3384-4A8F-9FF4-F7FB97437B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784942$84789D19-8BF9-4D6F-8957-0609477E4ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"498661e57f097849360a48f48785a3868e7f1cac","datavalue":{"value":{"entity-type":"item","numeric-id":1606130,"id":"Q1606130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784942$B362002C-3502-4C88-B5CA-369E08A6B85D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f69c11ea8ca2436ab712a54e88fe6488224e905b","datavalue":{"value":"10.1016/J.IC.2018.05.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784942$6BF23688-5187-4D71-AC6B-3FC50A3FC631","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03bebc6a0f6b7db0bdbb945bf39664b8ffddd92c","datavalue":{"value":{"entity-type":"item","numeric-id":3460061,"id":"Q3460061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f070067ff7e20a6507afc19481f2c31f3d87e52","datavalue":{"value":{"amount":"+0.925393283367157","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":"Q1784942$AAE18656-8972-4A38-A18A-F85D3F744FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4e6e5957ed52092b23c1a3ffd2f83aca25555dc","datavalue":{"value":{"entity-type":"item","numeric-id":2946674,"id":"Q2946674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5a080b53955e1b1098e5055e136a31d4abf9f86","datavalue":{"value":{"amount":"+0.9166958928108216","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":"Q1784942$97D2F6F2-4C25-47EA-A19F-BF063DEDA3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcf346bb08405d624db7e5913084380ebd1a8b5a","datavalue":{"value":{"entity-type":"item","numeric-id":3586038,"id":"Q3586038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21b56eaeb853d464831d3b65251d4e3d943ca26e","datavalue":{"value":{"amount":"+0.8781781792640686","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":"Q1784942$4E2600E0-8D07-4AE1-9EEA-C6702A0AF301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313fd23124c15a556e60e6650ae6ebed95b07b87","datavalue":{"value":{"entity-type":"item","numeric-id":3400570,"id":"Q3400570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf51772ce22f906b9656ad493d99e9d05d6a02cf","datavalue":{"value":{"amount":"+0.8745543956756592","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":"Q1784942$7D048808-306E-4588-A519-F03CD309187C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a81f92fb03fede1e3c43c3a9f23902c81c2316e","datavalue":{"value":{"entity-type":"item","numeric-id":2285155,"id":"Q2285155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ece5d75ba1b3aa5302255ad013c4addb3098207","datavalue":{"value":{"amount":"+0.8655202388763428","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":"Q1784942$48D16994-C390-4ECC-AEB9-9C05A735A182","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CTL\\(^\\ast\\) with graded path modalities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/CTL%5C(%5E%5Cast%5C)_with_graded_path_modalities"}}}}}