{"entities":{"Q2938770":{"pageid":2949490,"ns":120,"title":"Item:Q2938770","lastrevid":58063515,"modified":"2026-04-03T16:06:41Z","type":"item","id":"Q2938770","labels":{"en":{"language":"en","value":"Quantified CTL: expressiveness and complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6386956"}},"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":"Q2938770$33BB5DB4-6600-4DD3-9E3E-54B4E4ACB37F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e679a4b4fc5662672affc30469b843d8d3901a1","datavalue":{"value":{"text":"Quantified CTL: Expressiveness and Complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2938770$EE46D1FE-14CE-4CFF-9454-6B361E15796C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3caa8feb15ed74a0b86980da4170d002d281e30c","datavalue":{"value":"1448.68304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938770$405A60F8-9A55-4295-8527-B516B3D767F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35f6d79248e474dbfbea0bd5d95ed2b1955b66d4","datavalue":{"value":"10.2168/LMCS-10(4:17)2014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938770$E6CFCCAE-0C96-4CCC-AF43-A97C56679BF8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c628048560a95e93b98909122a7164e3572ba0ca","datavalue":{"value":{"entity-type":"item","numeric-id":548703,"id":"Q548703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938770$3AB86014-BFEC-4BDF-AB0E-1A2746C9DB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d176340ebed452900237b26a3a70c9dc57af787d","datavalue":{"value":{"entity-type":"item","numeric-id":481096,"id":"Q481096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938770$5AA48694-99AE-4B93-92D9-D6C1FE266346","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938770$FC89D8EC-6B8F-461B-B6F0-159764E629F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"335462bcdc617573e4ae73f7b94853be1e60308d","datavalue":{"value":{"time":"+2015-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2938770$161D79A1-BF15-4B68-9902-A141F3B2A8B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5f3deee4bb02e09c9992d096e3fa734c64f5480","datavalue":{"value":"https://arxiv.org/abs/1411.4332","type":"string"},"datatype":"url"},"type":"statement","id":"Q2938770$49899978-B7A7-41D8-A4C4-980907AA80E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938770$B5886404-57E2-4936-99F8-73240BE87F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938770$D29C5361-26AD-41DD-9883-234D5CFFC72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938770$2701514A-633D-43EB-BD4B-F4F9B03F28E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ccf0dc6dd85d4c33c89273cc6c16803e24511629","datavalue":{"value":"6386956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938770$957DAD5C-A79F-41BE-B8C4-8AC4025F63EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938770$479464C8-98BB-466D-AA1C-5DD68C2CDF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938770$82A22CEC-0C1B-43A2-8FD0-E7EF4AD9A531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938770$FBD76CF0-9C12-439D-B8E3-2CEAE969A3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938770$7284777F-5245-43AC-9929-9B3A80282F61","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":"Q2938770$BC2BA987-2454-4ADF-B533-E5A7A995D7C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71956962bb60a291a3a6435582c535bd5edb1b5a","datavalue":{"value":{"entity-type":"item","numeric-id":2914370,"id":"Q2914370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa1a55df8b2736314294a80c501ec72c479e5c74","datavalue":{"value":{"amount":"+0.9583047032356262","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":"Q2938770$20DEDFCD-0151-4DBF-BE94-4AAA0E9581A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8fe709b1bfa190886d50fe1b4cc24fe06aca252","datavalue":{"value":{"entity-type":"item","numeric-id":4608680,"id":"Q4608680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8609171684c57c5060a2c7f698e5f5aeb516a144","datavalue":{"value":{"amount":"+0.8815625905990601","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":"Q2938770$AD35D7C7-3676-4072-9E82-2478587DFAF8","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":"087e6d74e3a8e2f383372a0c41948d9c39665016","datavalue":{"value":{"amount":"+0.8772691488265991","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":"Q2938770$0B56F1B3-10CA-455C-AFB1-C08D61FC9957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e85522bb5a1afd452a9e08ee0c27da9d88c317","datavalue":{"value":{"entity-type":"item","numeric-id":6487554,"id":"Q6487554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d07d44da303215f5b72bb4c760239673bfcf1a00","datavalue":{"value":{"amount":"+0.8702865242958069","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":"Q2938770$E5639739-FCB9-4B5A-9D00-C4F2CA365E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"087c048a643a5f5f2a4ed72ba18639b533577335","datavalue":{"value":{"entity-type":"item","numeric-id":821566,"id":"Q821566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d48b222a1ceb8fa5a16f3e2f53477ee4511c8331","datavalue":{"value":{"amount":"+0.8659538626670837","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":"Q2938770$9A061A88-284C-48E7-9C2C-0F2F6ED9B275","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2938770","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2938770"}}}}}