{"entities":{"Q1982016":{"pageid":1992758,"ns":120,"title":"Item:Q1982016","lastrevid":43463974,"modified":"2025-07-28T08:18:33Z","type":"item","id":"Q1982016","labels":{"en":{"language":"en","value":"Modal metatheory for quantified modal logic, with and without the Barcan formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7391977"}},"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":"Q1982016$055DB48C-8727-4325-99D0-B8C6550C773F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6c1fb6910fc131322196dbe6c89725bf4606956","datavalue":{"value":{"text":"Modal metatheory for quantified modal logic, with and without the Barcan formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1982016$80C09A41-A996-473E-88F5-6A02AC4FCB4A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f878cbd40879e9dafcaf73bb9dad70e64ddcce4","datavalue":{"value":"10.1215/00294527-2021-0015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1982016$0BED6C22-D455-498B-8C3B-B34E532DF64F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"523769b0d0809a9369cb2db98abfd2ede3b42712","datavalue":{"value":{"entity-type":"item","numeric-id":1982015,"id":"Q1982015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982016$9ED58CC4-7EB2-490B-8BA5-E6E4C210A8CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982016$D7674F36-42CE-48BF-9671-BF1FD64CCFB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a092842a78445abe6eddf882d96533bd820ccb4","datavalue":{"value":{"time":"+2021-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1982016$63430FE6-FC2F-4CE6-91BD-8731E87E572E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1982016$286F28EA-4E26-4A46-9A0C-D2F7B431395B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"efc84f1d79fbc935fa152590f60963ed6ffc9064","datavalue":{"value":"7391977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1982016$EEEBBC3D-76DD-43F6-9C50-53FE81627D8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17811fc2a9482e487bde4207074b89eae427acfa","datavalue":{"value":"Barcan formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1982016$62077A57-B450-4528-A74F-E67422B6A354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77ba0e0c7d028654e6526cc48d8c5b8b16622154","datavalue":{"value":"contingentism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1982016$27B8652D-AF76-4334-A84E-43F6B719BE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce8776b869f4d0f38c9456bc48bc85f0a5bd262e","datavalue":{"value":"necessitism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1982016$5F505B8F-02A7-47ED-BAAF-E384E3650D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"527def781fe17e70652b5ba1af79e59518042825","datavalue":{"value":"quantified modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1982016$A64AAFA8-505B-46CC-95D5-89985A0E9651","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"aa9a1bd1b29c23a7ee60fcd3bee24143d5414d12","datavalue":{"value":"Q113751502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1982016$EE7DFB9C-AF1F-48E8-B67E-F20811538A33","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":"Q1982016$0C924FB5-81EA-4E55-88EC-4D0015156942","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d007d0f06e79532e8732e5991d6ae2d48fa9bb2","datavalue":{"value":"https://doi.org/10.1215/00294527-2021-0015","type":"string"},"datatype":"url"},"type":"statement","id":"Q1982016$0349B1A5-1BDC-491E-A9B1-E8DF407CE792","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6326ded80cb540f86f229af0b2c4a16c77a842e5","datavalue":{"value":"W3171228753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1982016$D89F808A-6AEA-4809-946D-CC5DB361580A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6aabd582dd90955b5d0f46ee9ab76f951bd0ecb","datavalue":{"value":{"entity-type":"item","numeric-id":3613033,"id":"Q3613033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982016$9843D4F2-E61F-40C1-AACB-E400141E03A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d95fd08b286c2d75935da3bf6ece957a863d65","datavalue":{"value":{"entity-type":"item","numeric-id":1245107,"id":"Q1245107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982016$DBC5B877-42C3-4DF2-B3BF-0274253D1977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982016$D094E0F1-0C83-47B8-B2B8-FB1F1A13FA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"153aba190cf5ba38ba5ecb3045e027456bd5cc3f","datavalue":{"value":{"entity-type":"item","numeric-id":4218021,"id":"Q4218021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982016$8988C493-92BB-4334-8E5C-A044575F7263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd446b97673ed30e429f4c9963ece99d4611ecff","datavalue":{"value":{"entity-type":"item","numeric-id":1258724,"id":"Q1258724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982016$BFC13172-DC8A-4F20-A5CC-AF3684DFB204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05eb69af228bfe5efabdad88215bb4cb39ddf554","datavalue":{"value":{"entity-type":"item","numeric-id":701293,"id":"Q701293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982016$BD11EA2A-17BB-4AF5-B9AD-C622E369A7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31e742655de3ec0f0e38b7a147117d578bab2a4b","datavalue":{"value":{"entity-type":"item","numeric-id":5443925,"id":"Q5443925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982016$E62F46B5-8465-4837-839E-C176EA30AA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"866d1605b625add09ef9c73e276f3a3cca675321","datavalue":{"value":{"entity-type":"item","numeric-id":5941719,"id":"Q5941719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982016$9C24D9D4-BE5A-48D1-89E8-3875075BD6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aa3a343358c2292e5427ad6310372de0b6fcc99","datavalue":{"value":{"entity-type":"item","numeric-id":5495322,"id":"Q5495322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982016$C54E93DF-A67A-456D-81F1-BCB11793737C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45abb4c67875372d805f1b998c7ad11a00139702","datavalue":{"value":{"entity-type":"item","numeric-id":3822144,"id":"Q3822144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06389be20e9beebb1d47cd0bae1a594fb607b921","datavalue":{"value":{"amount":"+0.9094894","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":"Q1982016$ECA3CD20-F94B-46E8-8294-B210770ED32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f838ffeb787ab78c62a7b621c1a8b3dbf110458","datavalue":{"value":{"entity-type":"item","numeric-id":4854864,"id":"Q4854864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"334142deed82e439a1b394503f06381d3f5a7187","datavalue":{"value":{"amount":"+0.9077215","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":"Q1982016$ECE4C04C-F053-4664-A5DC-ABF44BA8F862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e2215e23d5af41d17356d12e7854e82ca460bcc","datavalue":{"value":{"entity-type":"item","numeric-id":1318249,"id":"Q1318249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"908a7f600474aef4a1ceacddf3bad45ebd3bcc4b","datavalue":{"value":{"amount":"+0.90261954","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":"Q1982016$A52AC814-E9DD-4A26-B0ED-E4BEE7F5B924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f280a88be76b9f93bbe66b3961c5533d4e963164","datavalue":{"value":{"entity-type":"item","numeric-id":4934143,"id":"Q4934143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c7a9c8fa57cfd71e42da971397fe51724c4e730","datavalue":{"value":{"amount":"+0.9000921","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":"Q1982016$B1546F4F-9308-4A87-B5E6-10859B711777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8841cf0859f9dd8035b51c6a3778cc6476ee764f","datavalue":{"value":{"entity-type":"item","numeric-id":5216977,"id":"Q5216977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7da445f201161721f198c9384665fcd621d5caa4","datavalue":{"value":{"amount":"+0.89758086","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":"Q1982016$039FB0C5-74A2-46DA-8613-65210FE3C47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"932681efaaf8eb3441d76a79611a0df681bf1dd3","datavalue":{"value":{"entity-type":"item","numeric-id":4796510,"id":"Q4796510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4797d36ca417ea03aaaed381248509c01d2fac55","datavalue":{"value":{"amount":"+0.89674455","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":"Q1982016$6221E286-5E86-41A4-B16B-8F63BDB9EDB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bbaff6ade68c64b78545180106a1a70ced77d79","datavalue":{"value":{"entity-type":"item","numeric-id":3509055,"id":"Q3509055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f34c1006e4ea8c5bca6e2b13ecb86ca2c8dd6dd","datavalue":{"value":{"amount":"+0.895244","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":"Q1982016$F2DA2E8C-4FAD-4A06-9EE8-97E00FC8BD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e792364c294919b1c161c4b40bffa5c64cd106ff","datavalue":{"value":{"entity-type":"item","numeric-id":2851832,"id":"Q2851832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"230ae308a5b000ca975a53b74e2a621e6911b11d","datavalue":{"value":{"amount":"+0.89401865","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":"Q1982016$3D5CB21F-DF22-441C-A125-ED91F6DF3752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a00d66e95f8c9b9d835c3a67da9721ef0406707","datavalue":{"value":{"entity-type":"item","numeric-id":5880427,"id":"Q5880427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecca842532fcaf1bdd511c1951581763504415a1","datavalue":{"value":{"amount":"+0.8909574","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":"Q1982016$5ADD5CBB-038D-4FFA-9D43-767AD11CE82A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d26f8f005331d9110af60d1327eaf392873db629","datavalue":{"value":{"entity-type":"item","numeric-id":5259659,"id":"Q5259659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7f6ccb0e88a787cb16e147ec04e932ff6807995","datavalue":{"value":{"amount":"+0.89014465","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":"Q1982016$FFCEFE81-7A04-4435-AEBB-A4AD36208BE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1982016","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1982016"}}}}}