{"entities":{"Q4580217":{"pageid":6609803,"ns":120,"title":"Item:Q4580217","lastrevid":53167148,"modified":"2026-01-24T09:03:44Z","type":"item","id":"Q4580217","labels":{"en":{"language":"en","value":"Uniform interpolation in coalgebraic modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6917182"}},"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":"Q4580217$09D4A372-53E8-4A5B-9758-7D44B5A7FF9E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0cf0640a78e43dbfdc95f0bed672920670d5f44","datavalue":{"value":"1433.03158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580217$7F8E3955-3513-4D35-A781-9FC05775C74F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ed8d7a8df45b03690f51dff23fdb3cd8623bace","datavalue":{"value":{"entity-type":"item","numeric-id":1731841,"id":"Q1731841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580217$08D5104A-ECD0-4DB6-A02B-C333125F9642","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":"Q4580217$70219E42-863C-46B8-B927-9ADEF24E8958","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":"Q4580217$3F87F851-D5F2-4D84-93BF-A6072AA7E76D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30feba6170f0dd078cec0568a6ba1b353248bccc","datavalue":{"value":{"time":"+2018-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4580217$76E1976A-8200-446B-B5FA-1893EC4F8D87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"475a2407c03078b469bb32ab23376730eacf71d9","datavalue":{"value":"03G27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580217$6F93B8D4-C9C2-45F7-ADD9-F7A65DA2E05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580217$60604CD0-8964-4BC9-96AD-174E606F3537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580217$6D90680F-EF3B-461E-8B3B-56CDE11DAD84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83b385b273c0bfae2593f3befba07d2b819814bf","datavalue":{"value":"6917182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580217$AEEB45CF-42E6-4E56-A60B-31F79862BC80","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c262983b439db0e698e56e398a603fa1ac2aa26e","datavalue":{"value":"coalgebraic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580217$557A8BE6-6053-4368-9D2A-ACE0D7CF65B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"066345834ce35a3f9005e468be9585e6c3822e2c","datavalue":{"value":"uniform interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580217$B473E5FC-7A8B-458D-9BF9-8A488B718AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bdf7a02c05e059d666384dbd46b22c119a0bb1b","datavalue":{"value":"weak pullback","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580217$0CA07F77-C2D8-4037-A59E-752ED9FDC79D","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":"Q4580217$D5B621DB-2CC4-4066-AC68-4F95B1539C1E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91030dae65371948c052ce859351b12a5f0e11b0","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.CALCO.2017.21","type":"string"},"datatype":"url"},"type":"statement","id":"Q4580217$6EF1C782-85FE-451C-B213-5EF3E5D9858D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be127e1093e7053c732b6179c00e453015b295c1","datavalue":{"value":"W2773021935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580217$F05D94A5-3DE9-4917-B496-AE649D65EC6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f00a5f57df772e1f718bd69960667f2ea9ef464","datavalue":{"value":{"text":"Uniform Interpolation in Coalgebraic Modal Logic.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4580217$7903EA3A-9F37-4C45-9CD7-6790F6DF6710","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17a181c6a518e802f36f80a76eef5e73ec5e18da","datavalue":{"value":"10.4230/LIPICS.CALCO.2017.21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580217$1A9E40DE-8BC5-41ED-8EE5-76CB98E73D63","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8171d47a07a6c04ee0f3a1e1a614fb81a762451f","datavalue":{"value":{"entity-type":"item","numeric-id":5275354,"id":"Q5275354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09b601cbb940d728431699a2edc25d52f2e71eb9","datavalue":{"value":{"amount":"+0.8970967531204224","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":"Q4580217$7B0220A1-89F2-4D1B-A054-DCF301544DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04225f4473bb0d2061fc7a79e5131680e65f419a","datavalue":{"value":{"entity-type":"item","numeric-id":2904063,"id":"Q2904063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebc5153470fb77b57570edf79af115796823e123","datavalue":{"value":{"amount":"+0.8602617979049683","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":"Q4580217$1CFE7F4B-9557-42BF-BA25-EBFF035FEE78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31a66723d39af21b716aa0696f74d721ec8b3a83","datavalue":{"value":{"entity-type":"item","numeric-id":878154,"id":"Q878154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae3f37042b3c4be69feaeac665c07dd88f9d7606","datavalue":{"value":{"amount":"+0.8468828201293945","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":"Q4580217$B5B8CA15-1F36-4B86-BEF5-9407F14B5F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cba0c67f61ee6c680178811d6bfb7612274266a","datavalue":{"value":{"entity-type":"item","numeric-id":5271079,"id":"Q5271079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39c4fac58ad83adf7865fbe6f3dd7b627b3fdedf","datavalue":{"value":{"amount":"+0.8202832937240601","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":"Q4580217$0D898A12-871B-45A2-B7E4-A3FDC8D41D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91240a69adf266f22612679fce0b8310fc5de142","datavalue":{"value":{"entity-type":"item","numeric-id":4215595,"id":"Q4215595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd7122a5cb4bb1d9b0c548080470a8b9801c2ad9","datavalue":{"value":{"amount":"+0.8136361837387085","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":"Q4580217$65B15F3F-0130-4E65-9C1C-50BC544E5B5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4580217","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4580217"}}}}}