{"entities":{"Q1337606":{"pageid":1348345,"ns":120,"title":"Item:Q1337606","lastrevid":67187841,"modified":"2026-04-12T15:55:30Z","type":"item","id":"Q1337606","labels":{"en":{"language":"en","value":"Cut-free sequent and tableau systems for propositional Diodorean modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 683203"}},"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":"Q1337606$7CFC9839-6837-4B82-AE19-08D7FF10F1A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a38de58ff0378a73bbead3e1a0ab5d3ef406772","datavalue":{"value":{"text":"Cut-free sequent and tableau systems for propositional Diodorean modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1337606$2A2039EA-A62D-4FC8-B26E-11AA68280FDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab26532ef5e243d44706a3d5206186144c8da804","datavalue":{"value":"0807.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337606$46CB00F8-46B6-4E26-BDD0-37ADB8EF4ADE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ceacf5498cffdf5e3e88822ee6858aa9229b985c","datavalue":{"value":"10.1007/BF01057938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337606$F97D5EF3-445E-4DB9-A693-A375B206C11B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337606$D7EAF6B0-1135-461A-874D-80177E2B0A20","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":"Q1337606$D08D7BAA-AE66-43F4-95EB-225845D96EF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d7b3792c6f1d919d9d108f6161dcb3e3ccde785","datavalue":{"value":{"time":"+1994-11-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":"Q1337606$DE80DC2D-823D-41A7-B3CE-FB521299B0C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337606$29EB4AC9-4792-45F2-8864-819F6AE2039D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337606$B1BDE3D3-769E-4D1E-8E3E-E6CF3B9A2CF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9534882d194326c5c55715a9230ab9a7b28b47f6","datavalue":{"value":"683203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337606$3CD75FB2-196D-43D0-B8A0-BCAC29C3245D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337606$BF71A046-81AC-4BD6-BFE7-5A10DF0B6716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da6c78b67096b558b6a5b7f77cad8eea1fc65662","datavalue":{"value":"linear time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337606$88F5F361-A1AC-47EF-8E8F-68F6D5EDE042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4a3a60c444704b288795730d66e92ad712fb0d4","datavalue":{"value":"cut-free tableau systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337606$4065A487-7060-4E2A-853D-679B674C3B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa63f6b06d13502e1cd952daf107e1e1736d5374","datavalue":{"value":"propositional normal modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337606$D2CC08E7-E9E9-4FC8-A3EB-068A076AE7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337606$599D8925-A2A7-41B3-A12E-DDC828284D4F","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":"Q1337606$9B8006EA-964A-46C0-B4B7-C3D7895392AF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9b403599fb8c4aa916a0bb1bf5510aa4836513","datavalue":{"value":{"entity-type":"item","numeric-id":5338318,"id":"Q5338318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337606$190E3333-8FEC-46BC-939A-8E9BCAD4F271","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":"Q1337606$2C95C25A-D6AA-41A9-8689-1870E27971CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e5b36bc29ceed97d7f7df9301741351cda0737","datavalue":{"value":{"entity-type":"item","numeric-id":1104913,"id":"Q1104913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337606$F90B3B42-514D-4900-ADFF-34F6F3124740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8261e58a12119ae17be8431dce68f8e58905899","datavalue":{"value":{"entity-type":"item","numeric-id":3026978,"id":"Q3026978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337606$34C0DB70-C0D1-4BCC-8EF8-BC6C0CEE3F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d60697a31a720ca3818e290670745c2871f117","datavalue":{"value":{"entity-type":"item","numeric-id":798647,"id":"Q798647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337606$E82030EC-C9E5-4B41-9587-336E0FD8FB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337606$359065CA-5CEA-4A70-B1DC-709BD1D3AD52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0b39f95b6265c8ad1a29253e11868ecb378283","datavalue":{"value":{"entity-type":"item","numeric-id":4025008,"id":"Q4025008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337606$E16814FE-44DB-4FDB-997E-36BF229DEE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c08abdce84bc42d9a4b1ba80fa892bde25ec2e","datavalue":{"value":{"entity-type":"item","numeric-id":3762309,"id":"Q3762309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337606$A670749E-5F3C-470B-AF37-D4123778DE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01ee0a9384f14a090f3d7515c71830796a2bde06","datavalue":{"value":{"entity-type":"item","numeric-id":3855150,"id":"Q3855150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337606$524B6846-2A1B-453D-B93D-585969AC6955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337606$B20BF19C-2764-48F9-A1EA-204F3A16F50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9e6e4389eb351114acccb25274f6bf8d570c247","datavalue":{"value":{"entity-type":"item","numeric-id":5668435,"id":"Q5668435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337606$1B52D592-E28D-4F27-8C0B-5C82FB3FFC87","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42eca5e60035e3dfe617edac39324765c8920580","datavalue":{"value":"https://doi.org/10.1007/bf01057938","type":"string"},"datatype":"url"},"type":"statement","id":"Q1337606$5715F350-FA0D-478D-932E-C9D27875A65F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f788f243cea04127c615816cd72f9ebf156dc05f","datavalue":{"value":"W2127383193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337606$ACA215F9-1A06-472A-A277-863488DFF9D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3ba3eb19c85bbb28ccb676a63e0055d2e5387ed","datavalue":{"value":{"entity-type":"item","numeric-id":4025008,"id":"Q4025008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8590db5c9c8f8b31841f36ec668a57351070780c","datavalue":{"value":{"amount":"+0.8001999258995056","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":"Q1337606$4E2402BD-EF84-414F-B59B-F76F9781AAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875e9fbc20ed15635f72fcedb7909150c5164fb8","datavalue":{"value":{"entity-type":"item","numeric-id":3818299,"id":"Q3818299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5d8bb317c32ce8b0dfe04672bcb844681942a69","datavalue":{"value":{"amount":"+0.7996471524238586","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":"Q1337606$C6B57251-C1C9-47E3-9067-19B686EDE9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f3257705da6e6f66c7382979e2a09e49bd780c0","datavalue":{"value":{"entity-type":"item","numeric-id":2563456,"id":"Q2563456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62975ab32a01fcf16d5fd8097b10005c6a9b02ae","datavalue":{"value":{"amount":"+0.790464460849762","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":"Q1337606$4D861E17-7A65-4E24-B024-318862D478F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24cc7780ba43a8ea5c56365615a44d25e91d56cb","datavalue":{"value":{"entity-type":"item","numeric-id":1317905,"id":"Q1317905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62975ab32a01fcf16d5fd8097b10005c6a9b02ae","datavalue":{"value":{"amount":"+0.790464460849762","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":"Q1337606$CAC418B3-9A4B-42B9-97D5-55B80AD333D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d8063af50b2aea4c00cc812d904bb258ece3ad0","datavalue":{"value":{"entity-type":"item","numeric-id":2721206,"id":"Q2721206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62f60cda99f162a7d03cd183df16b44278f2255b","datavalue":{"value":{"amount":"+0.7745753526687622","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":"Q1337606$6252FB2B-B762-4654-8644-FBBD3D5F0CCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cut-free sequent and tableau systems for propositional Diodorean modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cut-free_sequent_and_tableau_systems_for_propositional_Diodorean_modal_logics"}}}}}