{"entities":{"Q1368378":{"pageid":1379118,"ns":120,"title":"Item:Q1368378","lastrevid":70260840,"modified":"2026-04-13T13:34:40Z","type":"item","id":"Q1368378","labels":{"en":{"language":"en","value":"Propositional lax logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1067083"}},"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":"Q1368378$58D482C7-E5DF-485A-9836-5B21D1001097","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4254c4082929f7b3c0f63cc0ac529fa44811846","datavalue":{"value":{"text":"Propositional lax logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1368378$A71D6A98-B994-4DE2-8AF9-FD11B172C1C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c0e26e76b4ab433d34f0a5afbca27ef8fb53668","datavalue":{"value":"0889.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368378$F0D47E51-5E8A-4845-BDC5-06C9039EBFDA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cf6a1b1bf3a3f61e1c00d212775b0e417475348","datavalue":{"value":{"entity-type":"item","numeric-id":1368377,"id":"Q1368377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368378$8595C40B-8395-433A-AA0F-94C609729DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f04db4e76afd2cfb9a7b7465aba3c3f1bfee9640","datavalue":{"value":{"entity-type":"item","numeric-id":453536,"id":"Q453536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368378$E4DE3D29-EC0D-4485-B3CF-31E294F8A2FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368378$E76458AF-D547-4B00-8175-BC9520E5B3D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"626c9c3b529a80407747ca2c1a7ddd1e7f406e5d","datavalue":{"value":{"time":"+1997-11-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1368378$40AC180E-0AEC-4647-96FD-B9B8634706B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c71afcfca3a44f77320e001f2918c4ea964a8aad","datavalue":{"value":"https://semanticscholar.org/paper/65c39e5ab7529695b9d68b88ae759c7a27b2503e","type":"string"},"datatype":"url"},"type":"statement","id":"Q1368378$DC184D27-9B10-46AB-AB09-51EF9DB964D2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"14df70e9a199d99e2f63b9603c3ca5a154e3c539","datavalue":{"value":"The authors investigate the use of a special intuitionistic modal logic with several applications to the performance evaluation of computer hardware. The logic contains a single modal operator enjoying aspects of ``possibility'' and ``necessity''. Several formal properties of the logic are well developed. E.g., (1) a cut-elimination theorem for the usual Gentzen-style sequent presentation of the logic, (2) a major Deduction Theorem, (3) the completeness of the logic with respect to Kripke constraint models, and (4) the finite model property for the logic relative to the class of constraint models. Early examples of mention of a similar modal operator by \\textit{H. B. Curry} [A theory of formal deducibility (Notre Dame Math. Lectures, Volume 6) (1950; Zbl 0041.34807)] have come a long way!","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368378$09404CC5-986E-42B5-BB3E-CC09DDB260F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368378$035698A2-0DBD-4A78-8A56-E8BFBA78D81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368378$141C6EE4-6F31-479E-899C-1BF608A5EA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368378$07C9FFFC-FDD5-4441-8BC4-E09BEA90D11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368378$D7116DD5-1159-4696-8EEA-77FE2E2E77AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9428d45211b02a18d2b1edfa5dc44c221a077429","datavalue":{"value":"1067083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368378$15E12D96-02D2-4865-A796-730E98643983","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2ac2883b93bc6d38f9b54353e42de243081356","datavalue":{"value":"propositional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368378$7A892C75-1792-4474-BCE9-F9931957AE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368378$7559BF17-1BED-43F2-8D71-45809B94F40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac52900f9c775a1c2e9b77521a060cf4681ca7f4","datavalue":{"value":"hardware verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368378$B9A3C361-D10D-4A05-9E69-E71FBF222555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b431bc780f66c4b1eac8206b320c436a9fb1df40","datavalue":{"value":"intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368378$CCF076A2-6643-45D4-B7BA-CA1AEC1A0EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62612c674efbb354acbec784284a0504fc3247eb","datavalue":{"value":"performance evaluation of computer hardware","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368378$49F72D53-35D6-454F-AF1D-045D9C9518FF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ba7232f3f7ae68133198ecf25821b70a187e9eaa","datavalue":{"value":{"entity-type":"item","numeric-id":704043,"id":"Q704043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368378$28745210-0E83-4D70-93A9-8A1EDF2323A5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368378$44D68419-0542-491E-BEE3-3BAB13886EC2","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":"Q1368378$69D32EE1-5128-4EBF-9D93-D0501435D1F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33d541427bf99355d37dbd734a15375d4a8efeaa","datavalue":{"value":"W2023132547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368378$844E6582-C84E-447B-ACF2-F18C6F7AFA82","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f606bae2e041aaff55644d735e3ec0035f9173d1","datavalue":{"value":{"entity-type":"item","numeric-id":4645225,"id":"Q4645225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368378$A5FE9F36-3C9F-41E2-8743-E2ED11C5516F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f249580a521efbf8ec95a14e96ab42705350cf25","datavalue":{"value":{"entity-type":"item","numeric-id":4304869,"id":"Q4304869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368378$4B5EABF3-0B85-44ED-B996-F2E23BF66401","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":"Q1368378$B1777809-8D79-4DC1-A5EA-153F38E93DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2db943cdfec732839199b6390d33fe4ed4cb5de","datavalue":{"value":{"entity-type":"item","numeric-id":5813908,"id":"Q5813908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368378$BAFF3D42-ECE9-4729-A04B-CFA5E2F46768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57189ecb55e1ba61822003d7d3f2f53dca71d675","datavalue":{"value":{"entity-type":"item","numeric-id":5802120,"id":"Q5802120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368378$88C835C0-BDD2-40A5-BB9A-934595A1B034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffad437e017fdc15baf42ce447a323a98e8dfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4133603,"id":"Q4133603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368378$53723661-0201-4262-8824-1E2A34EF6D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178097464b46161ef715af2d3f5fe3978ea3aabf","datavalue":{"value":{"entity-type":"item","numeric-id":3754596,"id":"Q3754596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368378$7BEF4BCE-AA57-403A-B9E5-6F0A09E07715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b6ffcb59189d45049dbb8b637f649d3013fafd9","datavalue":{"value":{"entity-type":"item","numeric-id":3898472,"id":"Q3898472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368378$3DC0EE4E-7483-428E-8FC3-6DB34A81315D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368378$B5FFC7AB-577A-4D85-B6FB-E80F465261C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e2315a5bfee579bf47ae0bf7c08aecb76d3cf6","datavalue":{"value":{"entity-type":"item","numeric-id":4777279,"id":"Q4777279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368378$32A08297-EC1B-40FD-825A-F9A4714D0047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"864023aa78030f1f2d6c56c8127fa6caaa3c6685","datavalue":{"value":{"entity-type":"item","numeric-id":1139588,"id":"Q1139588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368378$C3E389D5-4564-4D98-901B-93769F5CB002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"219172a5a05cde5e3e3261d771662a8b15b69b64","datavalue":{"value":{"entity-type":"item","numeric-id":3929724,"id":"Q3929724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368378$0F791D0D-4F2C-4180-87A4-A98FD5B33298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06fb0b94e59c5adb31c73df20ec0bcc54d345cfb","datavalue":{"value":{"entity-type":"item","numeric-id":3246321,"id":"Q3246321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368378$2B9B426B-BD7A-43F9-8AF2-CE5FCAA87A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e410b0342196b9a57a99e10bf61b541b0263c2","datavalue":{"value":{"entity-type":"item","numeric-id":1151916,"id":"Q1151916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368378$1F618DA1-D206-4A48-A335-D51B109184C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"355d08d5e5c4643fed69139b854c7f31566ba807","datavalue":{"value":{"entity-type":"item","numeric-id":1097260,"id":"Q1097260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368378$0165E959-BFF4-454C-BF4D-BE7E61BDA7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1d462c12bdc8e10e5bb686f0c7299926c25ec99","datavalue":{"value":{"entity-type":"item","numeric-id":5586247,"id":"Q5586247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368378$154F93E6-71A6-4F5D-9068-E9E33A31B7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f0c87cd8b8bc3e6cb7802c08419c8aacc23f7a8","datavalue":{"value":{"entity-type":"item","numeric-id":583197,"id":"Q583197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368378$A90E540A-FEFF-49F7-9FAA-21E999C4DC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368378$767A0314-1FB4-4D14-8556-0E9C1A1465D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c303769c93de867084cf6f828db3ca78e852da7","datavalue":{"value":{"entity-type":"item","numeric-id":4325547,"id":"Q4325547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368378$FCF15446-A6E3-4EA4-BEBE-84F6457D3E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"296d551a8d502586ab50c952dca577059f166883","datavalue":{"value":{"entity-type":"item","numeric-id":3955404,"id":"Q3955404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368378$CD0268E1-E490-43B6-ABAD-E517F28A6542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368378$1F959D38-7241-4EEF-8D93-27BF771C4526","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12a227d06b5344d3e6b9a9edd469ee7bc06a47cf","datavalue":{"value":"10.1006/INCO.1997.2627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368378$574B1FAB-C07B-44BC-8525-DAEDA5F8C0FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cafa7e928070900981fd2f08eaf96274360c25ef","datavalue":{"value":{"entity-type":"item","numeric-id":2847789,"id":"Q2847789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cfd09a0735c3eb70c2c4ca168cd937618da3cbb","datavalue":{"value":{"amount":"+0.908571","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":"Q1368378$A60D0411-BBF9-4FD0-B6EE-D1B24906DBF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08516cdd6a853c4ce1f4b7fe59dc6a3516683e98","datavalue":{"value":{"entity-type":"item","numeric-id":3532456,"id":"Q3532456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57821a9895718265846c238cd455c606ad157837","datavalue":{"value":{"amount":"+0.8919672","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":"Q1368378$45428A70-76A9-4B66-B412-B04425740C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42d5769cee74f3608302c9595c1604263a51d80a","datavalue":{"value":{"entity-type":"item","numeric-id":2746761,"id":"Q2746761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd859b7c4f879ca10d59a7580ccfb88e56a835c0","datavalue":{"value":{"amount":"+0.8908189","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":"Q1368378$0CCA35B7-8F4E-4C1B-A2BC-C0418B18826B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d27f7003f9248e8d2bcb4d0453de7090d770469","datavalue":{"value":{"entity-type":"item","numeric-id":1130230,"id":"Q1130230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fd31a701d4bca00e048b4f652fe7b9dd36af9c7","datavalue":{"value":{"amount":"+0.8888509","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":"Q1368378$F67D15D0-47FB-4DAC-A8A5-C52EEAE6F14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f61b7ba026f36d57b3accc136979789a0d4ce9ba","datavalue":{"value":{"entity-type":"item","numeric-id":484942,"id":"Q484942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"730d4465332862f21a465d110863a1591283be77","datavalue":{"value":{"amount":"+0.88539326","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":"Q1368378$2E1EB5B6-14E3-49A1-BDB9-FCEE09D8E51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99f604f7aa8c65381288f59d4306e077e3969c0d","datavalue":{"value":{"entity-type":"item","numeric-id":5384364,"id":"Q5384364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b13c025ac5105ce05bb315663838d8ce8aede376","datavalue":{"value":{"amount":"+0.88499296","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":"Q1368378$247D5C35-2E58-43CE-9A85-47FE19BAE605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f00b3334fa57b42ca73059a8b39be91a546b996","datavalue":{"value":{"entity-type":"item","numeric-id":2771060,"id":"Q2771060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d59ddba9f470b425b728556ac7d5ae045696db1","datavalue":{"value":{"amount":"+0.8842305","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":"Q1368378$ABE52331-E6F3-4700-9F4C-2048DCD7F2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cca2ec74666c9b6a6de39798dca019fdf3ef14e","datavalue":{"value":{"entity-type":"item","numeric-id":2943779,"id":"Q2943779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cef326c23c340e9ec0039f28f115769f5792f2f","datavalue":{"value":{"amount":"+0.880551","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":"Q1368378$27164134-417B-4850-A095-E22D109D55F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a582afafa597ad730b7d92ebb6ac10c1ad72c05","datavalue":{"value":{"entity-type":"item","numeric-id":1576388,"id":"Q1576388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76fd8d245486db850bb0f8af07ded4a1eabe9811","datavalue":{"value":{"amount":"+0.8793644","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":"Q1368378$1FA04365-FAD6-4F57-A416-35CC41472285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad4cb46d73cf35705e64fc684e2f33ce25ac6213","datavalue":{"value":{"entity-type":"item","numeric-id":674268,"id":"Q674268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34553797aa725426730c67a8be60e82544f4951e","datavalue":{"value":{"amount":"+0.8785019","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":"Q1368378$783D493F-2317-495B-BBD0-74684CB3C48F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Propositional lax logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Propositional_lax_logic"}}}}}