{"entities":{"Q4858819":{"pageid":6888399,"ns":120,"title":"Item:Q4858819","lastrevid":98154158,"modified":"2026-06-05T16:47:40Z","type":"item","id":"Q4858819","labels":{"en":{"language":"en","value":"A solution to the completeness problem for weakly aggregative modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 827468"}},"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":"Q4858819$9940F7B7-5713-4BA1-BE5A-D76348A9ADFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"369cee91ec75a556f7f9b35560500691e8ef89eb","datavalue":{"value":{"text":"A solution to the completeness problem for weakly aggregative modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4858819$A1E1988B-F724-4310-9E7F-3E382BB2C4A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63c5ae0fa630b808ecfd042226e7391818435bef","datavalue":{"value":"0837.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858819$F866AA62-4D88-4238-B538-8BC8624D7502","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"616bda9045d2c56559d274f6761157157218ce83","datavalue":{"value":"10.2307/2275759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858819$F81EAD89-B80C-4BF9-91A4-22359A9A17C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"395a6068f7d277db820ea0393c13a60755ee3781","datavalue":{"value":{"entity-type":"item","numeric-id":1362595,"id":"Q1362595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858819$0FF3F0B9-8B30-4D26-A419-BBB39D6667D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d91bda433af7a57328eba192d0cddfb51c7d420e","datavalue":{"value":{"entity-type":"item","numeric-id":1299965,"id":"Q1299965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858819$E212008A-81DD-43A0-9EBA-F71AFCCC17EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858819$1F35D654-5182-4490-9BAA-50C5157C2F5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee59901d69866304abafcd743e3ac34b98e250a0","datavalue":{"value":{"time":"+1995-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":"Q4858819$25C7A4E4-62F2-43B6-B2E1-D49F1BABFB06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858819$08F2BCCF-63C1-4986-99A9-53E358B934D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85fc2bb273f1d709fac8a9ecae31d0a59f78df40","datavalue":{"value":"827468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858819$282BB9DC-91D4-4A5B-BC9F-17B9887E10F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858819$A22275BB-BA89-4162-9EEF-E107580CD718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ea9d919d165bc363679b58694930125e154d20e","datavalue":{"value":"Kripke-style semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858819$16210494-83D6-4FB1-88D2-9ED54923FEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3829b79408d0e34cc0fa053f7fc4e40d313ffdb5","datavalue":{"value":"frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858819$D1D7FB9D-138D-4FBB-A6DB-3AEBBA3AA130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fea9a03b5dc56f980d477656272a4aec82f77f56","datavalue":{"value":"model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858819$64932584-FD8B-4854-A9CF-61E9C9EAD35B","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":"Q4858819$3EAAB1B3-9B7E-4224-B76C-1383BEE7ED34","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f929ec120b0db6faa0bae9861d3cf2a7d981eaad","datavalue":{"value":"https://doi.org/10.2307/2275759","type":"string"},"datatype":"url"},"type":"statement","id":"Q4858819$D43C294A-FA04-4AE8-A133-4A2D844AC35B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"748e7347905700a1b30db69c1a0c8462c3c95a71","datavalue":{"value":"W2010242502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858819$B9E6156C-52D9-487A-ACAE-091CC8AEF22A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"15caefb8ad721ba7e51f638437e23b51cafea9c0","datavalue":{"value":{"entity-type":"item","numeric-id":1077400,"id":"Q1077400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858819$6E8AE93C-933D-45EE-BD60-58DECDAAA757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70672b9afa4917414dc798ea306377596d4fc863","datavalue":{"value":{"entity-type":"item","numeric-id":1158141,"id":"Q1158141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858819$22CA0E87-5DB5-4BD5-A358-BF44989D7195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61bd89b73f8e6d318c76f6146aad435bb4556626","datavalue":{"value":{"entity-type":"item","numeric-id":1143389,"id":"Q1143389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858819$6399F499-641B-4409-98F9-35BFA9E279F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b6d23e539b47999d6c5dfbbebb2acc441ae3e36","datavalue":{"value":{"entity-type":"item","numeric-id":3919672,"id":"Q3919672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858819$061EACA8-4DAD-4EF6-A5A7-00E42202FF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83c637a1358574aabd1b22a9f248dbfa5d1692e5","datavalue":{"value":{"entity-type":"item","numeric-id":1158142,"id":"Q1158142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858819$D37F1BB4-A6F7-42A9-8D82-A02E9655AA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66289e95c6122180cde35427bd039ed08fad6746","datavalue":{"value":{"entity-type":"item","numeric-id":3474640,"id":"Q3474640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858819$119D45DF-6193-40C4-80FA-172B4A96C792","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37f7d8db66f8a191a49c071eeb57cf570a7caf33","datavalue":{"value":{"entity-type":"item","numeric-id":1362596,"id":"Q1362596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75a0beb25efd3afeca27516e45e085158c981f85","datavalue":{"value":{"amount":"+0.8088937401771545","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":"Q4858819$36E5BDAD-0CC9-4254-B903-D6AD2CA7E470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32fae6ad76afa594bbd82f3ce9ddd1525c4ea2ab","datavalue":{"value":{"entity-type":"item","numeric-id":4444913,"id":"Q4444913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"301fe3c36fe3f1c2da299c0ee1b0a99aa8fa2032","datavalue":{"value":{"amount":"+0.8078005313873291","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":"Q4858819$7019DA90-AF1B-4A3A-823A-99623494F92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d54ddba3056b2cf50d60ab1c9a332c8cab1c4543","datavalue":{"value":{"entity-type":"item","numeric-id":2155209,"id":"Q2155209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45f2f12ad04602fce6f5df56b08a5fc82a126115","datavalue":{"value":{"amount":"+0.750633180141449","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":"Q4858819$508B09C3-81F7-49C9-AAEB-C79FB8F10797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11f956c7e03a3e8a22ce6d04d186d4d58fc3575b","datavalue":{"value":{"entity-type":"item","numeric-id":4879196,"id":"Q4879196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51e680d47d2e967dee847bb1d5fc362ce3aaa3f5","datavalue":{"value":{"amount":"+0.7387509942054749","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":"Q4858819$60D09F42-FAB9-4A5E-9CED-5B3FB8E80AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4e0c8b89b09b43ffdf5f743b2cd45fd54600fa5","datavalue":{"value":{"entity-type":"item","numeric-id":1924325,"id":"Q1924325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17005fe7c253e0c1556e9355da8073eb4ce932ae","datavalue":{"value":{"amount":"+0.7306585311889648","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":"Q4858819$2A3ADC23-435F-434D-AFA5-9892BC09270C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A solution to the completeness problem for weakly aggregative modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_solution_to_the_completeness_problem_for_weakly_aggregative_modal_logic"}}}}}