{"entities":{"Q2842552":{"pageid":2853272,"ns":120,"title":"Item:Q2842552","lastrevid":51800828,"modified":"2026-01-20T02:49:56Z","type":"item","id":"Q2842552","labels":{"en":{"language":"en","value":"Institutionalising many-sorted coalgebraic modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6198601"}},"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":"Q2842552$009E7699-A02A-4CCB-9D93-F55DE510AC6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a78a8d7a155dc1f3485442eec03fcd2c91fe4cc9","datavalue":{"value":"1270.03140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842552$60E03714-72D7-469D-9D33-27305636E348","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bcf87db2d86cc5e4fc220e2d653c924d18443637","datavalue":{"value":"10.1016/S1571-0661(04)80359-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842552$C40F3693-BACF-4FAB-BAF0-B9D13AD4C9BF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842552$A46DD465-465C-430B-9B69-B41C1757CBAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cae65d5bdd2bde2e45e093857c98fd868d4f335","datavalue":{"value":{"time":"+2013-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842552$B8392BA9-B23E-4C95-9B63-7DD3A94F6F68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842552$A63381C9-E05F-4439-A2D9-0A9F31C0E38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842552$F8333B15-501A-41AB-86DB-3ACE1C6F2117","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4613eb9ea5e7681cef1084afa50dbcae5e56f66","datavalue":{"value":"6198601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842552$DE0EF0F2-AF2A-4FD3-A5FC-02E1202E903B","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":"Q2842552$E256E19A-2823-47BE-9B24-9691C835C7F7","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":"Q2842552$EE770780-596A-49CA-A671-A35106E50EF9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0fbec3fefb5470d8f02bf350e8c816ac7a4bd3b","datavalue":{"value":{"entity-type":"item","numeric-id":4738219,"id":"Q4738219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842552$0B04C9A3-CA12-4BF8-B319-113BED640906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842552$C1B8D883-BC5D-4EA9-9D63-7A0EBBACAB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e0c1a3971cc7f76bca9a97135041403ab6c6cb","datavalue":{"value":{"entity-type":"item","numeric-id":2747941,"id":"Q2747941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842552$5FC3901E-C01D-4FFB-8BD6-299568CB02D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f731e63f751eda97d9f9a0b426ed48152b6bb5db","datavalue":{"value":{"entity-type":"item","numeric-id":4222950,"id":"Q4222950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842552$2C25C343-0269-4624-A482-504262EF3EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6154624416d56c5ff407c98b19ed95429167895","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842552$A5A1CF2B-C25E-4A49-A32F-0219579E9671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79f2d776dbf781b1b6074a3e3f67d86e9087341c","datavalue":{"value":{"entity-type":"item","numeric-id":4499303,"id":"Q4499303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842552$5518578A-A48B-453F-A045-56E89D640B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842552$D1FCF30D-9801-406F-A60F-EAAD6E0571BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"173376fb28085a2f4d120bd6f1b28ed010c88dec","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)80359-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842552$8A4617A9-D139-4473-8298-B8ED7256D873","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"34308c69dbfaf86c046e9483e44a172acbd52f92","datavalue":{"value":"W2034116194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842552$450AE532-BA1E-444A-B86A-3B923880B12E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9b3ce33f73d58ded7a92ad62609909e78997d8d","datavalue":{"value":{"text":"Institutionalising many-sorted coalgebraic modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842552$308984E6-6D54-4224-9402-D3B1814FB23C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42f908b0ed7cdf2a2ad93a77812290885f437cce","datavalue":{"value":{"entity-type":"item","numeric-id":2369032,"id":"Q2369032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9737477e5f0af0b858b9af28c1b976089201d407","datavalue":{"value":{"amount":"+0.8480867743492126","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":"Q2842552$084E3B14-C9EB-4963-A9AC-60301E1DDAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1695beff0b2a07a406faa8cd6e00dc0aef9723b","datavalue":{"value":{"entity-type":"item","numeric-id":2747941,"id":"Q2747941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b601828e6c7580cbc3a648283b2714e46a53c54","datavalue":{"value":{"amount":"+0.841666042804718","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":"Q2842552$6623F7C5-61B3-4BB0-ABC2-5DA1189A4859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53c5c1c631665573b2efa5cc2b858b0a4a31fd33","datavalue":{"value":{"entity-type":"item","numeric-id":2873668,"id":"Q2873668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2db5a7d587fed17b2d53e55f978131847223c1cc","datavalue":{"value":{"amount":"+0.8341706991195679","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":"Q2842552$C3996D3F-354D-427F-A7B4-8C85941ECB5D","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":"9788d2a7afaaf14191938ee8b987ff7803573817","datavalue":{"value":{"amount":"+0.8006442785263062","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":"Q2842552$64E8DABC-6771-4230-A808-37DB5E8D2231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0575f9cc6e3c3a021aed09e640314a5252f3480","datavalue":{"value":{"entity-type":"item","numeric-id":5941165,"id":"Q5941165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae1e05c66d923f8af945415f7b9ca9cfeeaff8dd","datavalue":{"value":{"amount":"+0.8003228902816772","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":"Q2842552$A5EA809C-90B2-4FBB-87E8-0A5F68D52765","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2842552","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2842552"}}}}}