{"entities":{"Q1770366":{"pageid":1781108,"ns":120,"title":"Item:Q1770366","lastrevid":72502152,"modified":"2026-04-14T05:21:33Z","type":"item","id":"Q1770366","labels":{"en":{"language":"en","value":"A compositional approach to CTL\\(^*\\) verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2153166"}},"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":"Q1770366$C3871C67-A1B0-4F23-BE8D-518C442369A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b06c4f46941cae5a18aea3f0f8552f7a9aeed0d8","datavalue":{"value":{"text":"A compositional approach to CTL\\(^*\\) verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1770366$9C84C8A2-17FF-47BC-8342-016869053F28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7def04d3e4bbc47ddefdce463d7fd0a860f47c9","datavalue":{"value":"1079.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770366$FFCE15F6-CD15-46B4-8080-0D1D82427208","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5c32502a6d95c8a51d14316c1feffb3f43bbce3","datavalue":{"value":{"entity-type":"item","numeric-id":208769,"id":"Q208769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770366$01300E3F-8A2E-4EFC-B9E4-033AF4290F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770366$EEA53AB9-F346-4284-8F3C-D98E4FD9EC6E","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":"Q1770366$3664D7CC-8690-4260-94F7-C04C6A8387AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1934d792c26a5fadc4b54d2e40cc5c88366797ca","datavalue":{"value":{"time":"+2005-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1770366$7419B51E-9F6B-4B52-828C-5639D9662897","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770366$91AFD00D-F0ED-493E-8723-E5A2FE06F8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770366$E3D1B399-D952-48D5-B1E1-1DF5130E8EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770366$5A9DB5DE-54B3-471F-B78C-E12DDBE80609","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2cc027f00883f083be6ed5387ec69279fda5960","datavalue":{"value":"2153166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770366$30952740-E461-41F5-9644-4609805FFCF8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b821c62a5b1211c5584b9b4fdeb081533e7cc29","datavalue":{"value":"symbolic model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770366$60B5A092-C6C1-4E8C-9714-811DF47355D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaa74f946f4a7cf49359214ccbeddb232ccd2dee","datavalue":{"value":"deductive verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770366$AFFFC844-3D1D-404D-BD3C-55982DD98FFF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"786a5236ac94f9692f521c02ac8270dab6d23cde","datavalue":{"value":{"entity-type":"item","numeric-id":29799,"id":"Q29799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770366$58917D32-4944-44AB-8944-AA155FCE4F98","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":"Q1770366$A6C7E362-027F-49F6-B0CA-5CE76D570CB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dddcc748e3052e1bf55500d97cd53d22f4f5b090","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.09.023","type":"string"},"datatype":"url"},"type":"statement","id":"Q1770366$B39AB157-6C1C-4AE1-AE7D-493CD089CF6D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51c7c2dec4faad839a4848d94cb00f4042d2baed","datavalue":{"value":"W2078078820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770366$7954129D-F68B-42ED-A14C-8ABAD73DEB74","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4c9eb0bc39c2db4fa09c1fc685181796f068e9","datavalue":{"value":{"entity-type":"item","numeric-id":1211504,"id":"Q1211504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770366$92815941-1ECF-4564-B6F8-9B67957559F9","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":"Q1770366$8C935206-3376-4ED9-B1DE-0F87F88F406D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770366$4EC8FD52-E0A1-4A80-8851-EE0932B9F272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bed96517ad5ba1babe6b302ab098c89d0358319","datavalue":{"value":{"entity-type":"item","numeric-id":1820578,"id":"Q1820578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770366$DB44E667-BDC9-45A0-BCCE-E2531F723BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e04cf66f1b8c3bd1f3bbed16cc3b96dabda0b39","datavalue":{"value":{"entity-type":"item","numeric-id":1854391,"id":"Q1854391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770366$6753C181-C673-4F78-9CB8-DDA10D2CF5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"316877b526d468719217a373abc9f79e0e35757a","datavalue":{"value":{"entity-type":"item","numeric-id":2505624,"id":"Q2505624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770366$6D4555E7-FABC-4DE8-A871-99CB5FD8BD66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3261cf7e2174b332e3482b23b1e1c76c1020c488","datavalue":{"value":{"entity-type":"item","numeric-id":3922147,"id":"Q3922147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770366$029443B4-0A97-494C-8AA5-B785CEA0ADEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a2b1afdfd50f7f4404e431384ee3957a9cf5c28","datavalue":{"value":{"entity-type":"item","numeric-id":1176248,"id":"Q1176248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770366$78BCC410-2E1B-4390-A548-2185AE20A188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770366$459D45E9-CD70-4312-9CB4-1D183C4DBA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed7f5135c5ce9e5fab4f02c906a9b2b56f6abaf1","datavalue":{"value":{"entity-type":"item","numeric-id":4553254,"id":"Q4553254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770366$E37CCBA3-2207-4B10-A153-5ED1BD9FF8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d5db2ff3a98847229e37022afd68316e61b698","datavalue":{"value":{"entity-type":"item","numeric-id":4474227,"id":"Q4474227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770366$58199D73-EA74-4FAF-B822-21456EAAF7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2caff7ee1612d67e6023e25fcd3afb3640b37c8","datavalue":{"value":{"entity-type":"item","numeric-id":3814796,"id":"Q3814796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770366$813005CE-8415-4698-BE93-2905F3CF663C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6440aa6eb5d414713f792f7d809d5508c4bdc0ba","datavalue":{"value":{"entity-type":"item","numeric-id":2758043,"id":"Q2758043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770366$D5AD410F-F782-4A37-9FE0-F92B50796D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb2cbd406133dd80bf3f5d166c994f8dbc0f6ff6","datavalue":{"value":{"entity-type":"item","numeric-id":1124314,"id":"Q1124314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770366$76B63502-B6C9-4639-8BDB-2493883E896D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7a9ad4d889d3380a47b465c17efa91abd3be07b","datavalue":{"value":{"entity-type":"item","numeric-id":2277249,"id":"Q2277249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770366$8436456A-DA75-4B2C-8A7D-D6B58CC2FC22","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6be6c1c5944aaca21795553529162a595ccc7b3","datavalue":{"value":"10.1016/J.TCS.2004.09.023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770366$A87CE0E7-278D-40BA-A16C-D3D4550FD98F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c084d7aaeb05c8c0b51aacdb26edde7a746b3a5","datavalue":{"value":{"entity-type":"item","numeric-id":5504119,"id":"Q5504119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce9e69462892f6b94ac32b33d81bb18c891011c4","datavalue":{"value":{"amount":"+0.9471535086631776","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":"Q1770366$891EA7AF-7FC1-4889-9BF7-C19EF38FFB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b127dff620d3da7cecf0861c40a8f674af02ec2d","datavalue":{"value":{"entity-type":"item","numeric-id":4484475,"id":"Q4484475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18fe579f8887c03eff463a00c6f6ccf3547df78c","datavalue":{"value":{"amount":"+0.8824162483215332","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":"Q1770366$6BE5AC99-CDA2-4412-BCA3-AF814FC29465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3c9dca3a78a770850868382fd9a56590720a9de","datavalue":{"value":{"entity-type":"item","numeric-id":1702907,"id":"Q1702907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"510ce1e63a9d18a71f75e3427ed33945f8304eee","datavalue":{"value":{"amount":"+0.7915360331535339","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":"Q1770366$AE8A44AD-027C-497B-8B4F-7C0418912FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f3170019fac32b2113488c1991e48e7bf13010","datavalue":{"value":{"entity-type":"item","numeric-id":5465889,"id":"Q5465889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53e5d98e61f4ec5d0d33a457f129ad1a077689e2","datavalue":{"value":{"amount":"+0.7905153632164001","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":"Q1770366$127CC32C-832B-4763-B7F6-A341D162BDB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e2cd6ac266c53d3b9dc6fd98343cf7ed39f2abc","datavalue":{"value":{"entity-type":"item","numeric-id":3454102,"id":"Q3454102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d35b77f767aba485d866ec41fa400cb5578d2d92","datavalue":{"value":{"amount":"+0.7782005667686462","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":"Q1770366$C137DE48-DE32-42C3-B60F-F06A45BE1199","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A compositional approach to CTL\\(^*\\) verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_compositional_approach_to_CTL%5C(%5E*%5C)_verification"}}}}}