{"entities":{"Q4914523":{"pageid":6944104,"ns":120,"title":"Item:Q4914523","lastrevid":51691559,"modified":"2026-01-19T12:26:22Z","type":"item","id":"Q4914523","labels":{"en":{"language":"en","value":"Coalgebraic predicate logic: equipollence results and proof theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6153712"}},"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":"Q4914523$F20B895F-0F65-4B9C-8EDE-47917BEC2DF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3fecddfd30df33f046457649df323659fdde4dcf","datavalue":{"value":{"text":"Coalgebraic Predicate Logic: Equipollence Results and Proof Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4914523$0E393DDC-7706-4CD7-B699-C516E2738BBC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e323a7c30f4e67a269c0555e095140c4b7c6ac4e","datavalue":{"value":"1383.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914523$A4D5DF5F-5C9A-47F3-8A9D-48E22B05EC0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31a504417203251a9736644102d89eabc6b1b392","datavalue":{"value":"10.1007/978-3-642-36976-6_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914523$D0010BBC-AECD-436D-96B0-A49E5CFEAA4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26d9c71379638878987f3550595bc014dcf04816","datavalue":{"value":{"entity-type":"item","numeric-id":299189,"id":"Q299189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914523$C5EE6763-C485-461C-9F48-28AB77DB0E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4aa98607dbb9e851d4e2feda2e6a57901527c54","datavalue":{"value":{"entity-type":"item","numeric-id":558416,"id":"Q558416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914523$AFC444DB-4DC4-47B0-AF12-06DDA37CDA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de42c790bfecc7c912b4336cc05398121dc9d5b8","datavalue":{"value":{"entity-type":"item","numeric-id":497415,"id":"Q497415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914523$E1CD0573-6809-43E8-A724-469414F4D7DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"73721dca36e09b1fa1957406b9ce9131cf322a8e","datavalue":{"value":{"entity-type":"item","numeric-id":3019965,"id":"Q3019965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914523$AFEE7A11-6169-4501-8036-798EE8E56AEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16b61607d3c9e95948e64c616265d1c851d4a4a4","datavalue":{"value":{"time":"+2013-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4914523$8490A7FE-18F4-4C8E-BE51-C65D2F4106AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914523$F8536A28-E741-4515-B63A-8159F099717F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914523$68B8BA52-59C7-44E2-AD58-F9F346A0961E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914523$C0B73748-418B-4F89-8AF9-1EEA96050815","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9eb98bd1223ffe4d0339f95283f8aa25954d863f","datavalue":{"value":"6153712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914523$3EAD9CCD-46FB-4301-846E-ECB758325119","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":"Q4914523$89BA7AB9-0824-4747-B111-8C07D9489D65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"679f06a11eb0272666297a4ee2542d3474b86980","datavalue":{"value":"https://doi.org/10.1007/978-3-642-36976-6_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q4914523$644F1ABC-C1BA-4355-8124-648F7CAD1F0F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"63d3d8d3f87f886993617b00c15b267933fae172","datavalue":{"value":"W1902492665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914523$86935427-68A2-4082-A0C1-C4F8DB6CC5EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"108eb8d21ccbc91ce59a1bb96c69f172900e07f7","datavalue":{"value":{"entity-type":"item","numeric-id":4637694,"id":"Q4637694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4be981c7c41f2b64524d83dada0ba236a532ec0b","datavalue":{"value":{"amount":"+0.8590030670166016","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":"Q4914523$F4C66D1B-2069-45A4-9144-14B7CB5FD9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7847e1d32ffa0a281ff8719fbf8246c6dd135e43","datavalue":{"value":{"entity-type":"item","numeric-id":3167020,"id":"Q3167020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4c614aac159bdcde332745adc9dad5d7c0892ee","datavalue":{"value":{"amount":"+0.851596474647522","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":"Q4914523$9CB6D469-9AAC-4319-8896-7365D5F0615D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94a596d34a8ec5a4e27e7098bc350b4ab8b233aa","datavalue":{"value":{"entity-type":"item","numeric-id":2983396,"id":"Q2983396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2c7b8ee61a8b6016bfd967f95a648293ccd510b","datavalue":{"value":{"amount":"+0.8453787565231323","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":"Q4914523$3F182AD2-DE62-4DDD-A009-E1BDBDBA0DEB","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":"32a508a6be15630f58b4a29e6edb57496c2e6c41","datavalue":{"value":{"amount":"+0.7923951148986816","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":"Q4914523$9BC35C59-0825-49AC-BE6A-302F06FB5D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a734d48f8b8cf90d10e9e054ec680c1b7ee9433d","datavalue":{"value":{"entity-type":"item","numeric-id":639647,"id":"Q639647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"678e2f62cb73e74b7985a4a3894132f160797b54","datavalue":{"value":{"amount":"+0.7805265188217163","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":"Q4914523$896F4DCD-419A-4F18-90E4-4AA9CD2FEAD1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4914523","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4914523"}}}}}