{"entities":{"Q1670491":{"pageid":1681232,"ns":120,"title":"Item:Q1670491","lastrevid":71854098,"modified":"2026-04-14T00:58:51Z","type":"item","id":"Q1670491","labels":{"en":{"language":"en","value":"On Sahlqvist formulas in relevant logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6932329"}},"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":"Q1670491$A577BF5E-F6C6-4364-8D54-2B31600320F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc0bf1a293ef6f52a64b343d70af0fa32c849f60","datavalue":{"value":{"text":"On Sahlqvist formulas in relevant logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1670491$5C8D33F6-B49A-4900-A81A-2AECD1ACCA1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30044548bf07e71c488db7bca781100d715c7c01","datavalue":{"value":"1441.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1670491$F1723BC6-CE2F-4F49-8E42-87CF16827FE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42b1041ba8f5005efa707f8a2eaa62c8625af6c2","datavalue":{"value":{"entity-type":"item","numeric-id":332083,"id":"Q332083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1670491$937C4A15-59BA-47FA-98BF-B7D7184D7DA1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1670491$3FEC19A3-82D7-43FC-BD6F-FD5DAC90A50A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"060557f7388df703dd2d2d2d1dd4d6670ff5a7bd","datavalue":{"value":{"time":"+2018-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1670491$62D79DA1-C9CE-4F59-9BFB-055A26AD7DAC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"548cac1add1d28a830eb934fa638874d4c8b6877","datavalue":{"value":"This is an interesting paper proving a Sahlqvist theorem for relevant logic similar to the one definable in modal logic. It is also proven that there are formulas in the relevant language which do not define elementary classes, thus showing that ``the problem of elementarity is not trivial'' (p. 674). The author remarks that the result in the paper ``improves our understanding of the first order properties of the Routley-Meyer frames which are definable in relevant logic'' (p. 674).  It is important to note the following points.   (1) The relevant language used includes $\\circ $ (fusion) and $t$ (the Ackermann constant) in addition to $\\rightarrow $ (implication), $\\wedge $ (conjunction), $\\vee $ (disjunction) and $\\sim $ (negation).   (2) It is used an unreduced Routley-Meyer semantics where validity is defined w.r.t. a set of designated points in the models (cf. [\\textit{R. Routley} et al., Relevant logics and their rivals. Part I: The basic philosophical and semantical theory. Atascadero, California: Ridgeview Publishing Company (1982; Zbl 0579.03011)]).   The particular class of models used corresponds to Sylvan and Plumwood's minimal De Morgan logic $\\mathrm{B_M}$ (cf. [\\textit{R. Sylvan} et al., Relevant logics and their rivals. Vol. II. A continuation of the work of Richard Sylvan, Robert Meyer, Val Plumwood and Ross Brady. Aldershot: Ashgate Publishing (2003; Zbl 1398.03011), ``Non-normal relevant logics'', p. 10--16]) expanded with $\\circ $ and $t$. (We note that the semantical conditions $x\\leq x^{\\ast \\ast }$ and $x^{\\ast \\ast }\\leq x$ generally do not hold in this class of models, whence neither $\\sim \\sim A\\rightarrow A$ nor $A\\rightarrow \\sim \\sim A$ are validated, while the rule contraposition holds only in the form $A\\rightarrow B/\\sim B\\rightarrow \\sim A$.)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1670491$F207E344-8263-466E-81DA-2182F29A733F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1337cba793ece012dc87025b12e0025a65ffdc83","datavalue":{"value":{"entity-type":"item","numeric-id":590824,"id":"Q590824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1670491$08763EDA-9FBE-4583-831F-B0B9939455CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1670491$76423C1F-0EC2-4701-8484-34158F3E441C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1670491$0D6643CC-E5EB-4410-BB48-2A5D4921E01C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9655c850964cd847559ba3d93ec690108e71dce","datavalue":{"value":"6932329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1670491$6FC64B80-1208-4A9B-85E4-C8936C97D00B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1670491$ABA17D74-135B-4B9F-8C3B-D2F561EDB2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"358c78dd701bde900613005c5df0e5fbf889ef13","datavalue":{"value":"Routley-Meyer semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1670491$5EB07107-170F-4B24-A7DA-DAA044172505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4d9187d08cd9a438f729b9dbee6b7d92d3c7e5c","datavalue":{"value":"correspondence theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1670491$B1D54436-EC43-491D-82F8-B2952C4EA976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2637c0d573555580fd71a2fe5d876b78172622b4","datavalue":{"value":"frame definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1670491$503C7991-B9C0-4272-886C-9B1F22492141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b12f41e3218fd3513b87921369184e3f7ab20b5","datavalue":{"value":"Sahlqvist's correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1670491$2B41EC82-DB98-4E19-98E7-E423525A76F2","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":"Q1670491$449FDB82-41CD-442C-B9A1-3F01C9B54029","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a34b8c76952e37ef2247ed6500d23322bcc1a3d2","datavalue":{"value":"https://doi.org/10.1007/s10992-017-9445-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q1670491$56A0C8E5-6885-4EDD-8DE8-1C94955CB9FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95234c6d5dc0a7a0ea65268a346fe5a8fc09b636","datavalue":{"value":"W2747584497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1670491$BDFBFB9C-2FB0-40C9-917B-DC38B208EF5F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"855cafac1cc7ee1180df7bbe1433f1a9470def49","datavalue":{"value":"Q59607687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1670491$3E1C9916-A59E-479B-A59B-EA374210F3D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bd86bec6d90d0f7880185d67b1aaed2ecdba979","datavalue":{"value":{"entity-type":"item","numeric-id":3599059,"id":"Q3599059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1670491$5FF032EA-9BC9-4DBF-A4FC-F59BEF9A47D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cacafd41474762f09b97108022af3fb20749d0be","datavalue":{"value":{"entity-type":"item","numeric-id":452358,"id":"Q452358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1670491$633A51E0-7AD9-4567-98A7-D26DE7EE1907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1670491$3C6498FB-DBC1-4C50-BE0D-353D621013D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de66f8ebd77e6ada2729ed8360a1a2786742b3d9","datavalue":{"value":{"entity-type":"item","numeric-id":4928772,"id":"Q4928772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1670491$F89418B7-C91A-4B04-A955-EEAD015564E5","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":"Q1670491$F4F52A69-AFE8-4BE4-94A1-F60A867E75A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1670491$017F3474-6479-41F3-AAA5-19AEC6B26CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1d131696c1fb0cdbb926fabc81f98456d70f87","datavalue":{"value":{"entity-type":"item","numeric-id":965858,"id":"Q965858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1670491$33D8C069-2CD2-40D5-969F-594439883278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6aaa7b86bdc231ffe89ddd9e2c9f38680d2278","datavalue":{"value":{"entity-type":"item","numeric-id":2937386,"id":"Q2937386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1670491$24B87227-C3AE-4417-9D97-CADD6EC14EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb37d4c5374d4a6b2459e0fbb29b51beec76c5b","datavalue":{"value":{"entity-type":"item","numeric-id":4103076,"id":"Q4103076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1670491$E107E5BC-A1EF-421F-8792-2DA3D7C385F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e89b483200a7d036cee9a4183206659625b1cbda","datavalue":{"value":{"entity-type":"item","numeric-id":4068700,"id":"Q4068700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1670491$7D9E5FB9-F31D-40B6-9988-8DA566518781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1670491$533567AE-386A-4D85-AED8-42B32A345293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"121c2b77a2e6f0b6bdb52f35e082e117e95f7c7d","datavalue":{"value":{"entity-type":"item","numeric-id":5287696,"id":"Q5287696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1670491$095C1F9D-E266-4AB1-ACA9-98BE00F01A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"566b0c163a36b7b7dabcdd14884ed1324b40841d","datavalue":{"value":{"entity-type":"item","numeric-id":4805593,"id":"Q4805593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1670491$8EFCE1F6-8EE0-4DC9-890E-32A1424A7E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b79e287b8f9dcb48386d79b783cadfdb720c4a","datavalue":{"value":{"entity-type":"item","numeric-id":1810815,"id":"Q1810815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1670491$51280366-D9B2-4076-BFFB-185E904FAD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7ee03495ed2937e48c50bc6f6dac23d151ede35","datavalue":{"value":{"entity-type":"item","numeric-id":496325,"id":"Q496325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1670491$ACFD2891-C74B-4D7D-8C0A-4CCA1BD9B091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb31a4d62b5fdee2a7225c8d98c6eb3229564b1","datavalue":{"value":{"entity-type":"item","numeric-id":4065515,"id":"Q4065515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1670491$32D26E2E-509B-4904-8C91-B8D0D1E36997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a438a093913b7a2dee05f63f488071036fcb163","datavalue":{"value":{"entity-type":"item","numeric-id":4103508,"id":"Q4103508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1670491$54D710D0-1644-4905-BAD3-AF48D5A56F1B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4addf7f894597bbfeb1de114be9eaf83fb30c526","datavalue":{"value":"10.1007/S10992-017-9445-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1670491$FA2E4D6E-18B6-4821-A0CB-DB6167FC938B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd55ae9dcb65cece843adac76d4c010995d636a3","datavalue":{"value":{"entity-type":"item","numeric-id":4459272,"id":"Q4459272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8342375e1f58c5f182682135de70b338ffb1ac6c","datavalue":{"value":{"amount":"+0.7846371","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1670491$A2F16C70-E206-4F13-8A9B-9EBED4C94A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6745254d6c3463d6abe66fc3002351efc98d1a60","datavalue":{"value":{"entity-type":"item","numeric-id":3202993,"id":"Q3202993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"877fa1807f2f1a2fb36f9e46ffcdc118f401ad07","datavalue":{"value":{"amount":"+0.78053975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1670491$EEE38C16-9D86-4A03-A535-D698825A9B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60f2eaec27b155a34ed4e3ef987172b50d0dc8ff","datavalue":{"value":{"entity-type":"item","numeric-id":2735687,"id":"Q2735687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09e94c6f4930cd7d03a6fb339dbd61fb725e6ed9","datavalue":{"value":{"amount":"+0.77801496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1670491$9DFD2085-9537-4540-B3FA-F439DB2AB6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"635e74a198d0cbadbba31ccbd28de35f95790c72","datavalue":{"value":{"entity-type":"item","numeric-id":2075284,"id":"Q2075284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22aceb85ae50f7c7bdf9f05d8e8e45576db72437","datavalue":{"value":{"amount":"+0.7779418","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1670491$606F527F-5E90-4087-9D10-54F0FC6C8EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a42c4a9d6c15cdbbd91944aac4b9d8b23c319f43","datavalue":{"value":{"entity-type":"item","numeric-id":4032669,"id":"Q4032669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9958ce6a7e6f29c17dee8ba7bc67662bed575272","datavalue":{"value":{"amount":"+0.7771005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1670491$5996C834-9AA6-427E-B1DE-46E98FBFC3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"662406e0e118a553db0578f95a48c5e1b49b33c9","datavalue":{"value":{"entity-type":"item","numeric-id":1066881,"id":"Q1066881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ef2dd720c299b1e33361f5d1e70d062bc45462b","datavalue":{"value":{"amount":"+0.7769118","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1670491$B0C41FB1-E928-4F2D-816D-91666ECD6965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dcb8deab2f3af3eedf2383799633afa4dd8b5a0","datavalue":{"value":{"entity-type":"item","numeric-id":793002,"id":"Q793002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b45833b2b582cdcda6a6d7b67b08ddc3867ec0e3","datavalue":{"value":{"amount":"+0.77609456","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1670491$5FEAD392-1409-48E1-8982-B59DE18FC3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c72a3406ff9429779702ac4e848bd80346304a80","datavalue":{"value":{"entity-type":"item","numeric-id":3081235,"id":"Q3081235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77878ec42a32770a5e8279330af286398db57b65","datavalue":{"value":{"amount":"+0.77569896","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1670491$712221AF-BFB2-4A9E-86DB-5048FCC893E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50162e624bbd79419f5271133c52926f1d8c0bc8","datavalue":{"value":{"entity-type":"item","numeric-id":3784049,"id":"Q3784049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"860bf4a1004b4870e59b9b2ab2394e7f69faf67d","datavalue":{"value":{"amount":"+0.7734231","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1670491$F93B8F5D-42D0-4F19-AA80-8D246122827B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45b11d185af863659a0b1821250d8842107f21ec","datavalue":{"value":{"entity-type":"item","numeric-id":1591336,"id":"Q1591336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20d32cf8153bd7f5240129eceeab8972a2b9d3c8","datavalue":{"value":{"amount":"+0.7659173","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1670491$BC17E6AB-1599-4509-B251-4A4EC3468350","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1670491$7BED9DA0-D2FF-4C4B-9E4A-1223744401AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Sahlqvist formulas in relevant logic","badges":[]}}}}}