{"entities":{"Q2863171":{"pageid":2873891,"ns":120,"title":"Item:Q2863171","lastrevid":58032540,"modified":"2026-04-03T13:02:43Z","type":"item","id":"Q2863171","labels":{"en":{"language":"en","value":"On a coalgebraic view on logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6231639"}},"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":"Q2863171$AB84CBA2-742A-4598-AEE2-4A2C6561106B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7d58d68eae5e2d8cf456c3aa3f1a6b418b728c0","datavalue":{"value":"1286.03187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863171$479F5818-82CA-4126-B520-811E914508A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c4faf9ddded63e4939b1ea20c41b1258f0df791","datavalue":{"value":{"entity-type":"item","numeric-id":301372,"id":"Q301372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863171$8DC177BA-29EC-4E57-A0ED-DF5758C1DA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f083fb074f8e8c074b73d719a7d91511e8dca2aa","datavalue":{"value":{"entity-type":"item","numeric-id":328661,"id":"Q328661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863171$10CB36A1-442C-47C5-BCA2-D0B81F419F91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cdd4a751ba4fdcf728e9ea46a31d246e59bdb21f","datavalue":{"value":{"time":"+2013-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2863171$57B068E7-CCCF-496B-B0F6-67DF73E6E9EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96fa2ed5ead98362fd693b5ff953ced295fc06b9","datavalue":{"value":"https://arxiv.org/abs/1202.0915","type":"string"},"datatype":"url"},"type":"statement","id":"Q2863171$B4E2CE51-28FC-4CCA-BECB-47A9A8B67B0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863171$499292B7-6B94-4A11-A580-28C4E27A4CA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40c81fc8e29774de7e881dd9e4f00c6165cdfbab","datavalue":{"value":"6231639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863171$D5A21D89-DCE0-4BDE-B4B9-A786D44DCBCD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c67ea07d8b0208e6dbdc28dc1eb63af6e7fd381","datavalue":{"value":"consequence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863171$3BCD706A-018A-4577-A892-527E5078DDBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94b41aac1310de69b34ae465a4b84c610ad0ebe9","datavalue":{"value":"closure space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863171$09C94348-9276-4EDA-84ED-B16799EF52F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863171$8A11BBCF-835E-474F-BCF1-5E84D365FFD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51eeca1118cde926e38138b84c5673e43cd61a90","datavalue":{"value":"covariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863171$638F7CF5-B693-4FC5-9F4A-0DDD35BD4EBE","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":"Q2863171$B7CAB619-335E-4986-9F0C-1C619003E5B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc65a9796b58b7cb586defc790381f4a540a618d","datavalue":{"value":"W2963925787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863171$A5E733B6-7729-4821-A384-62E05B750EF3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5801ac51b559a892f8504b2437775cc59ac573ee","datavalue":{"value":"10.1093/LOGCOM/EXS063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863171$706BF89D-15CA-4BD0-AA9C-04F044EE72E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aed702f9d9fe375a4f1b3e0bb44691987ef831cb","datavalue":{"value":{"text":"On a coalgebraic view on logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2863171$38E118D3-74C1-4FB3-A5C2-427FEEA6835E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863171$979EEE13-70E1-45EE-BAD9-6CBC0552E78D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f55f48eb5b98085513c08514c535e7259e821b5","datavalue":{"value":{"entity-type":"item","numeric-id":3056294,"id":"Q3056294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72eb2af777d5ed8f5a49616e75d55aec6827e2a1","datavalue":{"value":{"amount":"+0.7810618281364441","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":"Q2863171$93A68559-A574-4294-A2A5-41F8F133D191","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":"3e1e6d84b3edffffba2e0fd485f1cf321c1d4d1e","datavalue":{"value":{"amount":"+0.7792335152626038","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":"Q2863171$79BE26E1-9560-4F7A-A45E-A18B56307D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2281f62d80bb1c876136c1875821d96567d0bda","datavalue":{"value":{"entity-type":"item","numeric-id":4533390,"id":"Q4533390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e1e6d84b3edffffba2e0fd485f1cf321c1d4d1e","datavalue":{"value":{"amount":"+0.7792335152626038","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":"Q2863171$14C59BFB-3BB8-4C93-B1ED-F4D81176F431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd272f34e3359ea08563c048e01cbc9d55be358","datavalue":{"value":{"entity-type":"item","numeric-id":283748,"id":"Q283748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b356ffd6dc578d5d55a28e42ffefd851a57bd0d","datavalue":{"value":{"amount":"+0.7785946726799011","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":"Q2863171$E73D2DAD-DB08-4D40-BF2A-576EC83D32DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03c7413a9ede3ca04e9f52a6be50c4aa5213f76b","datavalue":{"value":{"entity-type":"item","numeric-id":2805164,"id":"Q2805164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d8263f72a00f2cfb757eb76d3f6cebd3f7e5cb1","datavalue":{"value":{"amount":"+0.7773976922035217","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":"Q2863171$68EEF5CF-E732-4200-9D41-D57D78E8296B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2863171","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2863171"}}}}}