{"entities":{"Q2454875":{"pageid":2465618,"ns":120,"title":"Item:Q2454875","lastrevid":50188835,"modified":"2026-01-13T11:12:57Z","type":"item","id":"Q2454875","labels":{"en":{"language":"en","value":"\\(LE^{t}_{ \\to }, LR^{ \\circ }_{\\widehat{\\sim}}, LK\\) and cutfree proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5202416"}},"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":"Q2454875$5DDD5ED6-A13B-47EA-852E-F2C21916DE9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd82dd236c6839f474f14d659bab4b0042cbc97d","datavalue":{"value":{"text":"\\(LE^{t}_{ \\to }, LR^{ \\circ }_{\\widehat{\\sim}}, LK\\) and cutfree proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2454875$90A61C1C-89F2-431F-8C76-7E343FA468C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"969323f94a1b881129da95199440ed9fd3e5159e","datavalue":{"value":"1129.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2454875$F4CF1329-10BF-472D-B7E6-F7DD138BBB13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66f84fbf84627872ee8e4f09b27f58a25c3028cd","datavalue":{"value":{"entity-type":"item","numeric-id":266640,"id":"Q266640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454875$329900CF-F2C3-4D32-BE71-01C1C79B1F3F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454875$4210CF5A-6524-4F7F-B588-7ED5DE5E37F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d51bff7266eb0f39f18b2fdc3f96cb8c3e56c83c","datavalue":{"value":{"time":"+2007-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2454875$E0D5F2A9-1982-42E9-A025-E0788C3905A5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e76f37b4d3a967881261a12a2f65f316c4babf52","datavalue":{"value":"This paper contains two cut-elimination proofs: for the implicational fragment of the logic of entailment with truth and for the disjunction-free logic of nondistributive relevant implication. Also, a new, purely inductive, cut-elimination proof for Gentzen's sequent calculus LK is sketched.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2454875$7D388F87-0AB3-428D-89F8-4A91E8CDFEB1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"698ef69cf2501558685cb66472f90d21aa909f07","datavalue":{"value":{"entity-type":"item","numeric-id":194998,"id":"Q194998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454875$C7DFAC12-BD30-4713-A2A1-25EE028FC184","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2454875$04514C24-1C14-4789-81F7-140E2BF398BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2454875$0BA0E280-D2EB-47AB-9A2E-4DA1BDD65D0B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6711d7bc7e78c5706bb1cc25ee7d7796fa4de41","datavalue":{"value":"5202416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2454875$9B73AB7E-F3F0-477E-B9A9-EABDCE7A2DDD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97e9b68a25bf7c4fb71d43d64a9dc83ae32b951","datavalue":{"value":"relevance logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2454875$D4C96F98-C7CA-4107-87A1-8E53596AB2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b031600c0cfd6d2e764bf64f26528742a574af41","datavalue":{"value":"structurally free logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2454875$9567D696-6F23-4516-A406-2154B9A6E072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2454875$BCDF1552-C145-4D19-81A6-677A24FB5F1A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454875$307DD913-FE77-4337-968F-09B191E9BEC3","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":"Q2454875$7EB905EB-6E4C-462B-B06B-96DD33C13C19","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edb4bbd4305a5c47ad69c08704a7020bd91081f2","datavalue":{"value":"https://doi.org/10.1007/s10992-007-9048-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2454875$7524267C-779B-4EF9-A9F9-2EFB8278553B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85452aeb6290f5e504acf08be3b4444450357b30","datavalue":{"value":"W40425547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2454875$55014775-DADC-4B8D-9E1A-883873BD15E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454875$483AC254-064F-4625-AEE7-C80C7DB222DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcad1b51622bd87c59556af8c797422562d18a92","datavalue":{"value":{"entity-type":"item","numeric-id":4297115,"id":"Q4297115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454875$098AB11E-4354-498C-B871-1795499F7337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10670e83ac257a39006aad416722f9e5f2826687","datavalue":{"value":{"entity-type":"item","numeric-id":5519120,"id":"Q5519120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454875$4B8725DA-3EFD-4264-9E7E-295A4F64F070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c570ce1b38a05767623425e9cf1e03e977f7aa5","datavalue":{"value":{"entity-type":"item","numeric-id":817697,"id":"Q817697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454875$0B305449-F64E-46DF-8463-5954915532F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67a70c139089a2132580c4a82d76d6052b537cd9","datavalue":{"value":{"entity-type":"item","numeric-id":4392658,"id":"Q4392658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454875$128B9C8C-CEEA-447B-82C2-755C0EBDE519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebb81c5b91fbc05a090177adc4268ae243c00fe","datavalue":{"value":{"entity-type":"item","numeric-id":4342081,"id":"Q4342081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454875$88C89FA9-10D6-40C1-B789-BFF33214BF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd502a5ef0129ec6b722b64271c375aa4ecbbff6","datavalue":{"value":{"entity-type":"item","numeric-id":4353718,"id":"Q4353718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454875$C1B7BAF2-6505-4CB3-B236-A62B025185E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454875$9DE6D03E-10A7-4EB9-AC36-C6A757D191F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a21243111cda15893417183dd35870b92788e3","datavalue":{"value":{"entity-type":"item","numeric-id":4732137,"id":"Q4732137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454875$76A1013C-2AA7-40CF-9E65-CCBFF449C107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454875$EBD6E2E2-003F-4A28-94C2-744510E8AFFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c39ac31c74c48ef3863ec69f3b2740b0dd37c7f3","datavalue":{"value":"10.1007/S10992-007-9048-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2454875$E988D212-4ED8-48EB-8359-6948C203645B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9fc6ab7c7ddfc112e975e3314d11db66351706","datavalue":{"value":{"entity-type":"item","numeric-id":5411466,"id":"Q5411466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6b76c1faa6845565c507a98f7414f629d515878","datavalue":{"value":{"amount":"+0.7967934608459473","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":"Q2454875$80952793-3D9C-426F-B336-5D8739D2EE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b8dcd8df300661aa3bb06e3c099f7fcec67e20b","datavalue":{"value":{"entity-type":"item","numeric-id":1304543,"id":"Q1304543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4b7ac3db7a80c29753181dc7539279935daa30b","datavalue":{"value":{"amount":"+0.7919291257858276","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":"Q2454875$6882758E-A980-45EC-B372-992129BA86FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f31ecd5f0f936f1627b9b3961afe3757d7381b62","datavalue":{"value":{"entity-type":"item","numeric-id":3797160,"id":"Q3797160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37d5596e8ccd20d83df245f31e8f0dda49d05414","datavalue":{"value":{"amount":"+0.7895773649215698","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":"Q2454875$6F878A03-6617-4FBD-AC8B-17C5EC111B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c76f77ea149ac341d5cf455fcbd6b85ee4566ec","datavalue":{"value":{"entity-type":"item","numeric-id":1854335,"id":"Q1854335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c51a8a22ef28d1ab3ccc857bde82563a0c00e683","datavalue":{"value":{"amount":"+0.7887780666351318","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":"Q2454875$6252CEE9-E6C6-43C3-9B01-B1B236D55F57","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":"d4248c72a9fc14d09c88c330f957c19f8cd09a23","datavalue":{"value":{"amount":"+0.7876027226448059","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":"Q2454875$F2D8A3DE-E8CF-4121-AD08-4769C4070C8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2454875","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2454875"}}}}}