{"entities":{"Q750417":{"pageid":752266,"ns":120,"title":"Item:Q750417","lastrevid":64055280,"modified":"2026-04-11T17:20:27Z","type":"item","id":"Q750417","labels":{"en":{"language":"en","value":"Constructive modal logics. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4174893"}},"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":"Q750417$A2A1E392-4129-411C-81E8-21F6426F8367","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9df49ce2507c6918cfbc6099d1a0a2553fc021b6","datavalue":{"value":{"text":"Constructive modal logics. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q750417$F6960A86-9AFA-430B-A9D5-E5FB3A81295C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9625906bb13468b2d417a8c90e2127eb963af17","datavalue":{"value":"0714.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750417$C181BF2A-2ABB-4301-82AD-A1D95F2592B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8dc0874940a435714abbdeffb67811682e59a1a3","datavalue":{"value":"10.1016/0168-0072(90)90059-B","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750417$568CF12B-FDF0-482F-9747-B10198EC5760","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1092150a261a66f1ebef10642c2dfd50b94f3cbb","datavalue":{"value":{"entity-type":"item","numeric-id":750416,"id":"Q750416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750417$01D2A6E0-8DC7-4B41-B70B-42CA23097942","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750417$D6F129A5-2818-4FFC-AE29-051575C19D8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q750417$64454204-A0E9-4769-BBED-05CFB45EF850","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d83b19c50348e53ff0635c002efe464527132e86","datavalue":{"value":"The main system considered is intuitionistic predicate logic plus Gentzen-type rules for K-modalities: \\(X,A\\to B/\\square X,\\diamondsuit A\\to \\diamondsuit B;\\) \\(X,A\\to /\\square X,\\diamondsuit A\\to\\) and \\(X\\to A/\\square X\\to \\square A.\\) Cut elimination and completeness theorems for Kripke semantics are proved. The difference from other systems in literature is for example the lack of distributivity \\(\\diamondsuit (A\\vee B)\\to \\diamondsuit A\\vee \\diamondsuit B.\\) Additional axioms are considered. They are said to be useful for proving properties of concurrent programs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q750417$9465137A-A7B4-445F-85B2-52F93A3D0E4C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750417$662762C1-E019-42D9-A3D1-7DC8E114B94A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750417$46117478-6FDF-44BD-AECA-8F91D5777374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750417$C3DBB14E-DB22-4E6B-B6D1-064E0B2DC6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750417$D6BA34DF-C468-45C4-9D4F-DD1A39270DEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3cd9dcacd990b43424f41d65ca2b497bd353c9f6","datavalue":{"value":"4174893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750417$F3451A53-78BA-4FA5-B17E-0195753F4F7C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q750417$A92F18FD-F02E-4D01-B677-BD4248390341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca92b49d5b5f49b1d8365eb8ccd194f8797017bb","datavalue":{"value":"intuitionistic predicate logic plus Gentzen-type rules for K-modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q750417$2899BC1B-07FB-4885-8496-2726E74AA80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q750417$0EEB4716-78BD-4F98-98B1-EA844F1A9741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q750417$EA00DD81-E6C4-4996-8475-3FFDC8235959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a850ee01f9fe6c0e93ae692ac21d7eb4a5f1f68c","datavalue":{"value":"concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q750417$352FC2D7-33DF-4872-A960-CBDEBEDA78C3","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":"Q750417$D9D16205-9E88-455B-8C7E-1B5E1502BFAB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b65e0aba9c9550d09b3aa23b24d834aac779a91","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750417$EF50AE34-3C49-4B4E-BE39-8BD9DFF17351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4760a59608fda63bd7abcfa1f697197d62b4d0ac","datavalue":{"value":{"entity-type":"item","numeric-id":1096612,"id":"Q1096612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750417$44A8308C-0ADA-4DA7-A835-8C9C7DCA83D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc7261581be2247eafa3592bf3f840a736de9d81","datavalue":{"value":{"entity-type":"item","numeric-id":5586229,"id":"Q5586229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750417$71F70EC0-D46E-4F66-A031-A0DC5BB4AC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d346d8485da0bc889f787fa277d331b616d4df2","datavalue":{"value":{"entity-type":"item","numeric-id":4054648,"id":"Q4054648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750417$DFC2D749-9936-4B30-8C5C-8824E2E12DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750417$BE461F8C-0909-4DF1-80EA-EA1F6CFEFF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4b01c430c91cec5f0c7619c27c486ede0808e55","datavalue":{"value":{"entity-type":"item","numeric-id":1096613,"id":"Q1096613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750417$26550C2F-A37F-496F-ACE6-3514C17174A5","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":"Q750417$FFB53781-4EC6-4458-B8B4-388D7EB02F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ee19f680d962c1f634bcb5b5a87502da5129db0","datavalue":{"value":{"entity-type":"item","numeric-id":1240729,"id":"Q1240729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750417$521F56DA-28C3-41A7-9578-138848F2BC3F","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":"Q750417$4D5902FB-141E-4DAE-B9C7-3DA220495DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704d232b4924666c6f169f58fcfb8c118dc3bd7a","datavalue":{"value":{"entity-type":"item","numeric-id":5793835,"id":"Q5793835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750417$7667E344-29A4-4ACF-9644-6BCA06BFDFF7","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":"Q750417$0DF1353B-2215-4C88-A6AE-BFA5C09A58D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750417$893DA8D0-D8E8-4F2D-A778-2F7F9232AF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a66ff41fbcfd81f3126133c415e30a6cabc423b","datavalue":{"value":{"entity-type":"item","numeric-id":1099162,"id":"Q1099162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750417$445DEA39-2319-4360-B18E-42D6A90E9F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5dfbc538077da75d332fb528c12551a8b230f68","datavalue":{"value":{"entity-type":"item","numeric-id":1148885,"id":"Q1148885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750417$9031F88B-CEA5-43FC-879D-A56FAEE7004A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1315308a3632017650f7f5ae94783a9883728aea","datavalue":{"value":{"entity-type":"item","numeric-id":3739107,"id":"Q3739107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750417$5E92C11C-1D3F-4FFD-BD28-FC4182E25BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41d991cd5602b157aecd21faf84810ebd69c2d96","datavalue":{"value":{"entity-type":"item","numeric-id":4128789,"id":"Q4128789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750417$8B648B83-829E-4BC1-8B56-4C1C21D0DBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750417$A4D9E38E-7322-4085-83BA-C238246CDDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12ce99e75f00697efa1f5f9afd862b773370cf1","datavalue":{"value":{"entity-type":"item","numeric-id":1147690,"id":"Q1147690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750417$6BFF8B1B-AE1C-442D-BF79-A1F7AF4A1DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2235fb3183968eaa336d2af78465b477fb3d4674","datavalue":{"value":{"entity-type":"item","numeric-id":4385540,"id":"Q4385540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750417$59A5DB2E-4815-4003-AED8-FCEA5A111C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee2cf2a0dbdd01a7a4261488e61c1139b1e8ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":3919674,"id":"Q3919674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750417$16A27B95-9B8A-472E-BDFA-C4A1A03224A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2358a93286be8f533ed707b97f4163c56085c86c","datavalue":{"value":{"entity-type":"item","numeric-id":3481670,"id":"Q3481670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750417$42B24066-B36B-4CD6-9579-A2013221651A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"002bf775feb17ae6b3e8d3218d33a914d2ea456c","datavalue":{"value":{"entity-type":"item","numeric-id":1835666,"id":"Q1835666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750417$E4446255-B611-427D-A065-B6676C38CED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e0c1a4e478a32752a62b530cc2a5255baa77dd","datavalue":{"value":{"entity-type":"item","numeric-id":1244216,"id":"Q1244216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750417$E9CFFD50-A8E2-42ED-80A7-05355608AFEB","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":"Q750417$9817FCAF-3D46-47A4-AED3-B861A4668F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2857e2ccf7c4a647101d2799fa5b5bcb5648fc35","datavalue":{"value":{"entity-type":"item","numeric-id":3787981,"id":"Q3787981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750417$5DD0C1E6-F601-4B43-A026-CDDCD683C2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b8dc51fead714b2181fe77a23d97d81b23def7","datavalue":{"value":{"entity-type":"item","numeric-id":1095653,"id":"Q1095653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750417$41ECC3B7-2EDB-4A5C-A687-873F2E6A453D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5c43073869ad19af3d7d3c84c26c1451c29bbbd","datavalue":{"value":{"entity-type":"item","numeric-id":1150592,"id":"Q1150592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750417$44B94D5B-A085-46BC-BD86-2E90F5E3E4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82b4685fb5bdeee40c95cfea2605c889923a2462","datavalue":{"value":{"entity-type":"item","numeric-id":2394406,"id":"Q2394406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750417$E0E62429-2F8D-4C1E-81F3-56299F4FDD5F","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":"Q750417$279D0490-5B7E-4F8E-B24D-02CBFDA86464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d986413722b76985e5563365eb3dfdce74a9084b","datavalue":{"value":{"entity-type":"item","numeric-id":4342082,"id":"Q4342082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750417$BD74DBE8-55F5-4473-99AF-D59F761343A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2db463f0914242d1d85cf085e01464e548f99146","datavalue":{"value":{"entity-type":"item","numeric-id":3312200,"id":"Q3312200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3043cd433478ad1d7add4285158463210e65779","datavalue":{"value":{"amount":"+0.822087287902832","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":"Q750417$DFB4EF69-0A7C-4354-89A6-F8902C443F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95f18198ece92fa70dd263ef8d237ba05912b31a","datavalue":{"value":{"entity-type":"item","numeric-id":3549311,"id":"Q3549311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"786dffa7a87f2bccca40ae3367b65ba630ad3f38","datavalue":{"value":{"amount":"+0.8090957403182983","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":"Q750417$3B6D3E47-4D97-4D51-9A78-B550C63F7CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f898127b0c13eea1e50d7c1753fd84736fe82118","datavalue":{"value":{"entity-type":"item","numeric-id":3196338,"id":"Q3196338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44df5699a1f8ee1249cbb8f67f59a3ee700c1e03","datavalue":{"value":{"amount":"+0.8062591552734375","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":"Q750417$799B346A-0141-42DD-8764-026C1D2B073B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38b2094e01b8b53c92fbe87d7946352f28803c95","datavalue":{"value":{"entity-type":"item","numeric-id":4385349,"id":"Q4385349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05fd7e9c5d9a61e4b2442a527a2c5656082c70e9","datavalue":{"value":{"amount":"+0.8057151436805725","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":"Q750417$E32AF453-8562-4D78-89B1-453AB926E582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22306f86ecbe244c29702ba1468c094f1d60f493","datavalue":{"value":{"entity-type":"item","numeric-id":4785506,"id":"Q4785506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1451458687befbfd1f1985fb6cb8f6704f3a164","datavalue":{"value":{"amount":"+0.8050339818000793","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":"Q750417$9B830524-6EEF-4523-BD2E-8EB56E388A67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructive modal logics. I","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructive_modal_logics._I"}}}}}