{"entities":{"Q2351164":{"pageid":2361907,"ns":120,"title":"Item:Q2351164","lastrevid":52287872,"modified":"2026-01-21T08:55:05Z","type":"item","id":"Q2351164","labels":{"en":{"language":"en","value":"Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6449034"}},"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":"Q2351164$50385DE4-E053-4F7C-BBA9-D10A8401F369","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df91ebd94d209e9096dfb4ede336b2134a6770ac","datavalue":{"value":{"text":"Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2351164$71DC4F75-C3A0-4104-A6B6-58579B632498","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5380d839238497a46f2ff296f47d7a6012f5f9a","datavalue":{"value":"1314.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351164$748FAAA7-6156-4BC8-8F35-AAA72114909D","rank":"normal"}],"P16":[{"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":"Q2351164$51B046E6-0EF8-4265-ABA7-BFFA73C2123D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cc74fbcaec9acb65dd75f4cd3554e43a9608963","datavalue":{"value":{"entity-type":"item","numeric-id":972430,"id":"Q972430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351164$A0D723AF-802D-4015-A056-2362AEB9EFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85a3322f7c395849201c201788891d980fbbf885","datavalue":{"value":{"entity-type":"item","numeric-id":230826,"id":"Q230826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351164$FBC32064-C07D-49DB-963E-C5611EA22591","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351164$97D48322-F171-48F6-8E80-0CAEE44888A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c61f53f8f8d7719eaa1ef54a22f9b50ec39aa46f","datavalue":{"value":{"time":"+2015-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2351164$3293210D-2DB4-4B0F-B449-EC5D864A35F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"193c7ffdd7e9c5952f37c305905a4b8ad1816d7d","datavalue":{"value":"http://hdl.handle.net/2434/206742","type":"string"},"datatype":"url"},"type":"statement","id":"Q2351164$48847D41-3BA1-421C-9DDC-C0CFFABE3D13","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351164$BF5B4807-5057-440E-B08F-87A9D30E429D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351164$22D66297-6BAD-449B-973A-2C969467A790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351164$894A89A2-C99C-4FE6-9289-AE9B82EDE424","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2dca3ae466e2369737a30a7ace762231824b8f3","datavalue":{"value":"6449034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351164$C516C627-DF53-4AC5-A8F5-E85C11D9CCC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351164$CD632F4D-DA69-459A-A435-94176D9FB852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351164$73F5D8C1-0D15-4809-ABD5-959DC5B59665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f74920537862e25960045b173a4c530000d4686b","datavalue":{"value":"subformula property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351164$F581FF03-46C7-49D3-9282-E13257C48EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351164$DA060F77-00CE-485A-A875-77342F3802F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55c65eb3e54dbc34663ec27e2c2b1f3956a9d520","datavalue":{"value":"counter-models generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351164$A7DCF5A9-CC23-4189-AE57-9A621B5742AD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2804601b97b7e44dbfbde424596bb535899fd316","datavalue":{"value":{"entity-type":"item","numeric-id":16820,"id":"Q16820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351164$71697746-0600-4D55-99C2-9A3D08F6D377","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":"Q2351164$23819BBD-B603-4060-8251-8D323719EA96","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c441f793f246f154823263752a1cd296246dc6d8","datavalue":{"value":"W2087005564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351164$2E9F2208-D2C4-436C-B7B7-862F7C1E7557","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb931b90d88fcfa85927bf166c3daafab7a9b7f5","datavalue":{"value":{"entity-type":"item","numeric-id":4930754,"id":"Q4930754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351164$23124871-CD9F-43F4-97EA-E77E40E41B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351164$CEE39DD1-5D65-470A-94F9-73392FE7F9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d9171bcd537f99ca73f137eac75de8cf775456","datavalue":{"value":{"entity-type":"item","numeric-id":5444696,"id":"Q5444696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351164$0F5E4E7F-871F-4CAF-8251-AF09D124E032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4c1ea89bc5854f421d3a6b161146d5aecefa12","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351164$406017BD-8F2B-441B-9FF9-70AC4FDE358A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df1480c2f8d2942eccfb38a00f88d4c109ada2b3","datavalue":{"value":{"entity-type":"item","numeric-id":3647294,"id":"Q3647294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351164$D43CA931-7E47-4B35-BEE0-A8575DB5BDD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351164$3A379C65-A7E1-42E0-A1DC-2FAFE09C763B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c9636a73b754cd6072bad3d3f034217fb03c2ee","datavalue":{"value":{"entity-type":"item","numeric-id":3406690,"id":"Q3406690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351164$E7C108A5-464C-48B4-A967-38994F624B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df88df617383e402732a7ccdf3a5a43ea499743","datavalue":{"value":{"entity-type":"item","numeric-id":4645239,"id":"Q4645239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351164$243EE975-677B-4863-A54E-EB4B6A6BE879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6259a5f37ca5abf25393add4b48202f08323e2a4","datavalue":{"value":{"entity-type":"item","numeric-id":2703714,"id":"Q2703714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351164$9C35491D-1D53-48FC-9129-6B58022ABF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22d17349598573d1b33d3b679ef12812a7b83165","datavalue":{"value":{"entity-type":"item","numeric-id":4610326,"id":"Q4610326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351164$6FD84841-9D5D-4AAD-8B09-7027D8630EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b83592ffe861aca3198948b3c2b96ca5082aefc","datavalue":{"value":{"entity-type":"item","numeric-id":4272505,"id":"Q4272505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351164$AA0BE8F7-C43E-48AD-BD10-468A2AEA6D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"106140d9fb2ddb5c73297217e0bff123535c9a13","datavalue":{"value":{"entity-type":"item","numeric-id":4540540,"id":"Q4540540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351164$5D4E79C4-8CDF-41B7-BFAB-75B2AB25A428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c887b92614dbc292afd0634927cae92c216a18","datavalue":{"value":{"entity-type":"item","numeric-id":1344876,"id":"Q1344876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351164$EABF8CD5-2A45-41DF-A455-E8857CEE0026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca7ab1e9ab8ddfd18235a6bc75423962b3df766","datavalue":{"value":{"entity-type":"item","numeric-id":4340932,"id":"Q4340932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351164$F7732456-9F02-4F30-B829-B850BC101C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25a595a5a77e03a5752581523c5152bf0f896014","datavalue":{"value":{"entity-type":"item","numeric-id":4883282,"id":"Q4883282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351164$CD1CCACD-723C-4E18-B3F2-BCAC66895307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea085d8c059c5f81ccc8c6d0a2a9f9fb30e1313","datavalue":{"value":{"entity-type":"item","numeric-id":1259589,"id":"Q1259589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351164$DB90CE43-85AE-4C0A-A47B-405DFB8C99CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce826b9222349d4c8dd6d3e4b01d5fde76b8bf23","datavalue":{"value":{"entity-type":"item","numeric-id":3417780,"id":"Q3417780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351164$B93C568A-8D97-4960-9494-E3857A6B3929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e9916acae3c5f1fa2203775504b75059dc2c908","datavalue":{"value":{"entity-type":"item","numeric-id":5608767,"id":"Q5608767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351164$F5DD7B2B-9A03-4101-B2F4-FC5818F112AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"902ce9b157f4d644036f08f923fb4a1aa486e8bb","datavalue":{"value":{"entity-type":"item","numeric-id":2753600,"id":"Q2753600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351164$727936FE-27B2-4730-B5A5-2CB0655F6030","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"199ea5fa92509b067b2f8e39f939a45560805643","datavalue":{"value":"10.1007/S10817-012-9252-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351164$F38AF68E-5704-439D-824C-444449DD2B9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"687c2a5c6256dd6cbca81f795852ca264521fc74","datavalue":{"value":{"entity-type":"item","numeric-id":3417780,"id":"Q3417780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aa0e328bc57fb5448715673f23982b2b1241940","datavalue":{"value":{"amount":"+0.8043742179870605","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":"Q2351164$39D7B325-60DD-4747-B744-9865F877D6F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7a7ad3822057c63fd97893fb1ae3fd5abb0f02e","datavalue":{"value":{"entity-type":"item","numeric-id":3187008,"id":"Q3187008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fac2a9f99d204c701e4d6c89c2cf3fcd1ad64f0f","datavalue":{"value":{"amount":"+0.773131787776947","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":"Q2351164$F31514AD-9CAD-46FE-88F5-BC190F97493F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f4dcf41db2d43dbf04194555c40e590673cb81c","datavalue":{"value":{"entity-type":"item","numeric-id":2710593,"id":"Q2710593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73418d6dfa350f1f8863e50a70e3cb27f3522ad8","datavalue":{"value":{"amount":"+0.7691918015480042","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":"Q2351164$AB6005DE-D678-4D98-8F92-5DC262D89EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25e83a047cca94fa4efc9b9fd0436f1a812f656c","datavalue":{"value":{"entity-type":"item","numeric-id":1694454,"id":"Q1694454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f3d97655527c3d8ac40a668a0f45f9d015ff320","datavalue":{"value":{"amount":"+0.7690114974975586","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":"Q2351164$A609FDB8-0FDD-4BB0-AE4F-35C71E21951E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22fb0405a3492fe98e52c2328cf020bcb32911ac","datavalue":{"value":{"entity-type":"item","numeric-id":377482,"id":"Q377482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6e6629304e41c110ccbc4f57eaba3493a27f8f6","datavalue":{"value":{"amount":"+0.7639986276626587","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":"Q2351164$4C5CCD85-41B6-4140-A225-81A20C1A38BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2351164","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2351164"}}}}}