{"entities":{"Q2243549":{"pageid":2254292,"ns":120,"title":"Item:Q2243549","lastrevid":71663469,"modified":"2026-04-13T23:44:00Z","type":"item","id":"Q2243549","labels":{"en":{"language":"en","value":"Positive monotone modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7424399"}},"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":"Q2243549$5F5BE0C1-CFFF-471D-947E-41CD9DFCAADF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c7e066107e1fbac388d4a1e0ee6ba446e829fb6","datavalue":{"value":{"text":"Positive monotone modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2243549$BE4EE3CA-0F4B-41B7-BBCD-2F494FA14583","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7dea1da982122996a5e8de08345225ba0ad177bc","datavalue":{"value":"1486.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2243549$908F9BDB-1D80-4346-8EA3-4BB5EEE4EE97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81242a8eba707b179b483553438b1a78dda87738","datavalue":{"value":{"entity-type":"item","numeric-id":2144185,"id":"Q2144185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243549$66CF760D-2BF1-4CA0-A482-7FE8D98A5494","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243549$2E2AB14E-CAC5-4750-AC9E-E96ABB2F388F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff0991cde18ec724825a8f6357cb1656c5a612de","datavalue":{"value":{"time":"+2021-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2243549$4DEE4AEC-4A88-42C0-89D6-D2B82ADC3783","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"75099fae2326ecd4d65908c745d314c546c60372","datavalue":{"value":"Classical modal logic can be described using a set of atomic propositions, the usual Boolean operations, and a unary operator \\(\\Box\\), subject to the axioms ensuring that \\(\\Box\\) preserves finite meets. A second unary operator \\(\\lozenge\\) can be then defined as De Morgan dual of \\(\\Box\\). In particular, both are monotone and distribute over each other, that is, they satisfy \\( \\Box a \\wedge \\lozenge b \\le \\lozenge(a\\wedge b)\\) and \\(\\Box(a\\vee b)\\le \\lozenge a \\vee \\Box b\\).  Monotone modal logic generalises normal modal logic in that it only requires that \\(\\Box\\) colaxly preserve meets \\( \\Box(a\\wedge b) \\to \\Box a \\wedge \\Box b \\) and leaves aside the distributivity rules above. Semantics for monotone modal logic is given by coalgebras for the monotone neighbourhood functor on sets, which in turn correspond to Boolean algebras with monotone operators on the logical side [\\textit{H. H. Hansen} and \\textit{C. Kupke}, Electron. Notes Theor. Comput. Sci. 106, 121--143 (2004; Zbl 1271.03029)].  Similarly to Dunn's positive modal logic, positive monotone modal logic is the negation-free fragment of monotone modal logic; hence it is based on both modal operators \\(\\Box\\) and \\(\\lozenge\\), subject only to the monotonicity requirement and to the duality rules \\( a \\lor b = \\top \\Longrightarrow \\Box a \\lor \\lozenge b = \\top\\) and \\(a \\land b = \\bot \\Longrightarrow \\Box a \\land \\lozenge b = \\bot\\) (which in presence of negation reduce to the usual \\(\\lozenge = \\neg \\Box\\neg\\)).  The paper under review provides full axiomatics for positive monotone modal logic, developed using the algebra-coalgebra formalism on top of the Priestley duality, as follows: First, a sound and complete semantics for positive monotone modal logic is provided by distributive lattices with monotone operators, which only form a quasi-variety due to the implicational form of the duality rules. Next, positive monotone modal logic is shown to be sound with respect to certain frames based on posets, which in turn can be described as coalgebras for a poset-based analogue of the monotone neighbourhood functor. Finally, completeness is established using descriptive monotone frames -- these being coalgebras for a convenient subfunctor of the double convex Vietoris functor on Priestley spaces, and a categorical duality between these and the distributive lattices with monotone operators mentioned above.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2243549$E72D8854-2716-4C3C-85DA-55E1B12A5D6E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8d41e7f43308371db0fe9adfc7bb5ee1f8bb9530","datavalue":{"value":{"entity-type":"item","numeric-id":1701169,"id":"Q1701169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243549$8CAB7187-2FE2-4C9B-8646-22B01F91BBDD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2243549$752CA267-B18E-44A6-8CA7-CBE3CF8CAB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2243549$F2CC1C5D-DC9B-43ED-97DA-B530DC1B85A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2243549$45A0406C-A4EF-4C8E-AD0A-BC652E500362","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be0f3f1fbb9c624be3b640b8e4096ca2819811cf","datavalue":{"value":"7424399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2243549$382680BA-1488-4200-8E90-880653857D41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2243549$9E1A40E6-E4F7-49D8-AC4E-A8CE8B9896CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"338832971d2c4ecc97328ab09c9356f879bc7933","datavalue":{"value":"positive modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2243549$BC3D5CCE-65FD-408F-89EC-911BF8D31FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2530a29a5059e11311890e22f1b745a9a830b036","datavalue":{"value":"monotone modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2243549$0FE16B4A-8235-4EEA-80CA-99F4C0527EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e1847f1d1eb2343299689288309cd1e6ebf63ef","datavalue":{"value":"coalgebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2243549$7A929E1F-6388-4912-8553-2F6FBA69875A","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":"Q2243549$C0E21A44-BF3A-4328-B685-4FF8A75D98E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"053879445d0994cbcb8a0b6ef4f8a02a74be7fb3","datavalue":{"value":"https://doi.org/10.1007/s11225-020-09928-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2243549$798A9FC9-167A-437A-979A-76CBD831AEA5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a73e60ae16953341f5cf137829e1613059e83ed","datavalue":{"value":"W3127289439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2243549$934F0CC2-7713-43D5-AEC2-49A1A0D2F3FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243549$A5A601C5-0CD6-46E9-A207-A09E3A3B51A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afb6d6d5a1dc5614019136abacf0c0f9f73314b7","datavalue":{"value":{"entity-type":"item","numeric-id":3090863,"id":"Q3090863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243549$270A9742-B01D-4512-B383-B55517E8BC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a9c0e29421d6669655f0af85221fca04b96cbb6","datavalue":{"value":{"entity-type":"item","numeric-id":2848939,"id":"Q2848939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243549$64DB9149-A880-4095-BD8D-1E62AED5683E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98346e821c6280680e9db82a7dc76594dc4caef8","datavalue":{"value":{"entity-type":"item","numeric-id":3133183,"id":"Q3133183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243549$B9AD7CD5-547B-48B4-9D71-E9A1076D31B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efebc7c8438f609585ce6f3616f7a1e09e87b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":3196349,"id":"Q3196349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243549$3827CD35-2352-4475-BE3B-8C1CC0766113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c316fa669d48b000ec5f0459a85bb855a2abeff","datavalue":{"value":{"entity-type":"item","numeric-id":3612489,"id":"Q3612489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243549$F6AAF910-26CD-4AB6-90FF-87F2E8D3311B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f5627b5d6dd11232b46313e0c1f24553c61be06","datavalue":{"value":{"entity-type":"item","numeric-id":1377550,"id":"Q1377550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243549$78727F4E-71B5-4B48-AC23-787A3AD676F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f89108f8d5e7b8a9a6c10b9a1b4f1677c89806c0","datavalue":{"value":{"entity-type":"item","numeric-id":4934881,"id":"Q4934881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243549$A17331E5-F7A8-4EB1-8A61-137A8B666077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243549$168A6A95-6EEF-42BB-8599-D995C2D25F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5e8fe05cd5e3ae13767a7b7e60c9c43f1d434f3","datavalue":{"value":{"entity-type":"item","numeric-id":4580204,"id":"Q4580204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243549$A639582E-BDA3-4DCD-9C33-851035BC3F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b942124d289338651d8677a0814115d2b144354","datavalue":{"value":{"entity-type":"item","numeric-id":1902555,"id":"Q1902555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243549$76635108-AC75-4B84-B576-B4ED943FA8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff2f07857e66fadacbe0b4f38b8f73732921dd7","datavalue":{"value":{"entity-type":"item","numeric-id":705532,"id":"Q705532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243549$A272A32A-B081-43B9-964B-222298976833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa930a4e97da80c6689f7e7640c76695c3738cd","datavalue":{"value":{"entity-type":"item","numeric-id":3773852,"id":"Q3773852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243549$F43F4D2B-0B89-4EB4-8FEC-D54F5DC52E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c3ecd05b920043cd848328093971a170ec0a499","datavalue":{"value":{"entity-type":"item","numeric-id":2847811,"id":"Q2847811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243549$04DD8A22-A891-46D4-A8A7-645C263E7B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8186fdee750524303424d9b05d92653bbb0f6f7f","datavalue":{"value":{"entity-type":"item","numeric-id":5419889,"id":"Q5419889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243549$981DEEED-F55D-4C56-AA8D-638D2AA3130F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4cd4e1c2b78c5b629811e9e7bbb563cc61d6db7","datavalue":{"value":{"entity-type":"item","numeric-id":5224579,"id":"Q5224579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243549$94D15CCB-9F57-40C5-B200-3D21CC265FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"463cf8243e4109af3f29fbbc771487068a0df78f","datavalue":{"value":{"entity-type":"item","numeric-id":703523,"id":"Q703523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243549$4DC47582-C227-48B4-B814-B9652B6DFCBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a34ec3b298bec3a09c285cff1f0055c673977e9","datavalue":{"value":{"entity-type":"item","numeric-id":703528,"id":"Q703528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243549$B9754F31-F9C0-4287-A742-13D520853CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f4b2eac24d9f89be1c7513caeb7568abecc973","datavalue":{"value":{"entity-type":"item","numeric-id":3346126,"id":"Q3346126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243549$207B19E5-E939-483A-B2AE-7A8C2753DD82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9672d1f90f8366b2aa3154bc15fee0e7593092b3","datavalue":{"value":{"entity-type":"item","numeric-id":5598363,"id":"Q5598363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243549$DB59DD23-1367-4F84-9757-72612F2817C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67499e1fabe341d80590c92eac09cec99f11d4c2","datavalue":{"value":{"entity-type":"item","numeric-id":4933590,"id":"Q4933590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243549$10EC638C-F57B-4586-B515-6679FFEC808D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9290e0f78bdcb92b73aa5e434cc4d2ed51e2f3ad","datavalue":{"value":{"entity-type":"item","numeric-id":4731170,"id":"Q4731170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243549$880A81F7-239A-404C-B8DE-3E130DE93935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1389a29dc2597427f58610fd878fb601a1e4f6ab","datavalue":{"value":{"entity-type":"item","numeric-id":2904063,"id":"Q2904063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243549$5C5D96E5-CAC7-447A-83BA-2AED82C5A537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ad55d423b35bc4c2f7b1fcbb8fc8ceb12dcf8","datavalue":{"value":{"entity-type":"item","numeric-id":3994458,"id":"Q3994458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243549$A8970C9A-1DCB-4C94-8EFC-4B25C4BF61E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61bb0a1fe2da51bc02156c0cc4e81407c4acae73","datavalue":{"value":"10.1007/S11225-020-09928-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2243549$3CDF0201-1B4B-4EF4-8A81-8F83996F5C84","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0914d55f629aece19c93be1333e9499dfc9e4584","datavalue":{"value":{"entity-type":"item","numeric-id":2843730,"id":"Q2843730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c97f7cc23f9d63305bb1493fff05d163c0596023","datavalue":{"value":{"amount":"+0.8552042245864868","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":"Q2243549$A8E9BC84-0F80-4129-BC1D-D9EC26C28E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70207880ca373230a84547d49c0e846e15c2533a","datavalue":{"value":{"entity-type":"item","numeric-id":2848939,"id":"Q2848939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a9d7b06d7e83d819d9b2e29aa65c1612e6881ef","datavalue":{"value":{"amount":"+0.8551115989685059","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":"Q2243549$83202F2B-F262-499F-BF4C-714FA41C079A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ccd3c6d9558d005b0d82e22b0a538b63eff9aa5","datavalue":{"value":{"entity-type":"item","numeric-id":703528,"id":"Q703528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2cc624ebd6534db18ae8b7ee28a562fe41be27e","datavalue":{"value":{"amount":"+0.8484020829200745","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":"Q2243549$F45F592E-666E-4BE0-9DA7-ACF9E3B64689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c17e88fa57f37d2ecb53dff7724933392874016","datavalue":{"value":{"entity-type":"item","numeric-id":3133183,"id":"Q3133183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16ed45b61d9fc1dc5c79859fe0ada9c4541fc788","datavalue":{"value":{"amount":"+0.8173505067825317","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":"Q2243549$AD139D89-9DF4-4F17-A5D0-608183D55884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6418937783753e60f48715463a66620c7f0163c8","datavalue":{"value":{"entity-type":"item","numeric-id":1377550,"id":"Q1377550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ea457015c50490d51189ed4cf1d9eacfd8d75ac","datavalue":{"value":{"amount":"+0.8074079751968384","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":"Q2243549$18D015A8-4EE2-4C13-9F41-1EAACCA27110","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Positive monotone modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Positive_monotone_modal_logic"}}}}}