{"entities":{"Q4612444":{"pageid":6642027,"ns":120,"title":"Item:Q4612444","lastrevid":82309412,"modified":"2026-05-06T20:35:50Z","type":"item","id":"Q4612444","labels":{"en":{"language":"en","value":"From the subformula property to cut-admissibility in propositional sequent calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7009558"}},"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":"Q4612444$B5CD44BC-AD06-44E9-8116-BAECF5FBA857","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95e08277a30b381e8b8d545d692dcab1ca4bbc01","datavalue":{"value":{"text":"From the subformula property to cut-admissibility in propositional sequent calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4612444$1D91EF1D-3492-411D-8B0D-0DD09034D81F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"958cec31796b638e44a8323498b4c243e57381b8","datavalue":{"value":"1444.03162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612444$32AD3153-1E20-44A7-A320-84909631CB6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23fee96c298cf311331c13562efa1577022e6237","datavalue":{"value":{"entity-type":"item","numeric-id":1677039,"id":"Q1677039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612444$5C9F9BC1-444F-44AD-8A2F-032ECDCD5B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15c3e77937a4117931d77ceeaa33fe1a7a5d9cf0","datavalue":{"value":{"entity-type":"item","numeric-id":1682295,"id":"Q1682295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612444$F18E7584-5168-4FE9-BEF5-3B6B651467C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6cff588b238fe649ad35be9c49b1edf5332cb4aa","datavalue":{"value":{"time":"+2019-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4612444$91D057B2-953D-4E5C-997E-93D8CC0822E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f60054168254647149c90093ba59fcab38be5cf1","datavalue":{"value":"https://semanticscholar.org/paper/76e6238c44c7be7f8d8923ae5fb7c1fa03ff44ff","type":"string"},"datatype":"url"},"type":"statement","id":"Q4612444$ABB797C3-FDCA-4B8C-A875-4D00B975DC5E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612444$878FF500-602C-4363-AE3B-A07BF3397093","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9dcfe9a9fdf14914dfe840730d893b1c243efd0a","datavalue":{"value":"7009558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612444$8AA14272-7585-4DC9-BA20-AD1F21ACA3A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612444$4C1C5730-1DC1-49EA-BBC5-DB1299B6129C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f74920537862e25960045b173a4c530000d4686b","datavalue":{"value":"subformula property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612444$398C2912-9881-4544-A3DB-6948AF760031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612444$54363B57-EFE2-4A5C-9848-84F2A6372FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d75ab3b1d0b161be33e4d2ec6fa01a5a7c7f224","datavalue":{"value":"analyticity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612444$D4530DD5-0958-4F05-B4CA-E0CB44AA110E","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":"Q4612444$32BA8C09-1A9E-42A4-90B2-89ABD4820F7C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7e5e0c374aa0d18379747d20b05c35b286da877","datavalue":{"value":"W2810263748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612444$98811162-8A26-4798-A5E4-CA0CEDBE3573","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"898f5a0886a093cee54a413ed9ac63ba58fc8e50","datavalue":{"value":"10.1093/LOGCOM/EXY018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612444$B7075704-3338-4184-8BA5-7B89D0C8A030","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612444$68DD5CEB-D78C-4BC0-8DB5-4D15CF511599","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc3d685a0a4b1b6f5ce9910f977c7ec16272b872","datavalue":{"value":{"entity-type":"item","numeric-id":4032549,"id":"Q4032549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f396e0b9ce45cfe051e9fa975965794299890a8f","datavalue":{"value":{"amount":"+0.92739576","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612444$1FB66C3C-2E67-419F-9619-3BB65BFC352E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd2a6bd17653d3bff54e3c72ab814a85398529c7","datavalue":{"value":{"entity-type":"item","numeric-id":5014060,"id":"Q5014060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7f82b88d49782482016fff05232187524e7d354","datavalue":{"value":{"amount":"+0.90142477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612444$260FFDB0-1901-4223-BDED-A66B7DD748F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7d6b507c5d15ba93ff37b3e15ce66032ac119c4","datavalue":{"value":{"entity-type":"item","numeric-id":5213665,"id":"Q5213665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3503834e64f2ee046b09399bd2de4a5f0d24dfb","datavalue":{"value":{"amount":"+0.8991158","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612444$3A90DCC0-9365-43FB-9DE6-9063A7255CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85887c5a69ab0350560348eea48d6f56d9c64432","datavalue":{"value":{"entity-type":"item","numeric-id":4636039,"id":"Q4636039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa8838869b264b54a634d3df83aecf335b239df9","datavalue":{"value":{"amount":"+0.89681077","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612444$84F412E2-9A73-4E79-B32D-58796CF77B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbde39d3d0e4cac5f51c436c6de81f4ba37cad91","datavalue":{"value":{"entity-type":"item","numeric-id":5013887,"id":"Q5013887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2a1f08cc60d31a4a3d36f62cd431c36e6393fba","datavalue":{"value":{"amount":"+0.884208","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612444$E7914DCE-4940-4C68-983C-F32D9C4EDC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1bb4282fdef5f0d7ab38c0af2f3b9e6a47b2e1e","datavalue":{"value":{"entity-type":"item","numeric-id":4262065,"id":"Q4262065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91992d9b7a757cfa7584dc6b347da1178d28e0f3","datavalue":{"value":{"amount":"+0.8838177","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612444$75A699FB-8F2A-406F-A919-4433FF02FFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0723a6f2b389f511a29724dc367dfec22ffbaedc","datavalue":{"value":{"entity-type":"item","numeric-id":4323041,"id":"Q4323041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f433cd8c4d6a367768bb614bee76a9769e28b9d","datavalue":{"value":{"amount":"+0.8826985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612444$2983D70B-347A-4578-AC30-AA71DAEDF7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83bd0fd5a51cfdb18da6d7aa29999f0a607891f3","datavalue":{"value":{"entity-type":"item","numeric-id":3433181,"id":"Q3433181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7e5be1da88a173e1d1fed52503411ef40f7c8a7","datavalue":{"value":{"amount":"+0.88049245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612444$4BEDE574-6A7E-4E3D-8113-B724EBC9443D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2325724171c07c11b8ad1031aeb3709a3f8b8119","datavalue":{"value":{"entity-type":"item","numeric-id":2352485,"id":"Q2352485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d898e9762f4fe30a1f5d31cb74259cfe2501411","datavalue":{"value":{"amount":"+0.87851053","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612444$229AE512-CD74-44F6-B644-DB0A2CEB6CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ab1afecc63e83a28ae399125e1af9976ce1e436","datavalue":{"value":{"entity-type":"item","numeric-id":689298,"id":"Q689298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20cd2e339b3755bc2d1582d09df9de9fd13d630a","datavalue":{"value":{"amount":"+0.8764392","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612444$DA6097C5-0968-4EF3-8096-3BD931B50127","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From the subformula property to cut-admissibility in propositional sequent calculi","badges":[]}}}}}