{"entities":{"Q6407380":{"pageid":13540528,"ns":120,"title":"Item:Q6407380","lastrevid":56056498,"modified":"2026-03-03T14:50:15Z","type":"item","id":"Q6407380","labels":{"en":{"language":"en","value":"Uniform Lyndon interpolation for intuitionistic monotone modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article"}},"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":"Q6407380$C45914AD-4266-41C5-894C-F329D796E975","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c86f4d544b22a36a625b0f13741b60185a0da048","datavalue":{"value":{"time":"+2022-08-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6407380$12A639F4-214B-413B-8F1B-9F0C7AF49F13","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"88e36e4963c0ed930118e70e0cd76dfc0b6ad11e","datavalue":{"value":"2208.04607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6407380$281DE06C-D4E4-4BF3-96CD-9F8A34769E72","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"91cfcc3a3c7fc0e829c6b8c5f874cc185f7b19b3","datavalue":{"value":"math.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6407380$E3962353-380E-423F-A504-849F7895F46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"52761b11eff7231b8be1bfc1a165f9189de1d528","datavalue":{"value":"cs.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6407380$3F9115C2-7993-4902-9001-2468DC1522D1","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":"Q6407380$0E9ECCBB-C98C-4FF8-8F4E-CA3AB2CB6289","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":"Q6407380$4F7D3FE1-50DD-4D6F-8E0A-CCDDCBA95016","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":"Q6407380$988B9D96-D5DE-4E95-A1D7-DACEA10C4A7F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6407380$A479D067-73AF-4F40-B6B7-07DA825F32C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6407380$2F2EF6A1-F5E0-4059-A2E2-8CF2D490DEFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6407380$E3893E52-B7F6-4FEB-9653-2BEC32D8A2A6","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":"Q6407380$D0049339-646A-4253-B072-194E03F33A36","rank":"normal"}],"P1676":[{"mainsnak":{"snaktype":"value","property":"P1676","hash":"d3cc4a3090cbee517ce980910b82aab69000ce31","datavalue":{"value":{"entity-type":"item","numeric-id":5884937,"id":"Q5884937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6407380$6497685C-E7E4-4ADA-8769-44CC5D3D63BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6407380","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6407380"}}}}}