{"entities":{"Q4007157":{"pageid":6036970,"ns":120,"title":"Item:Q4007157","lastrevid":93027593,"modified":"2026-06-05T03:26:51Z","type":"item","id":"Q4007157","labels":{"en":{"language":"en","value":"A Constructive Presentation for the Modal Connective of Necessity (\u25a1)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 58928"}},"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":"Q4007157$818D354F-30E7-481E-A5AE-8B9E21FE26DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d18da333aca6967dffb120a7eb38eb351df3afc7","datavalue":{"value":{"text":"A Constructive Presentation for the Modal Connective of Necessity (\u25a1)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4007157$BA3BAA78-2CAB-484B-83A7-861CE16CF91B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3a416745b20ab43c311c7f215e6775a5c43fe5a","datavalue":{"value":"0763.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007157$7934BAA5-B9C4-414A-B95A-4C194BAC3B72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9faf035fd863b205682c8dda962765b1be375dd4","datavalue":{"value":{"entity-type":"item","numeric-id":281143,"id":"Q281143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4007157$95F4BF8A-83FD-4D84-A6AB-B0C599D5DBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57b70ccda10eee0149f281c226dd8d9cc2ff73c3","datavalue":{"value":{"entity-type":"item","numeric-id":673999,"id":"Q673999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4007157$B73A543F-A236-4CD3-A479-12EB23A3260F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4007157$66C6019F-24C7-4658-A1D1-0B9AF0E074FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007157$BFEBB3E1-66EE-489C-84E3-2FE3535F7A19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f355069a59b6f365c81e449063e07e428e55fccd","datavalue":{"value":"58928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007157$ED06C0F1-5E03-4EF3-B9BD-FFA70A11EDB1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23b634a765bd98045fc13675f5a4fe9c05e14127","datavalue":{"value":"intuitionistic interpretation of necessity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4007157$AEDA192F-49E3-40BB-A466-B6D905264961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc11e6c14ce1053bcb545d8fcbef62ee16c7d2e5","datavalue":{"value":"constructive presentation of modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4007157$EFA86913-4124-4213-85C9-AE10AED02E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4007157$229CC0E8-87F2-4FB6-94A9-EB53635938C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4007157$45E3E1F1-DD57-4039-9736-C2BAD5F883E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4edc44af0afae3eb9ce509009e3d9b8dbab24f4","datavalue":{"value":"intuitionistic modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4007157$74CC3CD2-AE87-4D83-81B6-AA96315B0F6A","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":"Q4007157$28949488-7738-46A6-8117-85BCDFF747D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74f8a912472629b0dfb6bebf832dd631cdd8d3ec","datavalue":{"value":"https://doi.org/10.1093/logcom/2.1.31","type":"string"},"datatype":"url"},"type":"statement","id":"Q4007157$7FB27353-3556-440E-A5FE-95EDE439506A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1123eee05b7ab5da5755d5fcab35fbf89ac9c3a","datavalue":{"value":"W2068886128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007157$C4B63C38-BEDA-4500-BA7F-F4956F05C32C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08837fcaf6f6a46113c659b6170d4242c25b47b3","datavalue":{"value":"10.1093/LOGCOM/2.1.31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007157$FE84CAC4-6BA2-4E03-895C-C68313D2EDBD","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":"Q4007157$AC2D9500-9415-4F20-A818-E1EBEA8101A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c402336a50cfd0cd8747f38fcc77200ae56acdab","datavalue":{"value":{"entity-type":"item","numeric-id":2266004,"id":"Q2266004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbb51e11fe7507bcd224e580990fe5548546b33f","datavalue":{"value":{"amount":"+0.85452455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4007157$F9C80B31-60B2-447C-BA69-0F7279124D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"552bbe33d4a0585b0ae024407b657747f6cb0613","datavalue":{"value":{"entity-type":"item","numeric-id":2500817,"id":"Q2500817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e62821f34f23a17917ee2ea1ce277c1fb2a7117","datavalue":{"value":{"amount":"+0.85006946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4007157$5E3C6966-030D-42D3-B2D9-23FC58AF7670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b31a4eb9a0f787121c46dc3d6666dd2b8f0f9e3c","datavalue":{"value":{"entity-type":"item","numeric-id":4394918,"id":"Q4394918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0672131e4eb623dcf9bf2ede2dd27f2fcd1d525d","datavalue":{"value":{"amount":"+0.8459497","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4007157$A26A99B7-2CA4-4BEC-9541-7D6954851BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b957f155e50b8c5c0cc6764d1194a6e4888fd52f","datavalue":{"value":{"entity-type":"item","numeric-id":2879295,"id":"Q2879295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7d99a9c83d3e34559d89cd2aafaa07324e02f03","datavalue":{"value":{"amount":"+0.8398957","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4007157$A66A0F1D-57BC-41F3-A77A-32FBBFD8E201","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":"2d38a8b22fadfac743ad33d26abf70f4357b1cab","datavalue":{"value":{"amount":"+0.8383453","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4007157$41059540-8E4A-4664-ACF6-A61831F0B9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb4520baa6e7eb69045e61fe1210c766229935c8","datavalue":{"value":{"entity-type":"item","numeric-id":2133450,"id":"Q2133450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fa0ff702648d8d94bac46788a3d3e39185bcb67","datavalue":{"value":{"amount":"+0.8378171","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4007157$7659D1F7-2C75-489C-878A-425169472EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a90fedfd89128bb9e7d2b6f5b3cba40a7cb855ce","datavalue":{"value":{"entity-type":"item","numeric-id":1942340,"id":"Q1942340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdbbda8b9f445a0199c430cabd531d5ae80dace9","datavalue":{"value":{"amount":"+0.8356191","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4007157$789E2CDF-BEC0-4504-A16F-FF3BA648AD76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9292cdeceaf7ee498d24bf170899e6e6c0938e32","datavalue":{"value":{"entity-type":"item","numeric-id":4244964,"id":"Q4244964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1455feda729f415ba821b2cb27cbd2f3fe2c24b8","datavalue":{"value":{"amount":"+0.832085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4007157$85C732E3-780A-47BC-92B0-9ED66D4BD164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42240049bd876ecbc16efe4b9b787cac603dfa73","datavalue":{"value":{"entity-type":"item","numeric-id":1092890,"id":"Q1092890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bce903bbf4ce052af22ec191129ae627c99bf401","datavalue":{"value":{"amount":"+0.8308382","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4007157$3999744C-165F-4A07-A663-7408B8AB4DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1be94cdb4ec8125aa4e75d5c922b280600abe14f","datavalue":{"value":{"entity-type":"item","numeric-id":2510775,"id":"Q2510775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4674674e753e77d11464f4bd858e9a3deee6bb76","datavalue":{"value":{"amount":"+0.829054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4007157$47E56C88-5D1E-457F-842E-568927E0A507","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Constructive Presentation for the Modal Connective of Necessity (\u25a1)","badges":[]}}}}}