{"entities":{"Q5259659":{"pageid":7289227,"ns":120,"title":"Item:Q5259659","lastrevid":52293044,"modified":"2026-01-21T09:17:23Z","type":"item","id":"Q5259659","labels":{"en":{"language":"en","value":"Tableau metatheorem for modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6451649"}},"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":"Q5259659$68FDA746-3BD6-4509-AC89-DA8DC3C10E15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9bbf24f91b68629f70f224732b21701547db16f","datavalue":{"value":{"text":"Tableau Metatheorem for Modal Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5259659$7CA3F4E6-C6B8-4018-B36A-BC99D1995BE5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6897f3b541a2bb69aaf21ef316af457d14d0c973","datavalue":{"value":"1347.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259659$280ED7AA-0D8A-4177-BDEB-6C52E28D59C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8b30b2d21d37391ef5d0f39ee3749783dd88000","datavalue":{"value":"10.1007/978-3-319-06080-4_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259659$1391B12D-CA75-4A27-AF3C-C6B4F79408F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"191bd3c562dc20e84ded0b19ab4633ff5bafba3d","datavalue":{"value":{"entity-type":"item","numeric-id":1037590,"id":"Q1037590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259659$B2B87403-A769-4910-85CE-B84A1196EFF9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d1d44cf21b11ef13773952503ce77d9f4d068f4","datavalue":{"value":{"entity-type":"item","numeric-id":5259651,"id":"Q5259651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259659$60D2712E-C94F-4DCF-9717-BF9264C711BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8267f1856df5311ac8f067da2122b7880d3f7c0c","datavalue":{"value":{"time":"+2015-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5259659$2B7E680F-AE0F-49F4-904E-5E713CAB8D36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259659$400BC478-B2D1-464A-B603-3F3CDE8AAD29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd2b3d3d14615ea9a96b02d8f71ae12afc2f92ae","datavalue":{"value":"6451649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259659$DE913AB1-CB78-4632-AEDE-FEFB5D996D47","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d66fc656a9368bf791dc47f39cb9186ce5e99df2","datavalue":{"value":"possible world's semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259659$F31B3801-F947-4C84-92C4-F06523928999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f46e657787c102931fe72d4f5b902d22869b7a17","datavalue":{"value":"tableau rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259659$0EE16C11-FBF1-4A54-B405-0123A4418E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a906c7d4592eae1cb3bb9175d8b2c3d10b73f22","datavalue":{"value":"branch","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259659$54BA86BC-4AB2-4FA4-8824-14D26A9BC39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0b43bda7888406d7ea925117ae391a9d89bef66","datavalue":{"value":"open branch","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259659$DB471DF4-947C-485D-AF45-812D135216D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6445df2a39529581ece0c18ae27268ab6a5d1cc","datavalue":{"value":"closed branch","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259659$87366C4B-3CCA-40E2-B40F-94CBCB70124A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1826f1c491504100fed33ec56055ee11847a7cd","datavalue":{"value":"maximal branch","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259659$0C3CA2EE-2262-4C1A-B257-46B171EB7FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eadff995c26c0e64bfd4f561edbb0ea0e4206474","datavalue":{"value":"open tableau","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259659$43783484-EE32-49A4-9D84-F4C0441C5AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dde2357dfca69c91964222d02ca0b7b1230950df","datavalue":{"value":"closed tableau","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259659$753BE3F7-90DA-49AD-B69F-6D582BB54099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e43c38f95bcfc595fefdc704fb5600ddaab893c4","datavalue":{"value":"tableau metatheorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259659$EAFCB36C-6834-4B5E-88A6-3E1BD32F2D86","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":"Q5259659$DFDB0276-7ABD-4F32-9425-D2781AC17233","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2385fa4203317b604c7c0f6f0d720ed8e7bb46a0","datavalue":{"value":"https://doi.org/10.1007/978-3-319-06080-4_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5259659$F52A130C-7DBC-49E5-BBD8-8D6825AE5E88","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f1e57966952ca168fd5b88429f1c2735c513706","datavalue":{"value":"W1038024421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259659$C300A3E9-7C06-4E5E-A387-33A1BCDE11B9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57a19e8a576ae69a51aad51a9cb378b68124d99d","datavalue":{"value":{"entity-type":"item","numeric-id":5411438,"id":"Q5411438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259659$C9341FB4-86B0-4FCE-993F-E7DF3779B989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1aae49eb6b5d7cf3c74c68e06df16ab076f84f","datavalue":{"value":{"entity-type":"item","numeric-id":2753601,"id":"Q2753601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259659$DFE0E91D-EA49-4C66-A334-2F6D779FD789","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee590fc7e4e96baf110a09e808de8be714afffc","datavalue":{"value":{"entity-type":"item","numeric-id":1181709,"id":"Q1181709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"212346d14713b8fb7aadca559d2882654fb2f8ff","datavalue":{"value":{"amount":"+0.8095753192901611","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":"Q5259659$4693A4CA-5D3C-4B85-90CD-A44F9499D0FA","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":"4d8f2751710312ffdf96aa50f4dc86087ae496fb","datavalue":{"value":{"amount":"+0.7873419523239136","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":"Q5259659$6FE16255-3AA2-4300-8B49-D3E3DDD8AEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e41072e861f72b3f62d9e622b3f1127307a419c","datavalue":{"value":{"entity-type":"item","numeric-id":5210808,"id":"Q5210808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dc82a83c7ee01a60023bee4ec10ee40753a0316","datavalue":{"value":{"amount":"+0.7813758850097656","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":"Q5259659$6FF1EDB7-7F08-4EAE-B5C3-D2EDC5495E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a128385bd2d1888263b1fa97a004557f06e99588","datavalue":{"value":{"entity-type":"item","numeric-id":3007260,"id":"Q3007260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe7c50d4b9731691659554241f51853b863106e5","datavalue":{"value":{"amount":"+0.7799495458602905","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":"Q5259659$DDF86958-7695-475D-8F17-14343AADEB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ee9c49e1df5d2f9b1a1c107a761e2e05b8931ac","datavalue":{"value":{"entity-type":"item","numeric-id":3509052,"id":"Q3509052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3f21dc0c29a4e087c482cb8a5f82a049648726b","datavalue":{"value":{"amount":"+0.7746466994285583","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":"Q5259659$02EE24F5-51CB-44E2-A6E0-F03529F660DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5259659","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5259659"}}}}}