{"entities":{"Q4700536":{"pageid":6730113,"ns":120,"title":"Item:Q4700536","lastrevid":46788144,"modified":"2025-12-25T14:32:03Z","type":"item","id":"Q4700536","labels":{"en":{"language":"en","value":"Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1356642"}},"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":"Q4700536$595AD9B9-6FC8-4525-8D4A-895AF62B2F07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"375af75e305172f1f5925691ee6359e6a31ff8eb","datavalue":{"value":{"text":"Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4700536$E88B13FC-2571-4E6F-9382-9CD872211F42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb6e2e91a4d0ecd9b1c9570538c2a7b133afa266","datavalue":{"value":"0938.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700536$AEEBEE29-D3EF-4D99-9608-12A2E16CC333","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9f71358bbdbd87e15f90c45b21f9769883d0dbe","datavalue":{"value":{"entity-type":"item","numeric-id":506822,"id":"Q506822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4700536$437F1E23-15F8-42D1-B26A-8B1A3763B8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc37be6f3a32541e658db241ba6d5f1a748f7047","datavalue":{"value":{"entity-type":"item","numeric-id":972429,"id":"Q972429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4700536$2BC0004B-2F1B-4DDF-9501-CDC515A11644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb24e71fa0848ff25aa538d02585705362e3fbd9","datavalue":{"value":{"entity-type":"item","numeric-id":583192,"id":"Q583192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4700536$3CFAB536-FB42-477A-ACDF-772EF5BC963A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dbe66a28cad835273ea4119156e456cbd684380d","datavalue":{"value":{"time":"+2000-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4700536$2F5FA5A4-7186-4C19-9911-A332B72BB1C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700536$DF795AFB-A3C3-4EA5-B32F-BF33829E0048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700536$86C2BC22-9569-4E08-9E0E-E8720B28A4F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2c37d24b54cc0a7934aec403ba3a8b1811853df","datavalue":{"value":"1356642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700536$92A199A6-824B-4219-85AD-2CFDFD1A8C60","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d120f16a4a449e17abe99fcf1fc6dfa592e9035c","datavalue":{"value":"tableau calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4700536$8F350D8F-7619-45B2-9464-D1302F870EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c03bfd65e2aa086786c76d29f8e55874752fd42","datavalue":{"value":"cut-free sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4700536$B2B21839-9B0A-48ED-B527-98657E68AEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4700536$8AFAC330-B8D8-41F6-8DD1-5B86226839E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ccc36dd4b829a804cb35634e3fec1befde97fe","datavalue":{"value":"intermediate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4700536$776F1BD9-E9B0-4FD0-88D6-8367A56972A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"593894aea21faf93a77a9a4270aafdca3e6da26c","datavalue":{"value":"superintuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4700536$F9FF5D5C-841A-4930-98C1-D7D56EF76864","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":"Q4700536$5001F240-4E6F-4BE0-9DCA-8841190109D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c602bbe8cc4c6df62d25ea65d7d1a3c23df1cece","datavalue":{"value":"https://doi.org/10.1093/jigpal/7.4.447","type":"string"},"datatype":"url"},"type":"statement","id":"Q4700536$3375A7BA-C05A-40AB-B7BC-6D1870762472","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b862e41bb53e7b23f8db892536e715bc9e8e85d3","datavalue":{"value":"W2124047678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700536$44F24D6F-08D8-4360-BAD1-BCB552131980","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1eacbd7543279d130fb2b0f26d3536a530f06ba","datavalue":{"value":"10.1093/JIGPAL/7.4.447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700536$A9DE6C1D-D624-4BA2-A732-EEAED8CF5CFF","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":"Q4700536$EB9FBD21-8709-46A0-9EBA-ABDFA11FC552","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a96b24529064868309ef70909e88547cc2d47a9b","datavalue":{"value":{"entity-type":"item","numeric-id":661286,"id":"Q661286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5453ed87e498317a1e331fa3ae23b6df4f249b0","datavalue":{"value":{"amount":"+0.7878201007843018","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":"Q4700536$125B227E-82AA-41F3-9BDE-C3E56F05FE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6c0d009c07d0cd15580458163aa2eb34621ec55","datavalue":{"value":{"entity-type":"item","numeric-id":4934883,"id":"Q4934883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4b538afdee1b4244301a0df2dfba82ac182f3a8","datavalue":{"value":{"amount":"+0.782153308391571","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":"Q4700536$E9B529B5-A272-4367-826B-63FCB1426532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c67c7baa355d83bb8de33bb6ee7174b047b0b75","datavalue":{"value":{"entity-type":"item","numeric-id":1115420,"id":"Q1115420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"995cd0b93f9f2f45c63dce139587e1140a9c2247","datavalue":{"value":{"amount":"+0.7809091806411743","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":"Q4700536$91893BC6-A5F1-4671-A5F1-426480E9C864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d878b4662492199fcd61da06049c390f8800d94","datavalue":{"value":{"entity-type":"item","numeric-id":4610314,"id":"Q4610314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22841f00a523caa7eb081f2e2084028cb1499add","datavalue":{"value":{"amount":"+0.7784616351127625","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":"Q4700536$F4FD1F5D-0BE5-4491-B348-26A6028597C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789218500b3722ab85c76afdcce29c830eaf9ac0","datavalue":{"value":{"entity-type":"item","numeric-id":4796459,"id":"Q4796459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f05f2e3691aefe7ca26bf8977cced25f9b91e6e","datavalue":{"value":{"amount":"+0.7766767144203186","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":"Q4700536$A8B4672F-3E4E-42C7-BF53-0ADD64B644E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4700536","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4700536"}}}}}