{"entities":{"Q386620":{"pageid":388387,"ns":120,"title":"Item:Q386620","lastrevid":61454256,"modified":"2026-04-10T23:28:47Z","type":"item","id":"Q386620","labels":{"en":{"language":"en","value":"Relational dual tableau decision procedures and their applications to modal and intuitionistic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236863"}},"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":"Q386620$81CB1D10-3047-4847-B38C-658E46BD24D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b150fc7de08136f87ccefc375be11e14623c1358","datavalue":{"value":{"text":"Relational dual tableau decision procedures and their applications to modal and intuitionistic logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q386620$1F5806DF-2AD3-42B2-ADBD-B978335DA307","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5c4f81ec4f835fda09d704e19b8c5abeda6ae72","datavalue":{"value":"1317.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386620$E871F0B3-D5FA-4DC0-B733-8446A912E4CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd1f466985cf8143741f29cc3aa6e4e8a4f57c99","datavalue":{"value":{"entity-type":"item","numeric-id":284217,"id":"Q284217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386620$C81310D4-5BC2-4109-8DF9-C7476CC05A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6801765190caa605b5374fbd95d7ea30191e571f","datavalue":{"value":{"entity-type":"item","numeric-id":286705,"id":"Q286705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386620$FC41EEC2-1C55-423D-99FB-5C896464044B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2822ecd71563ec0897253c83fa7ead655a842154","datavalue":{"value":{"entity-type":"item","numeric-id":313005,"id":"Q313005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386620$3D9C66C6-C028-4F0A-B4B4-C7F0082FE6A5","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":"Q386620$64B9BA66-0743-42B3-AAA4-3BFC772624A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e990124985cbc9928eee57b5fc6b3c854c8f2494","datavalue":{"value":{"time":"+2013-12-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q386620$E8521451-B1DC-42D9-9C6B-59111FFA0CBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386620$4DA85D68-AA68-4E0C-94D6-0EBD0289B864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386620$AC162790-5EE7-4EF9-859E-7F8500A7CFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386620$E66453E0-EF7E-4C01-A265-75EBD8F9D9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386620$A2872361-92DA-4ED5-81FF-57D096F49D49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ba063debb69f0dae015288de2cd5122db3c5271","datavalue":{"value":"6236863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386620$4E9CDE8F-FB20-4CFC-A3BC-9938C6321F52","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75628edfe18d9271975b72a8a7ded77f899517f2","datavalue":{"value":"nonclassical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q386620$18A75F2F-EE92-47B2-AC38-612DD6C86C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbdb85c6cc89bebe11d7c6ce2cac65d460c21ac6","datavalue":{"value":"relational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q386620$89318881-6419-459E-A264-382DEAE6EAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bd7a9f3a2e418ce9443c75273677ccb852ef76c","datavalue":{"value":"dual tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q386620$8692FBDF-99CE-4ED4-A599-0A1578F52575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q386620$069F2B0B-BE7F-417D-8BE1-B50BA182465B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q386620$429B2A8D-3A0B-46F6-8C3C-2A80782C5AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e06fbd501e93dc59d63b420b374a227b39d3acba","datavalue":{"value":"intuitionistic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q386620$5C0CB645-20A8-468E-8910-756753F9FCD4","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":"Q386620$7C1755E1-569E-4772-8EEE-005BECC57F70","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc539be5d6b6d71b65a2e0cfeb86119f6ee1b1a8","datavalue":{"value":"https://doi.org/10.1016/j.apal.2013.06.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q386620$920CB73A-AA03-4EC7-AC6C-72D35BDDF0EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"686ce38fb22190b2f07f7f593c23b68d99ba015b","datavalue":{"value":"W1991582431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386620$9E9D1FF4-2A7B-45EF-9DDF-4B9FA1827E8B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ce8514ebfc1211604d330592f3d53605d483c","datavalue":{"value":{"entity-type":"item","numeric-id":3647240,"id":"Q3647240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386620$93D5DD30-CEDE-4C1A-B1E2-2C4C9E16ABFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"586b615ce08d5905d6be31be15706b2305727a48","datavalue":{"value":{"entity-type":"item","numeric-id":5302023,"id":"Q5302023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386620$BD5182FE-BB98-433E-91B8-FA94B79D39FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"261a9ac87b0736c1a9759f1dd16393c458f0c81f","datavalue":{"value":{"entity-type":"item","numeric-id":2901210,"id":"Q2901210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386620$98A8D81C-1E96-40EE-8F53-A08A7E98A5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c49571a210fd59073b28ed894b45ba1e37b0378","datavalue":{"value":{"entity-type":"item","numeric-id":3647245,"id":"Q3647245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386620$17790DB8-5DFF-423C-8939-60F1B89C8970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9cc7a572956ed7a0382840eb52a4025962f91ba","datavalue":{"value":{"entity-type":"item","numeric-id":3391741,"id":"Q3391741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386620$DB11B9E6-61E4-4749-A958-354347859568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b640149bab9a4beed8181bf0b819da73ce631cda","datavalue":{"value":{"entity-type":"item","numeric-id":995673,"id":"Q995673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386620$6DADD962-8451-4369-B92C-59A4D0437DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fff6fd81f7801b1eda9956bb8da2ad48df9bc375","datavalue":{"value":{"entity-type":"item","numeric-id":622083,"id":"Q622083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386620$8F1A37FA-C0FD-4A96-9ED3-7B75D71FD1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d2c7cc7b2d47bf46f32d0ac80e3de2ee92593d0","datavalue":{"value":{"entity-type":"item","numeric-id":3000420,"id":"Q3000420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386620$9E52DF7E-E19E-4CB9-8B89-E31E608E9B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed988ebe8271e8fdadd4a460fab604d80fb5a0e3","datavalue":{"value":{"entity-type":"item","numeric-id":4922857,"id":"Q4922857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386620$CE725276-2634-4981-818E-D8103DB608C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86a194178070cd3c5ad9a396baf8f7db21f82fd8","datavalue":{"value":{"entity-type":"item","numeric-id":1853457,"id":"Q1853457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386620$BDE148DE-0D96-4B03-A41C-579DA5E0DE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a4f7fbdb0c8d9f98697673a974eac378e704d7a","datavalue":{"value":{"entity-type":"item","numeric-id":3647219,"id":"Q3647219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386620$410B0571-02C2-4011-BF4D-247C31B35715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e208d3d6ab7e266e208bfe8d643670073f816c6c","datavalue":{"value":{"entity-type":"item","numeric-id":2521342,"id":"Q2521342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386620$53DCF135-1C73-4FA6-8703-EB9900CA8423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3b983d3cee72ce118608406b5d0c10d7e799d72","datavalue":{"value":{"entity-type":"item","numeric-id":3008387,"id":"Q3008387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386620$8BCA1EA0-2821-40CE-B0C8-F57304245373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d72ab5fd6e1677e00f06c65300abe58faf362da","datavalue":{"value":{"entity-type":"item","numeric-id":4011727,"id":"Q4011727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386620$D17FBCEA-D6C3-475D-8E19-E63B6285C24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"607a0c758c7f5182c8338488f4a03318f251f04f","datavalue":{"value":{"entity-type":"item","numeric-id":710340,"id":"Q710340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386620$BB8FD5FB-3B17-42DF-AB2F-B31B8FDB71B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e5906a3f48670210bd3cf26d335f7bea64625af","datavalue":{"value":{"entity-type":"item","numeric-id":3279278,"id":"Q3279278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386620$72D7F545-CE33-4C82-89D0-6DCA58FD90B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386620$15FB5141-7BED-4078-9943-48AABB9AEC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2710d32adcd35ae6c40fe86935d3b1d1fd127a7c","datavalue":{"value":{"entity-type":"item","numeric-id":4040000,"id":"Q4040000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386620$F5A2A2D5-097A-45FA-812D-08F180AA274F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9f793d53aaec7c051452623e3eb5dafebe109b2","datavalue":{"value":"10.1016/J.APAL.2013.06.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386620$DD0197B2-1C21-4510-B22F-286A79F4F967","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"05f3dff3edc7d97b14af7ecb326f488fb3fee31b","datavalue":{"value":{"entity-type":"item","numeric-id":583186,"id":"Q583186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386620$C7104328-9337-4BCD-A178-361DE7906FBA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b1334e3a218fd215d442bfd9d984ae09e2b208b","datavalue":{"value":{"entity-type":"item","numeric-id":4922857,"id":"Q4922857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"580fa15ceabb0db8a05b18c3dbdb694f4829c253","datavalue":{"value":{"amount":"+0.8772469758987427","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":"Q386620$8362EA23-8225-4B78-8036-972348CD3CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e2215324f4340680468218b36aedfead4cea8f","datavalue":{"value":{"entity-type":"item","numeric-id":2901210,"id":"Q2901210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"499de2034b3889cc88994bf4e8d77ba091e02ae5","datavalue":{"value":{"amount":"+0.8677796125411987","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":"Q386620$1E348A7C-FF02-4DD7-8A4F-E51A2F42FDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59045bf5f66538f1e2231dee64e1237a30ab35d8","datavalue":{"value":{"entity-type":"item","numeric-id":710340,"id":"Q710340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffe0566f186fc85e0038c68e2e34a77099b9ce37","datavalue":{"value":{"amount":"+0.7963657379150391","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":"Q386620$0CFC81F3-3AFA-400B-A234-2120B1357118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6498ca5d5ff8f33058a986addfe62fa2638ae7f","datavalue":{"value":{"entity-type":"item","numeric-id":3541702,"id":"Q3541702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8d39e13429907987f06d2e3b74a18e27b0227c4","datavalue":{"value":{"amount":"+0.7882888913154602","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":"Q386620$DEB8C478-0093-4F1D-A74C-E0ED42A057D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d33b2b81dfd8f0ee2ff4645628b2fa7d00bf6ae","datavalue":{"value":{"entity-type":"item","numeric-id":4947999,"id":"Q4947999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9357eea682a00743eee43540259d1d0971975a0","datavalue":{"value":{"amount":"+0.7680437564849854","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":"Q386620$12E7967C-C72E-4C9E-9DD0-F0249934C653","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relational dual tableau decision procedures and their applications to modal and intuitionistic logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relational_dual_tableau_decision_procedures_and_their_applications_to_modal_and_intuitionistic_logics"}}}}}