{"entities":{"Q3090866":{"pageid":3101581,"ns":120,"title":"Item:Q3090866","lastrevid":51324761,"modified":"2026-01-17T18:41:26Z","type":"item","id":"Q3090866","labels":{"en":{"language":"en","value":"Model checking linear coalgebraic temporal logics: an automata-theoretic approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5945224"}},"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":"Q3090866$F82EBBCF-6C21-46C4-B6BF-8C0FDF6B0505","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8964739c769661fe3efaf36f038291416ab0ac5","datavalue":{"value":{"text":"Model Checking Linear Coalgebraic Temporal Logics: An Automata-Theoretic Approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3090866$643038CE-C8E8-4E64-A771-6B61C2A737DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd06d7aa6cc91ac974fbd41ee8a41863f1be7b18","datavalue":{"value":"1344.68137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090866$9CD96F61-B69B-4B4B-ACF7-7AF2E407FB75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d66d1f947c14cbe1b81f86d41c65eca75cb3c7f3","datavalue":{"value":"10.1007/978-3-642-22944-2_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090866$F709EBC2-D231-4F5B-81C1-7F3547B74703","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c69d0d6931faf1bde94dc1cf33300ba4c2b8327","datavalue":{"value":{"entity-type":"item","numeric-id":2848933,"id":"Q2848933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090866$BE0B1A41-AAB7-4FDA-BA67-9A5ADD4BCE6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d7295b9347873304d294896a31c0caaf61226a3","datavalue":{"value":{"time":"+2011-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3090866$F0FB96B8-C586-4972-A232-6C165B0E762E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80c1e9519fa30c82ea2882d399896480f29f5da4","datavalue":{"value":"https://eprints.soton.ac.uk/272356/1/CALCO.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3090866$E7022FBA-6A26-45D0-8866-DE826DE8D4F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090866$DFD09769-7CC4-415F-8A7E-2B6FC1553A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090866$9CBB942B-A121-4EAF-8C1A-2B2EC7366DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090866$39F3872A-D6D2-4912-99C3-C53CA942211B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090866$F00062CC-D994-4CC5-9FDA-98674565A8BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2797daab17f23e10e43135c6c0abe626c8838eee","datavalue":{"value":"5945224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090866$86BFFA92-E4FA-4E87-8703-356957BB7595","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3090866$9A7D18B1-AB43-4221-9836-05005E2FB0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c49916021edccb418deb9b5c9398917147892e7c","datavalue":{"value":"trace","type":"string"},"datatype":"string"},"type":"statement","id":"Q3090866$7B430D6D-56C4-4C38-82F6-192332C2C1E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3090866$32EC051A-F223-427A-AF68-A5C46F698323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3090866$50B36B19-5532-4C42-8682-749A2737BD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3090866$28D3F6D7-7922-4763-9BB6-D3ADDE83E971","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc402d38834f47950a92c3a03e8f6ae3a4e6a78","datavalue":{"value":{"entity-type":"item","numeric-id":639644,"id":"Q639644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090866$62F92289-5F0E-4657-A2E7-877D5B2D1B08","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":"Q3090866$6567D6C8-544B-4B6E-9A1B-1DEAC6EB2DA1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cea40d90cd4280864c89facfad9ebe250965e6a0","datavalue":{"value":"W1962098915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090866$AE7E08C4-EDD5-41AC-A9E1-4FFC6AACB3F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e835e2ad0df148f81ebc6f114e151edbfbcc4ef3","datavalue":{"value":{"entity-type":"item","numeric-id":639645,"id":"Q639645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d113e167b48dbf32187bdbd114b1dd193a535e5","datavalue":{"value":{"amount":"+0.8090711236000061","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":"Q3090866$13DFE3BA-FDC4-4386-8704-B4DD058441F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7327cc9917572c30f723c8f6e8f35eab701268d","datavalue":{"value":{"entity-type":"item","numeric-id":5410688,"id":"Q5410688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dfe8a19816c5b7495447a74d9b7664f6ede9d0d","datavalue":{"value":{"amount":"+0.7933211922645569","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":"Q3090866$52147F68-358C-497B-A268-F1F1E67EEEB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb7426df4dd139b8554878ae469721ca034ddaa6","datavalue":{"value":{"entity-type":"item","numeric-id":2919451,"id":"Q2919451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b1ec7030e91666e2ba5c79d4beae4f4fa370af4","datavalue":{"value":{"amount":"+0.7902259826660156","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":"Q3090866$DD113AD0-EFE1-46C7-A01D-2B1E4ED86F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ee23c0fddcfc214e8622d76ce20bf41db3c673e","datavalue":{"value":{"entity-type":"item","numeric-id":5275344,"id":"Q5275344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a4b471115804405a0e42f08695bf2cff8380971","datavalue":{"value":{"amount":"+0.790166437625885","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":"Q3090866$92294D18-6FDA-4833-ADF4-059A2A413F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea47ba968525800d4cb78ae54ec787bf8b92dd41","datavalue":{"value":{"entity-type":"item","numeric-id":4608676,"id":"Q4608676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13715f22004b77d7ecd54a7c77966a03c6f5953f","datavalue":{"value":{"amount":"+0.7879970669746399","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":"Q3090866$FB861B76-6711-4A28-801B-EC45417F250F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3090866","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3090866"}}}}}