{"entities":{"Q2904063":{"pageid":2914788,"ns":120,"title":"Item:Q2904063","lastrevid":51523001,"modified":"2026-01-18T15:19:32Z","type":"item","id":"Q2904063","labels":{"en":{"language":"en","value":"Uniform interpolation for monotone modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6063273"}},"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":"Q2904063$FC1915DC-0A00-4875-9CC0-7EC7C4A95625","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7a49f01a9dde7152eafd11d41f989561e60beac","datavalue":{"value":"1254.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904063$2DB5C0FF-05ED-4D1D-81AD-FE54ACB82939","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db6be09e7ba570f5faa41154bd4f257af7db691c","datavalue":{"value":{"entity-type":"item","numeric-id":240375,"id":"Q240375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904063$AE697471-AFFB-49AA-8685-83D5FA343409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf048b02e69cafc813fe01f621b37f5d15aab40","datavalue":{"value":{"entity-type":"item","numeric-id":402119,"id":"Q402119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904063$5B64C594-00C2-48D2-A345-176531787A86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d93f02b005a91d75e1fb36333e97807bdd2c51d9","datavalue":{"value":{"time":"+2012-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2904063$33AC68FB-BA22-4445-B9E9-6BC617927092","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904063$EBD33E6F-666A-4754-837B-F47681E61991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904063$88236F83-07E1-4C88-AFE0-B49940FD1829","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc0dd962ff02cc5a2a3bbee847faebab55a87b24","datavalue":{"value":"6063273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904063$2F4E27E8-BEB3-4EAE-8562-3DD6F803B1E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2530a29a5059e11311890e22f1b745a9a830b036","datavalue":{"value":"monotone modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904063$B3ED48D2-4415-4782-B7A2-620D591BD47A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e1847f1d1eb2343299689288309cd1e6ebf63ef","datavalue":{"value":"coalgebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904063$02024868-D9E8-4496-97C2-76A6DD0CAF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fe1d2119373aa1666fdfd7fbf72c51d4c0f5033","datavalue":{"value":"monotone neighborhood models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904063$96F78755-C953-418F-A71F-DAEFF4BCFA5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d13fe3141ed30017042d09d7bb940bc6ac1211a","datavalue":{"value":"bisimulation quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904063$BBFFBBBE-959D-4270-90DC-405C92E66F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"066345834ce35a3f9005e468be9585e6c3822e2c","datavalue":{"value":"uniform interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904063$C4967626-8D03-496B-9A8B-6FCCD48BE599","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":"Q2904063$A2FD643E-87A7-4BCE-9F25-9DC46EBC063F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f110d2f28f5fe71b7e32224c1d542bbc54d21c3","datavalue":{"value":{"text":"Uniform interpolation for monotone modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2904063$8F182309-A5EA-43A2-8D5B-1024F6BE1A23","rank":"normal"}],"P1643":[{"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":"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":"Q2904063$EEBADBA9-D019-48CA-8C29-5B206CB751A9","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":"a3d8f4e890986552495a6aacd3fcb612f49906db","datavalue":{"value":{"amount":"+0.8419525623321533","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":"Q2904063$C4933F73-F20B-4B95-9CAA-3C45B03556EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12cc7025f751df15f9ad5bdf9f063cb1a1245751","datavalue":{"value":{"entity-type":"item","numeric-id":781510,"id":"Q781510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaed60fdf90be6be3ef7272103e1256b38b23c74","datavalue":{"value":{"amount":"+0.8095961213111877","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":"Q2904063$24F56BF3-9E3C-48C6-AA96-AD3E9860D3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62149e7f381e3b339a21022742483b931762254f","datavalue":{"value":{"entity-type":"item","numeric-id":627437,"id":"Q627437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c766454aa884e47ad069cfbc46c44c9f09b3bb4e","datavalue":{"value":{"amount":"+0.8025246262550354","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":"Q2904063$332C4C8B-39BF-419F-BB8E-29E4C0357D41","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":"2d1146c8c293f99987092187bc39dd318901cb91","datavalue":{"value":{"amount":"+0.8006302118301392","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":"Q2904063$88B9D351-7D8E-48F4-B84E-24732C64EAF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2904063","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2904063"}}}}}