{"entities":{"Q4612427":{"pageid":6642010,"ns":120,"title":"Item:Q4612427","lastrevid":82309259,"modified":"2026-05-06T20:35:49Z","type":"item","id":"Q4612427","labels":{"en":{"language":"en","value":"Intuitionistic modal logic: a 15-year retrospective"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7009541"}},"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":"Q4612427$73D4FE3C-BC9E-4D83-8195-840D05B87F7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3cf2458f323229d054f9e6dfec82cde500aeb3c7","datavalue":{"value":{"text":"Intuitionistic Modal Logic: A 15-year retrospective","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4612427$49F6BCDB-43FC-4F98-A3C4-EBD0C1E6F74F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51872175f296ab0be12cf68a26cb53c2a4d52588","datavalue":{"value":"1454.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612427$BC354F1A-B91D-462F-9C1F-641D2D365F35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4e1f5091fa9a02f7e1081b49c953a5de0c0e449","datavalue":{"value":{"entity-type":"item","numeric-id":1841240,"id":"Q1841240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612427$0ACE0B5E-4256-44A7-B29F-5CAB4C136E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d06b9d3e98376955f4f1468110c0445691894ccd","datavalue":{"value":{"entity-type":"item","numeric-id":208223,"id":"Q208223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612427$8B9DA263-DA6A-486D-99DA-43C5CC0D7522","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":"Q4612427$FA415354-7FC8-45A2-976F-420D03702A37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6cff588b238fe649ad35be9c49b1edf5332cb4aa","datavalue":{"value":{"time":"+2019-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4612427$1293059A-489C-447D-AE5D-F7969FDE752B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b027ab87b0bcc612f23dfe576c496e826296d78e","datavalue":{"value":"https://semanticscholar.org/paper/4fab3b8702b453c452615dbe1ab9bb1d5f253300","type":"string"},"datatype":"url"},"type":"statement","id":"Q4612427$82B79297-F5FC-440B-B181-167B2241B831","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612427$0F1BB436-865D-4AD5-A1CC-D2D2B3688E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612427$DF32D3FE-1876-4547-82E9-5D0A7FC778B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612427$F8C4C17A-3693-45F5-93CE-46D14F37F668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612427$2733780D-EB73-463A-840F-68E072E88B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612427$81262118-A491-49FD-81F6-1969687B0949","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0bde0e5781f4b714e2cbfbacce3d0028ebf155ba","datavalue":{"value":"7009541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612427$1F3112A1-ECB7-4650-A82F-DB43B7B97884","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":"Q4612427$7AEC23AC-7F8D-4D9A-8AA1-5CE9302ED4A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d97b851213cf14797ffd4efda4a9c968bb50349","datavalue":{"value":"W2590433111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612427$2E5EBE67-C4FA-4E3A-AEE9-19D0B8C4FF8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da4ae0ad28824dea89a586c18416634ef39f03d4","datavalue":{"value":"10.1093/LOGCOM/EXV042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612427$B26725F6-054D-4821-B0A5-72BEF54EF7FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612427$3BF1BF28-32D0-4E3D-8822-6A3F3B4B1760","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f226685c5e882d80453c077e7142c2efd72ddd17","datavalue":{"value":{"entity-type":"item","numeric-id":5039159,"id":"Q5039159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a0119e636f470f68a2f21e5c19d4777c19bceb9","datavalue":{"value":{"amount":"+0.8601536154747009","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":"Q4612427$48621188-D812-4DB5-8342-64D717DB88E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa577837323dba6d3743f445f82119f1c8bf8da8","datavalue":{"value":{"entity-type":"item","numeric-id":4942002,"id":"Q4942002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83dc980047e5085561e6e2b5b2ae4e2c7f1d3e55","datavalue":{"value":{"amount":"+0.7234730124473572","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":"Q4612427$9E13F10F-27DB-4729-8A6B-DAD6C9D9DA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"348c79d531d84cc75fc787fe170ac7988bea42ca","datavalue":{"value":{"entity-type":"item","numeric-id":5255796,"id":"Q5255796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e28d4e297fd3717facc3ae301bbb04eed4790db","datavalue":{"value":{"amount":"+0.7145474553108215","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":"Q4612427$F13CF46A-69CD-4DD1-B8C7-B07345E6574C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd2db47f0d2a26e26e325a5e6b1cb1335505c1ff","datavalue":{"value":{"entity-type":"item","numeric-id":2177591,"id":"Q2177591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3d803aaea7b1ccf7016ce344eef7e28d3a43578","datavalue":{"value":{"amount":"+0.7087251543998718","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":"Q4612427$49094E0B-85E0-4C0E-84A0-D3C900877992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f80e3b96fef489322fe8cb8ddb4e8db491046aa3","datavalue":{"value":{"entity-type":"item","numeric-id":5096578,"id":"Q5096578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ad085206add08a0038a9ee7f1718e9a6fcd7b77","datavalue":{"value":{"amount":"+0.7019420266151428","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":"Q4612427$8ED987DB-93A3-4093-8C18-BF7D06CC08ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intuitionistic modal logic: a 15-year retrospective","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intuitionistic_modal_logic:_a_15-year_retrospective"}}}}}