{"entities":{"Q1591340":{"pageid":1602080,"ns":120,"title":"Item:Q1591340","lastrevid":47551351,"modified":"2026-01-02T01:33:59Z","type":"item","id":"Q1591340","labels":{"en":{"language":"en","value":"On an intuitionistic modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1546773"}},"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":"Q1591340$3D39847F-C5B5-4C1C-AE47-12A33A4032BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2466e3a0cec0dab9397b82ad9c0f6f4a59739a85","datavalue":{"value":{"text":"On an intuitionistic modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1591340$B575F93C-CC1F-4524-969D-0305E681F430","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18858dccabc826b7ab70d10d64684a5efaa0ad53","datavalue":{"value":"0963.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591340$BF0A4092-472F-47D7-AE0D-FECFB3B92643","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4a5ddfce04d9c4044227ef86030cd4468546293","datavalue":{"value":"10.1023/A:1005291931660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591340$0B959A0B-CD08-48FB-8626-36CA029281FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38c1f622ca5a8e1981406df5479b2fddfe8cfc72","datavalue":{"value":{"entity-type":"item","numeric-id":1575876,"id":"Q1575876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591340$94EC52BE-81A6-4430-A4AD-69D6AD4E119C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"737ab82ccfec8813eb7c5978dce0ad4af9a0b6d5","datavalue":{"value":{"entity-type":"item","numeric-id":1591339,"id":"Q1591339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591340$269D12F4-6CAA-4963-BE22-3CB30D75FB40","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591340$3EC4258A-5015-457E-8E4D-197073F40781","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"113c93d7af32602075a6f94d3a44649ef3135b3f","datavalue":{"value":{"time":"+2000-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1591340$F6DD462C-1E6B-4C63-9F11-3154516414D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591340$9820B08D-AE15-4C24-A8AD-DBE3D5647E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591340$63558512-6210-47F8-920B-9DC7262F97B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e19a8b4d44c9f0c28c3fed5c5700f87f3d0a0071","datavalue":{"value":"1546773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591340$77A48498-6115-4613-A2B5-948F4C0CC127","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79f8221ae231a455707fe7a79b139d7ec8b3d9c5","datavalue":{"value":"intuitionistic variant of modal logic S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591340$9A809D76-4BDC-41E7-A4A8-24CB8FB34B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3a0b2d36329c7ef8c21467cfe491af6433d0262","datavalue":{"value":"intuitionist logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591340$0872F70A-7EF1-4225-84EC-F2208153C5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591340$0E34C67F-1453-4009-ACCA-113CA3598CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76c6ec50015ce57eb8837eb28674a1f953751b7d","datavalue":{"value":"categorical models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591340$8E9990CD-1972-450E-B056-80DA3D70FA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d25ccd99b49aca703d8885583f8b7a5c4f04e212","datavalue":{"value":"natural deduction formulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591340$36793EA2-2BFF-4A21-A986-664E940BA3CA","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":"Q1591340$CDDC69A0-0251-4D41-B441-E8F83A5D2609","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd806eabc154b24d9bf427448e76467afb5da433","datavalue":{"value":"https://doi.org/10.1023/a:1005291931660","type":"string"},"datatype":"url"},"type":"statement","id":"Q1591340$C6D3BE8D-1394-464E-A190-4DD970B8BFE3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0904abda8dfde492ce8815410a58a53a989c0d96","datavalue":{"value":"W1678412398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591340$06174A9B-D92E-46FF-ACF3-EE3C7E426226","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b12a92b9d7ab7057828ff7fd95eeeffc3b29244c","datavalue":{"value":{"entity-type":"item","numeric-id":4461801,"id":"Q4461801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de7da7d3efe673b487ff365fd53686ede49b68fa","datavalue":{"value":{"amount":"+0.9090632200241088","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":"Q1591340$B30E70E6-6A9F-4C86-B207-9F7E9576BE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf3ee68f0de1d97125ef1ec926520acca9867ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1096612,"id":"Q1096612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d6f75e6251126be8b3f0a8ba0b54fd88f3af0d4","datavalue":{"value":{"amount":"+0.8073552250862122","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":"Q1591340$B559FE0A-A562-4D25-AD95-1B74A75A11D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22306f86ecbe244c29702ba1468c094f1d60f493","datavalue":{"value":{"entity-type":"item","numeric-id":4785506,"id":"Q4785506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dca0d3228bb0ed4664f9d6b7154fafd8da709579","datavalue":{"value":{"amount":"+0.8035027980804443","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":"Q1591340$C4E3208B-43A9-4E18-8AE2-44A1444B1FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64ca6ff0303ba8112eaa6d588b316034ec2e4f38","datavalue":{"value":{"entity-type":"item","numeric-id":3676119,"id":"Q3676119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13b138630f86af592ecd6afb2af0cc518c77ce91","datavalue":{"value":{"amount":"+0.8031935095787048","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":"Q1591340$23FF5F19-AC07-4B9F-BD3F-F77D1B9166BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65bed598d0ebfc185132301bc12cc2e844ada517","datavalue":{"value":{"entity-type":"item","numeric-id":1096613,"id":"Q1096613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06a7ac48e01c1e6872f8ebbef282a17687d1d16e","datavalue":{"value":{"amount":"+0.798584520816803","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":"Q1591340$DDBE35BB-0E74-48B2-9ECD-5E98B081DEA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1591340","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1591340"}}}}}