{"entities":{"Q4295247":{"pageid":6324848,"ns":120,"title":"Item:Q4295247","lastrevid":47248669,"modified":"2026-01-01T03:15:56Z","type":"item","id":"Q4295247","labels":{"en":{"language":"en","value":"QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD SEMANTICS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 584646"}},"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":"Q4295247$965CBC8C-1924-41B0-B832-85ABCD3DEE33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ced55a7bd3c9cc382483d1a7e1193a6a73be1661","datavalue":{"value":{"text":"QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD SEMANTICS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4295247$B061078C-9BEC-41D0-97E1-441E060A13B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a7e4bd02ed428b66fc299561ac49ff5a85ecee7","datavalue":{"value":"0794.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295247$8E21A5AA-3285-45A9-91F1-C0E0454E3AB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2245907fa43664a5dc0727363d03f989d6cfe395","datavalue":{"value":{"entity-type":"item","numeric-id":1283125,"id":"Q1283125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4295247$0BD0B029-ED63-4E9B-B409-454D684EECCB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4295247$23D45F5D-53BE-45A0-AA0A-74DD08402484","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"61c1795d228ab22211b26a23695343076442e1f3","datavalue":{"value":{"time":"+1994-06-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4295247$1F4BA275-F4F2-48BA-AC9D-34C99245C5FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295247$4B6793E2-85E5-4087-BF26-F23113EFE2D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae55527271ce1a52fb7c61d65a3ab28b3b32c67a","datavalue":{"value":"584646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295247$443F0811-4EF5-410A-96C5-D3D7F313C9EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c690e60ee533519910eb068b3e141085575ad1a","datavalue":{"value":"neighborhood semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295247$490F10DF-C38B-4FA9-BFB8-8871C3174EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"527def781fe17e70652b5ba1af79e59518042825","datavalue":{"value":"quantified modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295247$0ACE9DEE-58A0-4EBB-B425-2B55B88AEF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295247$DCCEDD3B-45DF-410A-AD07-566916447C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17248f0eb129af9a85dab28eac076ac915088f19","datavalue":{"value":"Barcan Formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295247$F8D8F594-2BCC-469A-AAD3-0796366DA674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295247$2EF5276E-7113-4572-A10D-57498E83E708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295247$C303E227-2334-4718-8902-54378EBB5447","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":"Q4295247$6D08323C-E29E-4F75-8DEE-227A2198E8FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5af888f673db6aa48642807f8b25137ea4883b5","datavalue":{"value":"https://doi.org/10.1002/malq.19920380144","type":"string"},"datatype":"url"},"type":"statement","id":"Q4295247$1F1A8E4B-D4BE-4D65-AC22-A1268103B8CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"189a71f9f16d1e0c9edcaebfc536f5d9b6b467fc","datavalue":{"value":"W1975000410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295247$1685D9F9-D934-425C-84A6-521DD96E4A74","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"516b4e6907a9543bb656bd8f935c103bf1f114bc","datavalue":{"value":"10.1002/MALQ.19920380144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295247$8AA5E418-6B77-42DB-AB56-5CEA5F07D1D3","rank":"normal"}],"P1643":[{"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":"bdad0a8869c6583d0275fa8979d8b6c805a53b38","datavalue":{"value":{"amount":"+0.8112366199493408","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":"Q4295247$BBF9878E-10B5-48B5-A33C-DE99E7BAEA90","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":"7184f8774b089dfbd111fa3251b4a22d5d0780f4","datavalue":{"value":{"amount":"+0.797249436378479","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":"Q4295247$EDF39C55-1C3B-4DCE-8CB0-C7A42F2BD123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54516e078c25151df809beb36c19c0c3d6c9e380","datavalue":{"value":{"entity-type":"item","numeric-id":1882400,"id":"Q1882400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"853ff7aedfdcf36248844549f91f76d649471840","datavalue":{"value":{"amount":"+0.7891806364059448","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":"Q4295247$4B053387-CF7F-48F1-AF44-60E7D5357CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff0f819e1aefdae72450970f513fdaf22d72ba62","datavalue":{"value":{"entity-type":"item","numeric-id":5198903,"id":"Q5198903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d33f4aa3216e3aeecee58be03728a37e27d95b9","datavalue":{"value":{"amount":"+0.7764416337013245","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":"Q4295247$3C068177-0134-4D9F-B12E-FE700D3272B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1421697fa8bf5759a7ff616e163870e3e0a2a46c","datavalue":{"value":{"entity-type":"item","numeric-id":1685158,"id":"Q1685158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d732314feed86ca8562c1c6f4b574cb6ea85b73c","datavalue":{"value":{"amount":"+0.7656199336051941","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":"Q4295247$33011B6F-42FE-40A6-9082-FFA50EBD7E81","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4295247","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4295247"}}}}}