{"entities":{"Q5410688":{"pageid":7440262,"ns":120,"title":"Item:Q5410688","lastrevid":51980645,"modified":"2026-01-20T16:35:19Z","type":"item","id":"Q5410688","labels":{"en":{"language":"en","value":"A coalgebraic approach to linear-time logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6286350"}},"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":"Q5410688$6D1B46FB-25BB-4B6A-8928-9B3642E6284E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"206f7d40e7d0285ea8a5747021d84e550279829e","datavalue":{"value":{"text":"A Coalgebraic Approach to Linear-Time Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5410688$0C1D5DA0-64C6-440C-B816-734406DC3753","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b123a354d29d44b7b9dee88e8df3a4f1bd4e1354","datavalue":{"value":"1405.68192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410688$9F94DC67-6056-49B2-8D46-3F9C97A1E2F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3630bda4a1b3e959f889afd176e5b7fbaeeca13c","datavalue":{"value":"10.1007/978-3-642-54830-7_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410688$F39B5EA1-92BE-4641-9097-F59497C3DB15","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":"Q5410688$E774B411-9E97-4CBE-A48F-D87BF327E125","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a3c251b63516e63161db6918c2e83c80c7676385","datavalue":{"value":{"time":"+2014-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5410688$9FCC81C4-F315-4D69-96A8-A90A5C71B0F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410688$7F779D09-0145-467E-8413-484ACB6A7113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410688$58686F9A-9008-45CB-82CE-39E0D4098F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410688$4E4A385A-6AD6-451B-8D3B-F5E8A6CEA271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410688$6020FF1A-E9E6-40A5-83B7-7F017838E643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410688$596C23D6-6BA3-4992-85A1-2B435918E276","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c70d191c3758023c0af4f2dc91c7077f2983f80","datavalue":{"value":"6286350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410688$E2210BF0-B9DF-401C-A9F1-957A82B8A75A","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":"Q5410688$11A707B2-5E40-4246-8591-C8EE5A30968D","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":"Q5410688$8DF38384-B95E-4A38-AE32-CB4D20E0CC5D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c27ca9890011a3579f76b805e7d0b81309edeca1","datavalue":{"value":"https://doi.org/10.1007/978-3-642-54830-7_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q5410688$4AC0B3BD-8111-40B1-A8F7-F2FB785B1CDF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4b22210c98e34dfa8edd967f307c03ff467ef4e","datavalue":{"value":"W2118222259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410688$DA9FF237-B237-4701-BB2B-6A72058EE55A","rank":"normal"}],"P1643":[{"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":"84dd46ca8c97fa64a3b489d049d7b21599ed670c","datavalue":{"value":{"amount":"+0.9035050272941588","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":"Q5410688$A12F45C9-4B86-4393-9155-30350FA328DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"741a91472e11c8c4d166a9c77592a0ddba1508e7","datavalue":{"value":{"entity-type":"item","numeric-id":4992895,"id":"Q4992895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35c7f9d2e59e11fdcf8bbe0495f72c7a9339c160","datavalue":{"value":{"amount":"+0.8985174298286438","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":"Q5410688$F746D9D6-F92F-4C31-9860-4920A35DC3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57a379a2c680d03a5908747ab00f2ddaa7482858","datavalue":{"value":{"entity-type":"item","numeric-id":4589615,"id":"Q4589615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"983d42e41dca5bb3be691ea2d4c8cdf5caea80fc","datavalue":{"value":{"amount":"+0.8982236385345459","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":"Q5410688$7D336AD3-5E7B-416E-87AE-781B44145CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f10c8f423222f332e5a5812a8b0bca0964da141e","datavalue":{"value":{"entity-type":"item","numeric-id":3184736,"id":"Q3184736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e536e699715cf0d31594f7f6384f326e4e71e968","datavalue":{"value":{"amount":"+0.8022193908691406","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":"Q5410688$7D74EA34-D1C3-4C04-B83C-4C16839FA41F","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":"d1f7ec5fcac8d0661aef589a53251f669cae5d95","datavalue":{"value":{"amount":"+0.7945238351821899","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":"Q5410688$7512B882-A59C-4225-869D-73417055F545","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5410688","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5410688"}}}}}