{"entities":{"Q618171":{"pageid":619947,"ns":120,"title":"Item:Q618171","lastrevid":63220953,"modified":"2026-04-11T11:25:19Z","type":"item","id":"Q618171","labels":{"en":{"language":"en","value":"Cut elimination in coalgebraic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5836751"}},"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":"Q618171$FAEB9FDF-4CEF-449D-8A9A-AAC9F75871F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5db78ee90b356e0fc8b25978c3f3cb1514dea0f","datavalue":{"value":{"text":"Cut elimination in coalgebraic logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q618171$51ADFE18-3DF1-40AA-9203-AC4A84D21C18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ce4f5fb7df41b784885a4fb41d3658bb229be40","datavalue":{"value":"1255.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q618171$7E76540C-AD3C-43D8-B830-E47DF108839D","rank":"normal"}],"P16":[{"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":"Q618171$B853B278-693C-4179-81C5-041684A1BC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eeed33b2287d1ef7af5a3fd00bdb188f793ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q618171$F0B8395D-52D6-4AD9-9C8E-6108DBE0F2F0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q618171$8BA0BCC3-622A-42AA-9B53-88E43200931A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d14a749cd124a799ecf622509edfb6062024c1c","datavalue":{"value":{"time":"+2011-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q618171$E83811FB-9E4B-4552-9692-0ADE70891D4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q618171$6EC12217-A456-4241-AC4E-4A856B0D0DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q618171$B7523DDC-6087-4AF0-9C95-02EB4C117DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q618171$0B255039-E1B2-42EB-BDE1-CDB52E93424E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q618171$D4F5FF43-A819-4AFD-A6B8-D0DADC250F60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ec90eeb9465916805d4d73f78e4149cd42253d1","datavalue":{"value":"5836751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q618171$721D6AE0-C660-4BCC-842D-F382F2079E07","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q618171$846FAE3A-7FBA-46AC-AFD8-E50B830D9364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2ac2883b93bc6d38f9b54353e42de243081356","datavalue":{"value":"propositional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q618171$37DE1A31-8C0D-4361-88F7-B83DA43DD0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q618171$C001B968-87F8-4C2C-A163-0543B51BD671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"523eb4dee4e0de4d796d9cbea25be1afad3f8a00","datavalue":{"value":"coalgebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q618171$E012DAEA-FAF5-4F48-BF17-60543366D04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1488f9a366e224f4e9f874b07c7a8b57cf50236b","datavalue":{"value":"interpolation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q618171$C7BEB4F8-3F60-442A-BF13-125E7DB67E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a443cbc82c2a0ccf5c92eec579db7975f57921d9","datavalue":{"value":"coalition logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q618171$1DFB8217-DEF3-4E30-8FE4-5A5171FD31D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc44be0a596d653acc9d6614c1a30361b98d39e","datavalue":{"value":"conditional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q618171$2C3655F3-D355-4763-9E42-65F55D47D37D","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":"Q618171$FC870863-7EB9-4F15-8A5C-8217CA6B0160","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9daf9668397c8387267ae753716608a1655f3878","datavalue":{"value":"https://doi.org/10.1016/j.ic.2009.11.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q618171$EA96C64C-E69D-4569-BBB1-E584860EF1EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"36d2ee701782cae46d092c2b69067482747e4d0a","datavalue":{"value":"W1998546048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q618171$D7F56197-62C5-4693-B896-24251CE39DF1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dee242edfc0ce2685f2a03ec3be9ee5cb8a12c1d","datavalue":{"value":{"entity-type":"item","numeric-id":2563456,"id":"Q2563456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q618171$03AA0FB8-C146-4D5E-8925-6CB1372AB1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e1d811262dd8c2250bea4bc0f676125b4798fd","datavalue":{"value":{"entity-type":"item","numeric-id":4539639,"id":"Q4539639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q618171$41CF37EE-5AAD-4D00-BEB7-E714489558F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1dabc3caf0d6caed15aa8ccf537c1dbb970267c","datavalue":{"value":{"entity-type":"item","numeric-id":4364506,"id":"Q4364506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q618171$788EB0D4-834E-401E-BA8B-EF4D60EA935F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q618171$DD8C4B34-C156-46B0-9218-D5C9DB50FDB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6398ee602b21d03896197f5b09fe5f5f8560bc1","datavalue":{"value":{"entity-type":"item","numeric-id":817704,"id":"Q817704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q618171$49029899-59D5-4855-AC81-B2E42DD66EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7f1a60c6e3806b7702203145e0970dcda3051ea","datavalue":{"value":{"entity-type":"item","numeric-id":1337606,"id":"Q1337606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q618171$B2E734CF-3057-42F3-9090-D3F9E02860C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1aae49eb6b5d7cf3c74c68e06df16ab076f84f","datavalue":{"value":{"entity-type":"item","numeric-id":2753601,"id":"Q2753601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q618171$57E7E8F0-063D-4C5D-91AF-02EC058721DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9de50a3c0bf50298cfefbe6e7d19e04715a61d","datavalue":{"value":{"entity-type":"item","numeric-id":4518916,"id":"Q4518916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q618171$7CA75D8E-28A5-4374-BE86-4B214973E974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c3ecd05b920043cd848328093971a170ec0a499","datavalue":{"value":{"entity-type":"item","numeric-id":2847811,"id":"Q2847811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q618171$D0899CA0-1824-46AC-B2FA-23D32E831325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f675556cee6d5c516464f4857d32f5f511922b79","datavalue":{"value":{"entity-type":"item","numeric-id":5941162,"id":"Q5941162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q618171$85BADDFE-0389-431D-AE2D-999B5A1E9024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26da5ba51d3fda529c78c9f4483730fc2d471baa","datavalue":{"value":{"entity-type":"item","numeric-id":1189894,"id":"Q1189894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q618171$58ED9F58-7F57-4F29-8138-F3B7D883630E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"164d5958e5083b10f8e82ed42140727a0ef780a4","datavalue":{"value":{"entity-type":"item","numeric-id":3972527,"id":"Q3972527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q618171$9DE28193-284C-407D-A6EF-A1A02C0AA4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q618171$2E3D6F57-025D-4E85-A78C-757E77037322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b80a374b3c6924c7ff54b10bc049ba49c7c861","datavalue":{"value":{"entity-type":"item","numeric-id":5277787,"id":"Q5277787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q618171$24650CF5-B694-4F62-BA8B-DCF81F5389E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a83a0d0759bd552791c47669aaf3c7e2c42801","datavalue":{"value":{"entity-type":"item","numeric-id":1884901,"id":"Q1884901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q618171$1CDB6DE7-BC6D-4578-80D4-5C197988C362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4bef7064c2f980668d1f3333d7ffc1cc33b6047","datavalue":{"value":{"entity-type":"item","numeric-id":5902296,"id":"Q5902296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q618171$A4636801-4520-4A77-9B93-A4EEF92504F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"554dd80b26f1471d0a2efb82a159b112585c78b4","datavalue":{"value":{"entity-type":"item","numeric-id":4329525,"id":"Q4329525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q618171$5A54B47C-0E86-44E1-9CE5-A8BDC68E20C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cfb0d2ade58232332214dc54a5ef14b4d99f877","datavalue":{"value":{"entity-type":"item","numeric-id":2461191,"id":"Q2461191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q618171$7F387F14-F09A-45E6-A13B-144991CC7B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d60697a31a720ca3818e290670745c2871f117","datavalue":{"value":{"entity-type":"item","numeric-id":798647,"id":"Q798647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q618171$2AE71362-FF4B-40CC-A149-F4957FA63A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ad91b505d29d2341aaa30620698cbaf19696832","datavalue":{"value":{"entity-type":"item","numeric-id":5899086,"id":"Q5899086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q618171$F522C3A6-E37D-4CC5-ADDE-DCE3E27E87AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5602a712555e3999df12c4260f8589c5a167f0ac","datavalue":{"value":{"entity-type":"item","numeric-id":2643335,"id":"Q2643335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q618171$9E94C30F-0721-4B2E-A93C-AD4B25A5E58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20f57cd5952b6bdf2070db56a859fb9698500bfa","datavalue":{"value":{"entity-type":"item","numeric-id":3590964,"id":"Q3590964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q618171$C9F0D727-C75B-452A-A383-734702A8E591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50717835f7f6961b0d32328866377521644caf81","datavalue":{"value":{"entity-type":"item","numeric-id":2946571,"id":"Q2946571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q618171$314E53C0-91BA-4EDB-9118-CF12AEE3A76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q618171$FC6A1E42-9F12-44CF-9971-7413C588FE88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bdd78b9ebbe4489db68c54b3f505ecbdd2e7190","datavalue":{"value":{"entity-type":"item","numeric-id":703304,"id":"Q703304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q618171$DC8C8548-45A5-4B05-AC1B-F33A730C9A97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab324f75da5641a92437e3daf79d636841ece43c","datavalue":{"value":"10.1016/J.IC.2009.11.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q618171$9246696B-CE22-4345-91F4-6D5D86B86487","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20632995ab65f3b907e5567aeb0b710e9bac8fda","datavalue":{"value":{"entity-type":"item","numeric-id":2873670,"id":"Q2873670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aaf1c4396646e37681d362f8a5da843fe35cd81","datavalue":{"value":{"amount":"+0.923066258430481","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":"Q618171$57176785-15AB-4589-9BF7-A9CE62DEF665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5becc199be0be438307b801ca58515df9c7ca279","datavalue":{"value":{"entity-type":"item","numeric-id":2851950,"id":"Q2851950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6cede814a7a7075a0bdfde259bd9b18b66bde71","datavalue":{"value":{"amount":"+0.8177260160446167","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":"Q618171$18175B6F-4C47-44AF-B97D-B6FA14CA63E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05c4cb7ed150fd903f5a4174fd804f9490e25ac5","datavalue":{"value":{"entity-type":"item","numeric-id":5892512,"id":"Q5892512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae29f0fec7b9380a58c38a2307c9b11422ecc5c4","datavalue":{"value":{"amount":"+0.8085297346115112","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":"Q618171$A4693D5C-8763-4150-A1CD-5F671432741A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b44e0985c0eafe9bc20e40d69ffdae5b0c45b315","datavalue":{"value":{"entity-type":"item","numeric-id":5902296,"id":"Q5902296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa2324de2c33f6f5d70d69cb90e838443a69a92b","datavalue":{"value":{"amount":"+0.8084433674812317","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":"Q618171$1696CFC0-66EC-4872-9255-3F94F6C88B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b5ccf9167a3b69b4b9c7bc56a8345a9d325cfad","datavalue":{"value":{"entity-type":"item","numeric-id":4580217,"id":"Q4580217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d40cc421518d1d336e23cf9b58d685f4e9e2fb48","datavalue":{"value":{"amount":"+0.789343535900116","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":"Q618171$7869DE34-508E-4B72-AA0E-8C09066DCBCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cut elimination in coalgebraic logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cut_elimination_in_coalgebraic_logics"}}}}}