{"entities":{"Q1840651":{"pageid":1851393,"ns":120,"title":"Item:Q1840651","lastrevid":47571649,"modified":"2026-01-02T02:51:22Z","type":"item","id":"Q1840651","labels":{"en":{"language":"en","value":"Sequent calculi and decision procedures for weak modal systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1563238"}},"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":"Q1840651$2DC05F38-B0DD-41C2-A43D-A88679F5ECBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad2cfe0b1d94315b0397508a01099130b567957d","datavalue":{"value":{"text":"Sequent calculi and decision procedures for weak modal systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1840651$69405E50-5BEA-45FE-85A3-997291D38EFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7fc221af793f2358b86a83d15ef22ad05a9422b","datavalue":{"value":"0968.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840651$3FADAC88-B454-4202-9CB1-3B34C88E1D2E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aad67d28efb1848b5cb432b0d74b8caa302eee5d","datavalue":{"value":"10.1023/A:1026753129680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840651$AC710CAF-09A9-40A5-8A07-37293BF1A7D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"decf1d047f45269e853a1e03e7b7e8c433616b96","datavalue":{"value":{"entity-type":"item","numeric-id":1840650,"id":"Q1840650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840651$BC0952B6-C912-4F88-AB52-05C00A09B430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d82f8b03f6c1b8914585488abbd4230aebee772","datavalue":{"value":{"entity-type":"item","numeric-id":1303459,"id":"Q1303459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840651$99F87673-B2C6-481B-A269-8BB78A7D1994","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":"Q1840651$E1D22807-A185-4A6B-81B0-71C11CE212EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"504ba16b453e79d30c0da0d69897f097075430ae","datavalue":{"value":{"time":"+2001-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1840651$2DA6BCB5-C47A-4D6F-A503-9F7627AD94F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840651$AAE13AFC-40A7-47F1-9CF2-0926A3AB1FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840651$2F5C890C-8218-43A5-904F-BEAD18663E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840651$34852712-425F-4503-B9D9-68F667C00642","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6bc50eb39568314d02e30a9835f1f1ee8fd2d02c","datavalue":{"value":"1563238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840651$5FD1EEE2-0B0D-4B2B-AB19-D0613C6940DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840651$E3EA1557-13AE-468A-B812-3232D17AF63C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840651$6CBA9E2B-3FAA-4525-8DEF-D18A543507AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c88096568b73b19368c1f2e62fa350a1cb0847d1","datavalue":{"value":"weak modal systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840651$07471BA7-0EE2-4506-BBE2-A8AB3D8BAE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840651$DCBF3519-AC0F-487C-8C84-D4DEE79146B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ccc61aacef4f6532543d386bb254dfe3aef2e39","datavalue":{"value":"bounds on finite countermodels","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840651$134831E7-4D44-4D56-BECC-608572EBBF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c9d83e38c6e2e75274b21c03d49ef0cba7a5100","datavalue":{"value":"inversion rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840651$2A6FDA61-772E-4626-BA9E-F961FC6E9A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"689b98c283a385ef42d971b69ab6a5de29be18b4","datavalue":{"value":"L\u00f6b rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840651$5C16DC95-7283-47CD-BA4E-4CD709C1A148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840651$29351B50-5EDA-405B-99A1-C9DCCFF139CA","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":"Q1840651$0DE43BBA-A9A5-417E-AF6D-11F0B62C9A7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f10d83779531ad79d7cd5d6bb16517a79ed9ae56","datavalue":{"value":{"entity-type":"item","numeric-id":4858606,"id":"Q4858606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77140ee85143c19bd62654e9aaf6780b487052ca","datavalue":{"value":{"amount":"+0.8995206356048584","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":"Q1840651$1EB45EAB-E677-4095-922D-B3123E7E9F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c26b0bafd973c29839586c72c8bf08f8df0a161","datavalue":{"value":{"entity-type":"item","numeric-id":834716,"id":"Q834716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a419e6149283abc37a31f11cade8f34baa299fe","datavalue":{"value":{"amount":"+0.8972505927085876","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":"Q1840651$F20F2DA3-5E2C-427C-AE16-D45EDE6FBFA4","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":"630ad8d66ce68863b8c75293b6a763ffc854a8e9","datavalue":{"value":{"amount":"+0.805841326713562","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":"Q1840651$800B0849-9F46-4D70-9B55-5CC1790E74AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07b6baa5c9206751fbce6780e371b15029265f6b","datavalue":{"value":{"entity-type":"item","numeric-id":5688801,"id":"Q5688801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e65d021e32aca2dd81fe43a5a879d5ed5a298c68","datavalue":{"value":{"amount":"+0.8052278757095337","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":"Q1840651$1B23C3BA-082A-4403-A741-E2B8B3C95745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f99e23115295051719ad82b571f72c0fa008b465","datavalue":{"value":{"entity-type":"item","numeric-id":3509048,"id":"Q3509048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e024674e39d620867bb9a39af6ab5fd23d3f091c","datavalue":{"value":{"amount":"+0.8015792965888977","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":"Q1840651$03288041-9C8B-4704-BED5-100D8E853FDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1840651","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1840651"}}}}}