{"entities":{"Q5884937":{"pageid":7914489,"ns":120,"title":"Item:Q5884937","lastrevid":55441864,"modified":"2026-02-17T16:28:26Z","type":"item","id":"Q5884937","labels":{"en":{"language":"en","value":"Uniform Lyndon interpolation for intuitionistic monotone modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7668092"}},"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":"Q5884937$255BDB7C-EE5F-41E1-A2AE-F958CCC1366C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d4924a230d704708ace0a36ab132af83d4e0a2e","datavalue":{"value":{"entity-type":"item","numeric-id":2148799,"id":"Q2148799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884937$9883FCC3-4B34-40F5-AE33-08A1F2066317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e326b781d7ea9722bb167cc0ed9408436c2cad0b","datavalue":{"value":{"entity-type":"item","numeric-id":234719,"id":"Q234719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884937$2E8B9966-FEF4-4A32-A3E1-976C8B9F1164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c326b18eac0e41e07a51e3b2bf952d1e04d11c9f","datavalue":{"value":{"entity-type":"item","numeric-id":2032996,"id":"Q2032996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884937$98E29702-C1B8-412C-B1D0-4E56F3015D38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e79fb0f81a13e01e2adb5a30058c546d3cd532","datavalue":{"value":{"time":"+2023-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5884937$B67D1352-00D4-412D-8579-6DDBD54A9E38","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08ae7aa968baaa9811c0a9c247e1be9370990eb5","datavalue":{"value":"https://arxiv.org/abs/2208.04607","type":"string"},"datatype":"url"},"type":"statement","id":"Q5884937$B0CED493-87FB-4670-B031-E9BF4B14485A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884937$10942087-9E24-45BA-B4E5-71FA241B3ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884937$766900BF-B661-47E8-A94D-ACACC7C8B68A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6f1d0546b792ded0a8627bc3e901292c53012f0","datavalue":{"value":"7668092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884937$8E449366-A46B-4C20-87A7-11ACBA3DB93E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbc4be11ebd6d512b92b747fcdf80d0dafbe70fe","datavalue":{"value":"intuitionistic monotone modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884937$EEEBE858-96D4-4670-9EB5-3AB38FED52D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"066345834ce35a3f9005e468be9585e6c3822e2c","datavalue":{"value":"uniform interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884937$FD124C31-BCE8-46D5-A6F7-7A92071BDBCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94543635208b4db6761a68c4f958f05345bd1fbd","datavalue":{"value":"uniform Lyndon interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884937$4715A71A-B832-43E1-902E-AFE0FCBC256A","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":"Q5884937$456AAF6D-ABB9-4CD4-8C83-682975816058","rank":"normal"}],"P1643":[{"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":"f915e3a8a1f33d880346dd0e148012f1b428e981","datavalue":{"value":{"amount":"+0.880775511264801","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":"Q5884937$7F75019B-8568-4384-BD68-E9A415050F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98a06318973ba3d2069bac8a6a7b886f822790f1","datavalue":{"value":{"entity-type":"item","numeric-id":2148800,"id":"Q2148800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdcf7cd93bc47ddda4c1d62fce8767f245c20b52","datavalue":{"value":{"amount":"+0.8755391836166382","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":"Q5884937$91504D07-3EEB-4807-AF64-F6C2C953B24C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32687f724bc5415458db288bb9a3420ec88dbd7d","datavalue":{"value":{"entity-type":"item","numeric-id":2326416,"id":"Q2326416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6f2dcee2be3a2897d68585f8adbd27c688c444b","datavalue":{"value":{"amount":"+0.8338136672973633","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":"Q5884937$95F72806-2F8C-46EC-BE9E-73C62022FCF6","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":"27935340f7297c70817823bd90ab786fbfbf6cca","datavalue":{"value":{"amount":"+0.8326589465141296","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":"Q5884937$698D2536-190B-4AC6-B5F9-D8E0AD10EBF5","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":"e284a56430f8ed3cd2269643769a92c179072a9a","datavalue":{"value":{"amount":"+0.8222141861915588","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":"Q5884937$FA9BF9B6-26B0-4ACA-8813-43A699178337","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5884937","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5884937"}}}}}