{"entities":{"Q3600562":{"pageid":5630468,"ns":120,"title":"Item:Q3600562","lastrevid":50560820,"modified":"2026-01-14T09:55:09Z","type":"item","id":"Q3600562","labels":{"en":{"language":"en","value":"The Method of Tree-Hypersequents for\u00a0Modal\u00a0Propositional\u00a0Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5502953"}},"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":"Q3600562$9D26ED16-9BD4-44A5-8241-09AA4C3C1A12","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29253d2c3e5062a10714caf5555bebb41af5662d","datavalue":{"value":{"text":"The Method of Tree-Hypersequents for\u00a0Modal\u00a0Propositional\u00a0Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3600562$18BEE817-F0CD-4EB0-86F4-73DA7596E9A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7c9bd78497097efd3a6c7f9b5159c910b9c0f06","datavalue":{"value":"1166.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600562$E1284F1E-405F-4398-A9C9-C77A1DC96355","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c784801e1b27579aafa95eef4374df9ab1887404","datavalue":{"value":"10.1007/978-1-4020-9084-4_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600562$F13130D3-90B4-4D14-9F41-3C34D307DC12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54f3f146d4c950a3a5ffcc19e82123e94fd4cf97","datavalue":{"value":{"entity-type":"item","numeric-id":332081,"id":"Q332081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600562$D144EA5A-7BB3-49DA-94F5-08201185B475","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0df493489f1fa665b4100a5580b3693e86ec2e40","datavalue":{"value":{"entity-type":"item","numeric-id":3600559,"id":"Q3600559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600562$6EE4A9A1-E0BD-45BF-8D20-CBE5F952208F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fb18d8802cf3abae5e4680d2164009847fc6528","datavalue":{"value":{"time":"+2009-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3600562$DE5756A7-B167-4911-9368-8099DB4FFE20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"682a798484a79c5c441bd6d162deeefdb3e89c0f","datavalue":{"value":"https://halshs.archives-ouvertes.fr/halshs-00775815/file/BookChapter-Springer%202009.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3600562$E12A07C0-C41A-42C3-B061-128A66B91ED4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600562$7D86F418-0B01-47CE-A5CD-4F7F2B53E858","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a12b65465d7f38735b3ef15cc7a377a6ffae709","datavalue":{"value":"5502953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600562$49204FB9-3C6E-4C53-99CB-463AE8A2B2EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b4ce5f17cceab2bce88593807419d2ba1409297","datavalue":{"value":"contraction-free","type":"string"},"datatype":"string"},"type":"statement","id":"Q3600562$9ED02EB0-8872-4E07-846C-81317C7C3B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28046153e6a63b99702aeb062d78e5f8cea664f9","datavalue":{"value":"cut-free","type":"string"},"datatype":"string"},"type":"statement","id":"Q3600562$23E38D1D-237A-4EC8-812D-88118596DEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d1cc822e1c26c4cdd2ac493c7178a1c51841e7d","datavalue":{"value":"hypersequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q3600562$F8EB3CF5-30A0-4DAA-A9C1-91DA24BFBE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3600562$C4D2D52B-E510-4B61-97BE-844930FC846F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3600562$1587ED53-2AB2-4948-B8B1-826FE4995599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da070bbd6e429be6a00b879d27a3c05ba021fc11","datavalue":{"value":"tree-hypersequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q3600562$26253B32-3E36-4B96-8F1D-914816A4E8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3600562$1C1B2356-16BF-4729-927A-5C382AE82BE6","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":"Q3600562$DC6484F1-EE14-4640-8A7A-1E304EE2524D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f84d0600a4e8ba96765c5532daf4e4cec8cafd6","datavalue":{"value":"W101915042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600562$C0023F92-098F-483F-BC02-73666D844A0F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"59c29138920afdd872cf6e3791feb17594655142","datavalue":{"value":{"entity-type":"item","numeric-id":3509048,"id":"Q3509048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600562$D175066C-F8CF-4C02-AD6E-83885DFE9A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2a280291148f2a429f6c3491ebd5ce5b8d1822d","datavalue":{"value":{"entity-type":"item","numeric-id":1843557,"id":"Q1843557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600562$1718F6C6-02AB-48D6-9C4D-20D65F052FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf7007d983f7272b825303e660ef4da93ca5ccee","datavalue":{"value":{"entity-type":"item","numeric-id":4229377,"id":"Q4229377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600562$9F1DA67F-FA01-4D33-B4E5-320CBC60475A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840cdf0fd2fc7639009b50125648d2c88152a633","datavalue":{"value":{"entity-type":"item","numeric-id":1317905,"id":"Q1317905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600562$DEFBE29A-59AC-48BD-8A70-4E45E96873EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626844e9f28589d93bd8625672a9cd46823c520a","datavalue":{"value":{"entity-type":"item","numeric-id":3262211,"id":"Q3262211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600562$823A4CDD-AB58-4CA8-A31B-DD22FFE1B318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dfeb5b47444eafa245f412784b14045d4644ef5","datavalue":{"value":{"entity-type":"item","numeric-id":1372944,"id":"Q1372944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600562$9342C57B-41FA-49BB-A1B4-20F93CF21A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600562$673FC790-231A-428C-9708-77D5B284C55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ce41d60cfb93a7d9f318710e34ad3627406dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3580655,"id":"Q3580655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600562$7FD07AAF-6B26-4974-A977-F4C929BFB5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b767d85950bf99e8910526fcfcbcb504d6a930ba","datavalue":{"value":{"entity-type":"item","numeric-id":1056745,"id":"Q1056745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600562$12EC26F4-7865-4380-A394-117810455CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b364519c59a0fab47d2f80de511d01e3b117502","datavalue":{"value":{"entity-type":"item","numeric-id":4291036,"id":"Q4291036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600562$CE47AA53-C2ED-4BF6-8E65-B60F2DE93FAF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"843e523af5a1f031e3def03f94ae38c119ac1f4e","datavalue":{"value":{"entity-type":"item","numeric-id":987853,"id":"Q987853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9e1159a4320aaeb24a7ca275f8b73b7c9973e7e","datavalue":{"value":{"amount":"+0.8542338013648987","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":"Q3600562$746399D0-2A57-40D6-BA4F-CCAA568ACAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dedff2a5fd0ec7cd0603ee32671f98cefcfa47f6","datavalue":{"value":{"entity-type":"item","numeric-id":5850981,"id":"Q5850981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c38f0f7806868112d7c64013740551c80e92a4c","datavalue":{"value":{"amount":"+0.8311936855316162","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":"Q3600562$5108F0B0-44BF-4270-AB25-9785D1781A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9174130d0b34edaf7753681a21f88061e1c19d47","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"442a122434ff597f3c6174360dde4891071abdaf","datavalue":{"value":{"amount":"+0.8262316584587097","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":"Q3600562$C7D9B18B-246D-4E0E-92E9-4BAC29C1D57C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f846f8b84a24dd2b5e8b5f7d7e17cd5c668057fa","datavalue":{"value":{"entity-type":"item","numeric-id":5271078,"id":"Q5271078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"801427c366d35e23fc8ef3fc7ef1f49da9541c98","datavalue":{"value":{"amount":"+0.8198687434196472","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":"Q3600562$3AFC94CC-1B0D-4FD5-86C6-46B93A4612B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d1b5357675f6f899cd49cfa3a134f75911dcc66","datavalue":{"value":{"entity-type":"item","numeric-id":4879198,"id":"Q4879198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fd3c9d5db11e747f22b228643483291c01840e6","datavalue":{"value":{"amount":"+0.8146135210990906","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":"Q3600562$35529952-1EEF-4646-96E5-B5C3640C36CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3600562","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3600562"}}}}}