{"entities":{"Q5460206":{"pageid":7489765,"ns":120,"title":"Item:Q5460206","lastrevid":101134721,"modified":"2026-06-05T23:57:52Z","type":"item","id":"Q5460206","labels":{"en":{"language":"en","value":"Sequent Calculi for Some Strict Implication Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5270772"}},"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":"Q5460206$5588F3A4-330D-4225-9B5B-2C62F02FF84C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd402d6ac9a67fc12657eb0ee43b5546099644ed","datavalue":{"value":{"text":"Sequent Calculi for Some Strict Implication Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5460206$7BD8452D-8BB6-49D1-A783-C544CDDF9AE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80a35005f9f1f42bc543ed9d022ce8664254d82b","datavalue":{"value":"1138.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5460206$8FBCBDF2-5345-4378-B6F2-CC551B2236F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e859d3e492d1ec982fac4b41f9118c9252a541cf","datavalue":{"value":{"entity-type":"item","numeric-id":5434486,"id":"Q5434486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5460206$F322184F-2BA8-4794-A025-212230BC3845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5204fccf6931ba93979bc107c2fe66e59a9ff1f6","datavalue":{"value":{"entity-type":"item","numeric-id":676307,"id":"Q676307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5460206$D336F9CF-3786-4E58-B5F7-D3C0DADFD993","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0c85f5b96b986df789b8d4fc9e866a9d7e884a6","datavalue":{"value":{"time":"+2008-05-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":"Q5460206$ECCA7254-C931-4E3B-8111-8FE7652641AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5460206$A5F0FC6B-B131-48F7-A853-52BB09336315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5460206$0C600CDE-231F-4F36-83EE-2722A52D6048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5460206$079E7D13-3963-45A2-A224-5BC926279F19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ff8e6def3a02a1266e83b8f88739564bfdd01f2","datavalue":{"value":"5270772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5460206$8FB4CA59-2BFC-49F6-A269-975DCB6F56EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e47594b3862f88abb6f9794b5fe19ef05ee90c8f","datavalue":{"value":"strict implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q5460206$EF993198-F9EF-4ED8-B296-0923C75C121C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5460206$17852E7D-CFFE-4A12-8A5D-37A57984DE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5460206$5DD71A49-41E1-448C-B150-E0B4E6EA89D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5460206$B8D4A125-36A3-408C-AD26-B6C8C8FDF249","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":"Q5460206$EFAEF3CB-DEBA-498D-93E8-84E156E40D16","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"896c63758a38ee56497990fedc5618ac9b8e76e0","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzm058","type":"string"},"datatype":"url"},"type":"statement","id":"Q5460206$B6E40C3B-2E96-4213-BBC5-126EC445B64E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"455e7c93e5afd0833b6c5eedd67853ae26401d60","datavalue":{"value":"W2153689176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5460206$7D056FBB-F810-48F7-BC04-AF32602288EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81df1b333fff2cb2a056274c15c32b698ea3cf4d","datavalue":{"value":"10.1093/JIGPAL/JZM058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5460206$2FEA3BCF-2D5C-4A0F-8519-775669A40C82","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5460206$72D5EB83-543E-430D-9F18-4579D81FE205","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e9f00ccddffab861f99e85c927779bd39846b50","datavalue":{"value":{"entity-type":"item","numeric-id":2776812,"id":"Q2776812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ab82c468b5162a19820658de2b4cfe575fc0a14","datavalue":{"value":{"amount":"+0.8472580313682556","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":"Q5460206$15CB42EF-E130-4BAD-AEC6-66F6B7E6F2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c858d11a96c7f538d9226c363d8f56a2b9c0f290","datavalue":{"value":{"entity-type":"item","numeric-id":5411406,"id":"Q5411406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b37bd4ea73158710c3dcfe39f49859339a3435e","datavalue":{"value":{"amount":"+0.8139392733573914","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":"Q5460206$D314438C-4516-4F2C-ADF9-283ACE321D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"085b0d5424445c2525b38b5cd56fddd22673e115","datavalue":{"value":{"entity-type":"item","numeric-id":3787970,"id":"Q3787970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37908df319f330f3602a04832503f2972b1cd57d","datavalue":{"value":{"amount":"+0.7997075915336609","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":"Q5460206$AA8DA936-ED9B-4119-9CBB-5275B5ED96A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cde84b0dadb34b2891205b22e897ee0c2ae56b1","datavalue":{"value":{"entity-type":"item","numeric-id":2758081,"id":"Q2758081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f29620a5e709b9a180d1a2c6531e49d322fd9d44","datavalue":{"value":{"amount":"+0.7994568943977356","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":"Q5460206$17A719D0-C64A-41EF-A14E-B2D5F7F07A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3126d67cabd946ebb835ecb9f2feeb5892228129","datavalue":{"value":{"entity-type":"item","numeric-id":1970643,"id":"Q1970643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"107c2345fb3e94611929c91b499d275153337e74","datavalue":{"value":{"amount":"+0.7974177002906799","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":"Q5460206$A8697920-DA90-417A-BDFE-86F89BE78038","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sequent Calculi for Some Strict Implication Logics","badges":[]}}}}}