{"entities":{"Q5884951":{"pageid":7914503,"ns":120,"title":"Item:Q5884951","lastrevid":101997335,"modified":"2026-06-06T03:16:54Z","type":"item","id":"Q5884951","labels":{"en":{"language":"en","value":"Wijesekera-style constructive modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7668102"}},"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":"Q5884951$984EDFBB-9EA0-46A1-8BAE-0254BD17D3DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e9451f7b44840db9e74e6b49fa74aa9ac1ec93c","datavalue":{"value":{"entity-type":"item","numeric-id":829824,"id":"Q829824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884951$F653AD03-F09E-479D-AE89-BEA42F5AFF9F","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":"Q5884951$C04052DF-7713-4A48-9E6D-3DD70C216F12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82f2e84eb6508efe633f577a90315ffe8b6ea54d","datavalue":{"value":"https://arxiv.org/abs/2210.09937","type":"string"},"datatype":"url"},"type":"statement","id":"Q5884951$D407E4E8-BC84-4AD2-988B-FD93C97799B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884951$8D62A24A-5F69-4883-8AC5-B91A95CD491E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef37b3e5ea89a0d236c79640b2bda87149c1e62e","datavalue":{"value":"7668102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884951$A597C7D2-5718-4191-B4E6-B79BDC2C7BB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46c32598835807cd6e68be410be57ffe1ac468b7","datavalue":{"value":"constructive modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884951$D756EF43-62E0-48DB-8987-30981993961C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b431bc780f66c4b1eac8206b320c436a9fb1df40","datavalue":{"value":"intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884951$62E20D38-5531-4C5D-A272-867E83F502B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884951$18EEA364-4859-46F6-9C15-C5C0C67A1F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21a5dde64af0d3f5b8a485846a04cdaeba2b5169","datavalue":{"value":"neighbourhood semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884951$8420217A-10BF-4C56-969B-6A1177F6F825","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":"Q5884951$80CD8A4C-51E8-418F-BEAE-366E4BF1BC01","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2db463f0914242d1d85cf085e01464e548f99146","datavalue":{"value":{"entity-type":"item","numeric-id":3312200,"id":"Q3312200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccdcc8315993d34e988067ea3b2d48ca85c3b108","datavalue":{"value":{"amount":"+0.8066291213035583","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":"Q5884951$7CF334DC-7F47-4BD5-904D-80070BA9A9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f898127b0c13eea1e50d7c1753fd84736fe82118","datavalue":{"value":{"entity-type":"item","numeric-id":3196338,"id":"Q3196338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b8798412d987820e995c1d72d6a6facf2570fcd","datavalue":{"value":{"amount":"+0.7948294878005981","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":"Q5884951$05E16E60-15E7-4F59-A1DE-5F0D77ED3979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5895df49c0eac7c40b39c023ceea80503bf50939","datavalue":{"value":{"entity-type":"item","numeric-id":750417,"id":"Q750417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a41db27e8310e3903ad81c1c3bc0f87b2b0bd23b","datavalue":{"value":{"amount":"+0.7795271277427673","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":"Q5884951$B0EA04AC-4022-400A-A47C-CC8E84685AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf250ba51353252b0b2ae869bffda4f28f868cd6","datavalue":{"value":{"entity-type":"item","numeric-id":857668,"id":"Q857668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d806616776c11708ea5f8848e416e710c34db5f","datavalue":{"value":{"amount":"+0.7676934003829956","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":"Q5884951$D452929C-53C4-450F-B8C8-0815BE17827C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38b2094e01b8b53c92fbe87d7946352f28803c95","datavalue":{"value":{"entity-type":"item","numeric-id":4385349,"id":"Q4385349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5ee22a58973dbcc064a10277f4aa339415a623e","datavalue":{"value":{"amount":"+0.7624804377555847","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":"Q5884951$DAE345E8-7F54-45F8-B612-534C7385DD7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Wijesekera-style constructive modal logics (scientific article; zbMATH DE number 7668102)","badges":[]}}}}}