{"entities":{"Q2914370":{"pageid":2925090,"ns":120,"title":"Item:Q2914370","lastrevid":51561377,"modified":"2026-01-18T19:12:54Z","type":"item","id":"Q2914370","labels":{"en":{"language":"en","value":"Quantified CTL: expressiveness and model checking (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6086177"}},"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":"Q2914370$4BFDE582-E26D-4B7F-B4E2-123FEBD3E5C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3242fb02d5b5edca173181564f3c7151ab2ba84","datavalue":{"value":{"text":"Quantified CTL: Expressiveness and Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2914370$81DFC657-F668-4ACA-8A6C-2E09740B07E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c3dbbc5d8598f249cf33dc6603b04dc8de91fa7","datavalue":{"value":"1364.68261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914370$8B53B0E4-4033-4758-871D-C048C413010A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5de5c29dc608dd064d0c9911030a6523c74ad875","datavalue":{"value":"10.1007/978-3-642-32940-1_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914370$A88E3C7D-CF37-4F1A-B3A0-774E79D39DBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"294587302a72ef809c188ae69d9ed675a16600fa","datavalue":{"value":{"entity-type":"item","numeric-id":2908842,"id":"Q2908842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914370$27AD88D0-E53A-4B84-AF59-1C48CC712D15","rank":"normal"},{"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":"Q2914370$1F12FBC9-CB58-47DE-A8A3-915AF1B1A24D","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":"Q2914370$169CDE8A-4E88-49F9-8855-30B201C98BBB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914370$967BC703-6EC1-4858-BF71-4774D87C958E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6b00aac43a8308ba24a0697ff1b19387c2c0656","datavalue":{"value":{"time":"+2012-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2914370$1C971D22-0CF7-4895-A444-93C5E1BB2DCC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914370$1AC94878-F9CE-42AA-ADDF-50A41F5FA9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914370$84893791-F724-47C4-80F0-F712C9B39516","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8bf84541d14553f1f2a59686274733d0517fa62c","datavalue":{"value":"6086177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914370$79C83556-4F0A-4782-9253-B009A60C8840","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":"Q2914370$90FA8C26-B3A2-4388-BFFD-126CC6F07F0D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f0ac6c6d44760469983eb84b349c51bd5498d80","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32940-1_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q2914370$F46FA0DF-10D0-4509-B2DB-DC924AC80753","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e233773bae649d49c72fb0387b9df8b1b8378496","datavalue":{"value":"W103048026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914370$B2F29300-13E9-4B6D-97A7-4D8CAED7B63C","rank":"normal"}],"P1643":[{"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":"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":"Q2914370$3E2CE18F-6F77-4F01-9797-00E2DDC8D668","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":"f7b2805287b9721c9e2ceb857881b24341eece8d","datavalue":{"value":{"amount":"+0.8757410645484924","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":"Q2914370$EC214693-7DAA-4003-9AD4-403B8289E25C","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":"ea47fceed019bf9f213bd81f2613e5aa5edffa9b","datavalue":{"value":{"amount":"+0.8702179789543152","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":"Q2914370$20E7BD4C-820C-4C5A-AB06-79E345266308","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":"902c53538d0c0803b63e70bc35f98012f3d415e1","datavalue":{"value":{"amount":"+0.8678982853889465","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":"Q2914370$B88E5873-5E73-45BD-854A-2700ABAFA749","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":"93c62872defcaf82e56dfa7284f13f68cec8e451","datavalue":{"value":{"amount":"+0.8652936220169067","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":"Q2914370$A017FB28-EE99-409C-B742-62BD3B9E8E09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2914370","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2914370"}}}}}