{"entities":{"Q1317899":{"pageid":1328649,"ns":120,"title":"Item:Q1317899","lastrevid":68757831,"modified":"2026-04-13T01:51:36Z","type":"item","id":"Q1317899","labels":{"en":{"language":"en","value":"A uniform tableau method for intuitionistic modal logics. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 536890"}},"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":"Q1317899$B3BA693E-CB9D-464F-B999-0B86818A2D5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9747a1084bba30be714f8fa33f326d4f9ec6fae9","datavalue":{"value":{"text":"A uniform tableau method for intuitionistic modal logics. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1317899$88F4B8D8-0CDD-4957-84F4-599724889553","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fe362f5f0e0704f819681069d19d957b16f3f3f","datavalue":{"value":"0797.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317899$8267235A-B5C6-4C3D-9292-2058D1698458","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d658d102aafdd86bcf1846a9ab0fd166b83ec000","datavalue":{"value":"10.1007/BF01053021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317899$0BC884BD-3288-4AAC-B9BA-123BA5F9D830","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00588ce3a80103221fc8a035c641becf9df18016","datavalue":{"value":{"entity-type":"item","numeric-id":1317898,"id":"Q1317898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317899$7CD3AE99-2850-4F5F-9EF2-B628683B464F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8504b40275d8e352084b681316fb158033c64656","datavalue":{"value":{"entity-type":"item","numeric-id":543603,"id":"Q543603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317899$78976FA1-684D-4678-8E14-872E725F97A0","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":"Q1317899$F3DBE37D-A09A-4BF7-951F-5677D5DFEB74","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a98b516b3b9176710c62782f44acda15286afefe","datavalue":{"value":{"time":"+1994-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1317899$80525246-B616-4E36-9EC0-E4EBA4B16AA7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"23fdb3735eadf44a768aa023cde8718c23be6b02","datavalue":{"value":"The author presents tableau systems and sequent calculi for the intuitionistic analogues IK, ID, IT, IKB, IKDB, IB, IK4, IKD4, IS4, IKB4, IK5, IKD5, IK45, IKD45 and IS5 of the normal classical modal logics. He provides soundness and completeness theorems with respect to the models of intuitionistic logic enriched by a modal accessibility relation, as proposed by G. Fischer Servi, and shows the disjunction property for IK, ID, IT, IKB, IKDB, IB, IK4, IKD4, IS4, IKB4, IK5, IK45 and IS5.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317899$300864BC-5BE4-4095-8C63-BFFE733761ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317899$1D9C2154-9473-437B-9C84-CA0E8CD28782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317899$0A0685B0-08FA-4642-AED7-4CF52D7570EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7bd042919e8bb1e12c58f566bd2eb6171400455","datavalue":{"value":"536890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317899$2921FDD0-7976-46FD-9DE9-CA9C7CF31982","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d350ac0510f44e9123284eff5ebcea84a3b1a4e","datavalue":{"value":"Kripke-type model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317899$2FF283E1-9E6A-4BEB-A51F-1C18357E8B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b431bc780f66c4b1eac8206b320c436a9fb1df40","datavalue":{"value":"intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317899$8EC7710D-CA55-48FD-BA5C-DF45D4F9B45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e40a10ea747246f41edc2864c43911763e8a621e","datavalue":{"value":"forcing relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317899$9D1BB0C0-FADA-4AC9-B94E-BFA453EFDF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96bbc11051e7df69761c0a9fe452d973e56df1e9","datavalue":{"value":"tableau systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317899$1F74D8F3-6110-4E93-9888-A45AA3AABA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317899$BA0A8C52-388D-4CD6-9001-432787DF5009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3020c5a082e5813cedace6da7c6bdd6690dd9fb5","datavalue":{"value":"disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317899$017ABD41-8721-4FB1-81E5-9EBC515129ED","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a99cc43754442bd871d0e4e19845916a0a9ba924","datavalue":{"value":{"entity-type":"item","numeric-id":1230772,"id":"Q1230772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317899$39BE7E25-98C4-474A-B7BE-FD97C868E941","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":"Q1317899$C5E3BEFB-4DBB-4D25-ABFB-F346050F40C5","rank":"normal"}],"P223":[{"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":"Q1317899$D8211731-1EC4-4210-AE54-F30D60A19EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"362ca69c6b19a733ea89beb6bae2ffb416ff0dda","datavalue":{"value":{"entity-type":"item","numeric-id":2521681,"id":"Q2521681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317899$8F81C291-3046-4850-B267-1FB8FBAA2EBB","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":"Q1317899$E39DEC88-4FCD-4525-B4FB-F38B791C9007","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":"Q1317899$C59A8A31-6BFC-4241-880B-294CA9D114F9","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":"Q1317899$E629C198-2BDA-407E-8227-9A3A17D94B57","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":"Q1317899$FDC3C17A-F8E3-4F2F-83CF-DD8FD14D6200","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":"Q1317899$DCD54277-2135-4AE3-91E5-67EF40661386","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":"Q1317899$5CB400A1-CD87-48C2-BFBB-1E4F8B05A29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90947c7ce47766a127d7aac2ad60fe05870443e6","datavalue":{"value":{"entity-type":"item","numeric-id":1249166,"id":"Q1249166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317899$C0D994EA-DA21-4C2D-AEA8-DF89E8348E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3400f10b88909c1460a721fe16452289e5a4a939","datavalue":{"value":{"entity-type":"item","numeric-id":3919673,"id":"Q3919673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317899$44F0F2C1-8463-444B-B6F5-1D8641014743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f3c1ca7fb3fb53e1048b3cc7b29648bbebad19a","datavalue":{"value":{"entity-type":"item","numeric-id":3329438,"id":"Q3329438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317899$F798207C-6D5C-439B-AAA8-B9CD2065687C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f26c266337bcf2c390b14823438c16947fe37a","datavalue":{"value":{"entity-type":"item","numeric-id":3720564,"id":"Q3720564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317899$63AEF949-FDB2-4B20-B1C3-F7DB4B1C1C51","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":"Q1317899$68929DA7-918C-45BB-92BE-6F04E49DE727","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":"Q1317899$6597BA31-DB78-4293-B55B-739C3F64BDE4","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":"Q1317899$3E7A77BC-E376-429B-ACC8-6DEB897DA04D","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":"Q1317899$40038366-C321-42CF-A8DA-C2A7DA789CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317899$7FF31225-C34C-43C0-9347-9F948A51311E","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":"Q1317899$42A40AD0-84E0-404E-820A-1E5F5F91273D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35cf2593590aecca43a7f8a6e13cb4417cd5c2ff","datavalue":{"value":{"entity-type":"item","numeric-id":3830979,"id":"Q3830979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317899$B0638D0B-4E73-4B5A-BFF0-0CA94EF4D86C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e807ca0d12053bab51b75bb8a7e28c523159aa","datavalue":{"value":{"entity-type":"item","numeric-id":3246315,"id":"Q3246315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317899$7B994443-FB3B-4209-8EF9-D4C806DC8ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed8fae185edb36ebf448980eb8da1eeea13feaa9","datavalue":{"value":{"entity-type":"item","numeric-id":910395,"id":"Q910395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317899$56EE8AAD-0E39-4341-9470-FAF04C8DA8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92320f0c90b76da49ddbe0115a2253c0dfdfa223","datavalue":{"value":{"entity-type":"item","numeric-id":757342,"id":"Q757342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317899$64C1DC6F-134B-40FA-B64B-29EFDD8C5DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317899$FFADED5A-4151-41CF-BB77-E12021E06040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df7f1a1f3a414dcf1a427244ae76a8c9436dae5f","datavalue":{"value":{"entity-type":"item","numeric-id":1156786,"id":"Q1156786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317899$5B6798AD-D14E-4B1B-9165-A0A56D1F67B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26651eb44736bccdd9116d5c165190dd746d76fd","datavalue":{"value":{"entity-type":"item","numeric-id":750417,"id":"Q750417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317899$91B4AF60-56EF-4AA9-BD8E-49AABC28C3E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e7439b32c44117e92a9c156eb8bd19da2f5b5371","datavalue":{"value":"https://doi.org/10.1007/bf01053021","type":"string"},"datatype":"url"},"type":"statement","id":"Q1317899$50A41D79-DCD4-4211-82C5-9A5427341D4C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a130f8eef60120ac2fbeb752edf966af839c0c02","datavalue":{"value":"W2005236741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317899$62C6F0B4-6250-4FB2-ABB4-AFE294B82572","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e37c02e5fc129026c4872920f1f5be7b13eae3a","datavalue":{"value":{"entity-type":"item","numeric-id":4250043,"id":"Q4250043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ee787088da56296a974802264dca50ecde6976a","datavalue":{"value":{"amount":"+0.7948710918426514","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":"Q1317899$B9D2732F-58E2-454A-951E-E77846AAC506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a69d0d2d0a68cca1649529e1ab4af048cd4c2cdf","datavalue":{"value":{"entity-type":"item","numeric-id":4893142,"id":"Q4893142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43aac09967b71aeab7c467459b7c3070c4015c17","datavalue":{"value":{"amount":"+0.7915276885032654","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":"Q1317899$42288ACC-C60A-49A1-96D9-6B1E12EC23E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bccfe8066f75d8e4e95a1e34cb96967115588a00","datavalue":{"value":{"entity-type":"item","numeric-id":4503914,"id":"Q4503914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d939c3334bada000083fccfcceb338a0c2f6c2d","datavalue":{"value":{"amount":"+0.7912737131118774","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":"Q1317899$49789307-5015-41F4-A31D-0FA4337AAFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf3ee68f0de1d97125ef1ec926520acca9867ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1096612,"id":"Q1096612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb17ac03e498fdab9cab8914b2fd25c5bb2373a3","datavalue":{"value":{"amount":"+0.7897459864616394","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":"Q1317899$D9FBF47A-41CA-4BC7-A573-50A326F1C05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b307642c49d1e289a1f28efdd5ce9f0ee94d3c9b","datavalue":{"value":{"entity-type":"item","numeric-id":4645226,"id":"Q4645226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8982b078075e5b23f938c1a4ac54022cef4a549","datavalue":{"value":{"amount":"+0.7816959619522095","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":"Q1317899$D4F4EF24-736B-4E6A-BCEE-D14EFDC4847B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A uniform tableau method for intuitionistic modal logics. I","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_uniform_tableau_method_for_intuitionistic_modal_logics._I"}}}}}