{"entities":{"Q2942777":{"pageid":2953497,"ns":120,"title":"Item:Q2942777","lastrevid":79583195,"modified":"2026-05-06T14:15:33Z","type":"item","id":"Q2942777","labels":{"en":{"language":"en","value":"A coalgebraic view of characteristic formulas in equational modal fixed point logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481071"}},"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":"Q2942777$84C1EF69-6486-4F37-94D8-4CC1B2FB2480","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7488663731a6109918d4c4b51915c55cc2c07743","datavalue":{"value":{"text":"A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2942777$05ED7FDB-9C55-4593-8F8C-F386ACF1D001","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d331daea6e38498e0003cf254d39824d48357859","datavalue":{"value":"1445.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942777$15886649-DCF8-4DEF-B999-59C52C4263DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c2826904b0fc738dadaee6db7f90256cf1a1152","datavalue":{"value":"10.1007/978-3-662-44124-4_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942777$36108FDF-EC64-41BB-B1BA-7AA2FC634348","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"21f5340f94d7e8bca6721e5302fe3e9f5e2cc1b2","datavalue":{"value":{"entity-type":"item","numeric-id":694495,"id":"Q694495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942777$EB6CB7FE-193D-47C2-BDF4-AF76AF055264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c966e7dbbd59a484367bbf8cf75fa2113f8ffd32","datavalue":{"value":{"entity-type":"item","numeric-id":426788,"id":"Q426788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942777$14638CB4-FDB6-4E45-A81C-5D4230FA5073","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d7bccb37f598e8e97b191e774d9cef485c5e3f3b","datavalue":{"value":{"entity-type":"item","numeric-id":2942771,"id":"Q2942771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942777$A29A0D1F-7EAA-428D-A85E-A8A93B42C433","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dc3af13f56c9757ccde8db0e7a8779bcfa3e4e2","datavalue":{"value":{"time":"+2015-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2942777$81E0AAF9-354F-4B89-B83A-4BCC7800F9EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"077be5ebf73a0684a02565a32f8246b484d5ccc2","datavalue":{"value":"https://hal.inria.fr/hal-01408754/file/328263_1_En_6_Chapter.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2942777$037EB575-A037-4C2C-953E-4546AB3F049F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942777$3614B662-0A91-4A09-93DA-05AC299F73C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942777$01D1F1E9-DB4C-4111-90CC-985D3F9D0D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942777$781015F9-6B6E-48BE-81EA-B4A0B521A142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942777$5014780F-6EB7-46F7-8D0F-3E4F20258B63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b961b6e413de6d30e5c50f134c20d5b299273d83","datavalue":{"value":"6481071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942777$B983153D-A216-47F2-A8F3-DFEFFEE1A7D3","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":"Q2942777$79E1C637-E3C7-4FE0-ABF0-2A723EEBAE3A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0986b386f2e342a3c94e90640c4c1062a4421f9","datavalue":{"value":"W2261621637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942777$FF8A237B-342A-4FC4-9F78-1359E67A75AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db56bc1b3b56fa0420dbf4ce3c809e8bb0c4a01c","datavalue":{"value":{"entity-type":"item","numeric-id":558417,"id":"Q558417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"737daa0960cb9d43121c096ca6e101510cb2af49","datavalue":{"value":{"amount":"+0.8079493045806885","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":"Q2942777$87069DB0-BB93-4238-A284-42585E72493F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9a0b029343682e0aed93dc5c2dc6e0f520d4654","datavalue":{"value":{"entity-type":"item","numeric-id":2762529,"id":"Q2762529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64a7d9a3a818c039575131ec23edfa786ea9be36","datavalue":{"value":{"amount":"+0.8035334944725037","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":"Q2942777$9036D3A0-3CC0-47B0-9C26-8DD21821F900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6b5d1c10184e87f84fea62c405c49013a7aa9f5","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39f70a7b266b5e6a89bc1f7a5896685f82a6e261","datavalue":{"value":{"amount":"+0.8008263111114502","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":"Q2942777$AFFF8FE3-E635-4111-9419-6DB258A6D373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2986515c2cf47222e4d1a919eb59be013d8e41be","datavalue":{"value":{"entity-type":"item","numeric-id":5146592,"id":"Q5146592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39f70a7b266b5e6a89bc1f7a5896685f82a6e261","datavalue":{"value":{"amount":"+0.8008263111114502","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":"Q2942777$73FA8E18-3A3C-4220-8E78-78077A1B45AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88978ae85c7669f1474add396d88ce2da66adab5","datavalue":{"value":{"entity-type":"item","numeric-id":2883115,"id":"Q2883115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb937f07d3bab018e1199a53b2bd58c83d7bc4ff","datavalue":{"value":{"amount":"+0.7959634065628052","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":"Q2942777$ABAC1241-C227-4CF9-826B-7E0BEFA96F56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A coalgebraic view of characteristic formulas in equational modal fixed point logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_coalgebraic_view_of_characteristic_formulas_in_equational_modal_fixed_point_logics"}}}}}