{"entities":{"Q5024505":{"pageid":7054082,"ns":120,"title":"Item:Q5024505","lastrevid":91115159,"modified":"2026-06-04T22:17:51Z","type":"item","id":"Q5024505","labels":{"en":{"language":"en","value":"Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7464265"}},"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":"Q5024505$C5E44314-9587-41CE-AA8C-00651052D396","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"513c4e28a39c6c56a6b4dd61244ce3adc4ffc16f","datavalue":{"value":{"text":"CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5024505$558D8322-5B32-4373-9D27-57CF62BC6AD8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc2b6eae6f31f5915bb479893a44648e6d0f6569","datavalue":{"value":"1485.03233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5024505$76B9F70F-9272-4420-9787-9789FB4D5B82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dcfcc04513a3e8bfc3d6638fe326dec8659705a9","datavalue":{"value":"10.1017/S1755020320000015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5024505$926B345F-4FD3-4896-B462-AB758E2419EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37b019e89cb08882c4fda7783a360d1728596378","datavalue":{"value":{"entity-type":"item","numeric-id":288246,"id":"Q288246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024505$36E5312F-5856-41B9-9B4B-52C2EF9B43AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024505$6197CB63-7B3C-444B-884E-34F51B9CFE61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"55762c5603115ae4e07560ac342798a50c12b0e9","datavalue":{"value":{"time":"+2022-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5024505$C4DCF4DB-A756-4337-9846-50F868C6AFE5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c49e67e0382cb49a88d1e716e67b99a3e8b7034d","datavalue":{"value":"https://arxiv.org/abs/2001.00662","type":"string"},"datatype":"url"},"type":"statement","id":"Q5024505$6A277EC1-BE3A-4FDB-9D39-5FDF718A0817","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5024505$A2900CD6-23FF-49D5-AE36-B1008927EFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5024505$E21021D3-7215-4C91-B5C7-78DB86F0FBD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5024505$16F7553D-902C-4F32-9FC6-38B8FDCB30B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"418646141bf1503638bc5bb4e1e65120474d19a9","datavalue":{"value":"7464265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5024505$60C16079-68DA-4E5C-A9F0-B19ED98876DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5024505$34C4AF0F-0940-4ABE-ACB2-B699FA7F1605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5024505$07A097DC-2998-46F0-AB84-861F5963B0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5024505$EA1DE7F1-FBE6-4067-BC64-F6BA6B79B1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5024505$16C34093-BCF6-4876-8ADA-4E0DE5FDAF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e1f66f838ab6c659c40577faeda90140c2435bc","datavalue":{"value":"proof terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5024505$F534035D-4BE3-4E78-BC4A-AA8BF2392620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2377b88a696371844cdb9dc79202e137415d896f","datavalue":{"value":"Curry-Howard isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5024505$F90A569A-4D79-4B0C-8428-7D418846A9B5","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":"Q5024505$8B887444-FD4F-4C41-8DF0-4F38B8D3058A","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":"Q5024505$07DC852D-4170-42E8-A52B-C487D9DADF20","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd99276c611a0b07b3afe6756018507155148f8c","datavalue":{"value":{"entity-type":"item","numeric-id":3142560,"id":"Q3142560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024505$B47BF250-B2D0-4335-BAF6-CDC0349A1FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"165b65e137be5e7ee616ffc2e9e24def67d009c4","datavalue":{"value":{"entity-type":"item","numeric-id":4840168,"id":"Q4840168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024505$775076BF-48EE-4DFA-8A9F-A75EA188034D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1079b6d698a143d8d07f3dc7f4c3c2ed61bd0760","datavalue":{"value":{"entity-type":"item","numeric-id":5927981,"id":"Q5927981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024505$0EED1534-E40A-453A-B6FC-DF4AD0953705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c3b2a5328c9779129164fc42a36268c5218ec7","datavalue":{"value":{"entity-type":"item","numeric-id":1062053,"id":"Q1062053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024505$34FEFF55-6BE2-472B-8DC2-141E60FFCD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9083ed2a5a4100a6263c5105b0b970e65426d846","datavalue":{"value":{"entity-type":"item","numeric-id":1198828,"id":"Q1198828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024505$66C8D384-0C6C-4B3B-A6C4-DB5B429980B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024505$A72D8107-0F7A-4083-929C-FB274F5E17B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2efed869f520a519778ae947641444a74adbe8bc","datavalue":{"value":{"entity-type":"item","numeric-id":5224496,"id":"Q5224496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024505$60B2D23C-7E24-4691-A8D2-90EE8DE5A73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe478b1c9e3755ecb4683bf76c070eb4413865c0","datavalue":{"value":{"entity-type":"item","numeric-id":1407578,"id":"Q1407578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024505$B079CE95-3301-4DFA-A606-C26FE6798D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1078f263d4c85701f41b586e5bc6925bb81c2bb2","datavalue":{"value":{"entity-type":"item","numeric-id":5213611,"id":"Q5213611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024505$C691C88F-1EF9-47EF-9AA0-BF236A83BD13","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":"Q5024505$DD7408F9-BBAD-4E1C-A8F1-2706309E3DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb9a53038a3e03bede13deef3624bad6ce441e04","datavalue":{"value":{"entity-type":"item","numeric-id":4264064,"id":"Q4264064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024505$14F10DFD-BB87-4D28-9CE0-D48F4418F0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024505$590914B1-0D61-48DF-BA80-454258F8566B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024505$4D2CAE63-DC03-4CE7-8EA0-57DBBD298CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8dbd2b93540a898c02c61dabf9d1006db2e5390","datavalue":{"value":{"entity-type":"item","numeric-id":4527908,"id":"Q4527908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024505$B3343678-8640-4433-8314-B6D254019BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e642d35b27f6202fe5a95f273070d49f953ce5","datavalue":{"value":{"entity-type":"item","numeric-id":3691668,"id":"Q3691668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024505$FDE9BB82-BE06-4611-9ACB-C39F41BEBEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91f352dea4d4187c279b4bf9352eedddfbaa47a6","datavalue":{"value":{"entity-type":"item","numeric-id":1942043,"id":"Q1942043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024505$EF627191-B39E-4F7A-B53C-30A1D20812C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcc1486a2f18c590785ed809ebe92a0a3e4c9f8","datavalue":{"value":{"entity-type":"item","numeric-id":4159022,"id":"Q4159022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024505$3EAC0607-BC32-45C5-A9AB-7B954A2BB3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9b533f9290e16b7753893188b8dbe265e96125e","datavalue":{"value":{"entity-type":"item","numeric-id":3981450,"id":"Q3981450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024505$D8C65887-4283-47EA-8089-018B84895C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2dd003369088313c2f97a0db4aaa661f8065f5b","datavalue":{"value":{"entity-type":"item","numeric-id":5732646,"id":"Q5732646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024505$1B1A4D23-B226-4D16-9A6F-F52C81F0C45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62228844cfbecde4dc1a2b87ceb6042fbb1d2bbf","datavalue":{"value":{"entity-type":"item","numeric-id":288247,"id":"Q288247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024505$9DC93C89-151C-4503-AF57-A6839A95D730","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95c3422917e1dcda2e4ee6df0a1af28d2cec621b","datavalue":{"value":{"entity-type":"item","numeric-id":4877107,"id":"Q4877107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a822face1fb07c9307b426198138127ea6d86ada","datavalue":{"value":{"amount":"+0.7964894771575928","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":"Q5024505$8A5FC13F-1F3D-4E04-B4D6-2057C43F5E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c93873d0ced2daf3b52bcb0b27792709f218adb","datavalue":{"value":{"entity-type":"item","numeric-id":4939407,"id":"Q4939407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ef9028e32fcf74e2cd3dab0f92a63ccfe9db370","datavalue":{"value":{"amount":"+0.7964891791343689","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":"Q5024505$1733F64D-ABAE-46D0-8C42-E740B68C0877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bb3020e7bf80f6fd75d1392159df33f035633c8","datavalue":{"value":{"entity-type":"item","numeric-id":4874794,"id":"Q4874794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01b4176c9d513830cda9086d5586f96944abcaa1","datavalue":{"value":{"amount":"+0.7818888425827026","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":"Q5024505$8D0FA15D-A432-4322-BC69-9DB58E1783BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1af1374bac7370fa0d3581501fec968a8eada2d7","datavalue":{"value":{"entity-type":"item","numeric-id":5425327,"id":"Q5425327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cc08441cc2e754a98273fa33487a5372e615867","datavalue":{"value":{"amount":"+0.7772504687309265","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":"Q5024505$115B7233-705C-43DC-90C7-6E6054E69C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c345787efb1d55b2c52347a647aa7c48a0beb002","datavalue":{"value":{"entity-type":"item","numeric-id":4249036,"id":"Q4249036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"434fec9d887f891750b406a7575ac95101990fcf","datavalue":{"value":{"amount":"+0.7731766104698181","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":"Q5024505$1C971B36-C5E6-4D77-9D09-1157388812A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi","badges":[]}}}}}