{"entities":{"Q5251185":{"pageid":7280753,"ns":120,"title":"Item:Q5251185","lastrevid":52268054,"modified":"2026-01-21T07:44:43Z","type":"item","id":"Q5251185","labels":{"en":{"language":"en","value":"Revisiting Zucker's work on the correspondence between cut-elimination and normalisation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6439447"}},"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":"Q5251185$314EEB9F-A47F-4966-978C-B2A85527EA95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0b015d6f898a0a115d5327d8ff6fc3b244d377a","datavalue":{"value":{"text":"Revisiting Zucker\u2019s Work on the Correspondence Between Cut-Elimination and Normalisation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5251185$7A03E025-0BEC-4D36-BB30-72F0B9BD92D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"940b0af565452f1ae4fa06c3ec4f02b9be9d1c3a","datavalue":{"value":"1339.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5251185$E52464A2-A437-49B6-A528-B983BE20568C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51651b6563437bcb7c9a66d7ce895193e0c3c061","datavalue":{"value":"10.1007/978-94-007-7548-0_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5251185$E2778964-5CF4-4AB4-B241-DB3952D10F21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8be13823e57b532010d417bfefa3b5133f759f9a","datavalue":{"value":{"entity-type":"item","numeric-id":860832,"id":"Q860832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251185$B665F1EB-1750-43E9-B5DD-2E371046EF74","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9ef5f862067a8dcfef6601f996709bbb53d732cd","datavalue":{"value":{"entity-type":"item","numeric-id":3295143,"id":"Q3295143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251185$08537446-E02B-4678-A813-BC37E56E54CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ccdd437656ae39926623dbd87596e190124636a","datavalue":{"value":{"time":"+2015-05-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":"Q5251185$FF0CF856-5285-48E3-9E40-BD4763648EB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5251185$808E5E72-4F56-46B1-9DD1-2E6FB917EBE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d766f9f8901f480c94913b2c3c0b71c09f263263","datavalue":{"value":"6439447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5251185$32D7EF71-BCD9-4CFB-A409-960162C137F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5251185$CD5C5C56-53D4-4E94-BB38-5211CDBD79F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5251185$C3149D15-B616-4B3F-AC0D-1D04B8F02DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5251185$FA0C70D6-E5EF-4CEA-82DF-9C95E58D077C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5251185$91ED9A5B-44B3-4C77-90AC-A31F273281B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5251185$403FD0AE-A6A8-4B22-932D-F67D7AB9573B","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":"Q5251185$9AC91AE7-2174-437F-9739-72695C0B2BBB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c196146c56a904445182eed247922f3fd36afaf7","datavalue":{"value":"https://doi.org/10.1007/978-94-007-7548-0_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5251185$0000A99C-556A-44DD-A238-1804CE3BEFF5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0be7fc7bb6e8ce9c4dc7f72ff8eec4ec1f16aac3","datavalue":{"value":"W91833220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5251185$613534F3-3187-402F-9EC2-4CFCEDEF5D1D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"02ae311926901b6f1ea5640d81360ad861b56c1e","datavalue":{"value":{"entity-type":"item","numeric-id":4490745,"id":"Q4490745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251185$7078A3D8-A194-454F-A64B-CE48DAAA7A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef5d9df8ee1b7691f1ce86bd867f936bf64d345e","datavalue":{"value":{"entity-type":"item","numeric-id":4948037,"id":"Q4948037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251185$29DD0328-D5A6-42BB-AA67-1ACECF7D8AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26ad0292ce501c4706b9832036a05439f1dd84f6","datavalue":{"value":{"entity-type":"item","numeric-id":4357055,"id":"Q4357055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251185$21CA4941-AC51-4A93-B049-2A62DB264153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f883f5a58653c920c606b57623dae3bf099e6cf","datavalue":{"value":{"entity-type":"item","numeric-id":2754180,"id":"Q2754180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251185$36874790-833C-412F-995B-4817E36452F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b54248dd0491e9d3643cd764e439a902559d8a0f","datavalue":{"value":{"entity-type":"item","numeric-id":1208732,"id":"Q1208732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251185$EC49ED70-EC69-47A5-BE8F-FAA911032CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251185$2C1CC33F-2ACB-44BD-9016-C54200908E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"106507d2ad7198eda87b14657c5af01d30112965","datavalue":{"value":{"entity-type":"item","numeric-id":4474830,"id":"Q4474830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251185$CA09E505-F20A-4449-86C9-E3ED59244BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"821ba052327064437d4dc5b12ef56d677e2220c5","datavalue":{"value":{"entity-type":"item","numeric-id":5633976,"id":"Q5633976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251185$A5884B6C-2C92-4EB0-ADE9-7623471EBF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"739667084d3843fbccdf70285b7c9a6a6fa9be27","datavalue":{"value":{"entity-type":"item","numeric-id":2778826,"id":"Q2778826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251185$5EA95FE3-62ED-4F71-B595-21E0082B1CD0","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":"Q5251185$B1A6CA3D-5B82-40BF-A8C1-32BFF9B2C4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"318f662845e996eb181df473ff519adfb475c0e2","datavalue":{"value":{"entity-type":"item","numeric-id":4156419,"id":"Q4156419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251185$B3FDB65E-9FA8-413C-9954-B7A76120173D","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":"Q5251185$6952FA8A-9E69-4250-ACA0-A03A22972D45","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":"Q5251185$B2E6CA21-E198-4110-8C69-530ED48C1A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6fbd749809973b582e07791018a08ce57c0efb2","datavalue":{"value":{"entity-type":"item","numeric-id":4877107,"id":"Q4877107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251185$BF22E5A1-7BC6-4894-8641-953EEB8E54F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d79204b93c70135fd2326679c160b7bc12322e0c","datavalue":{"value":{"entity-type":"item","numeric-id":2708321,"id":"Q2708321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251185$C54BB332-4991-4D84-A673-9259AA0BA276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c90b2e0ced1298041d18e0c665831758c400276e","datavalue":{"value":{"entity-type":"item","numeric-id":4052084,"id":"Q4052084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251185$39F4C3E5-9608-4379-B60C-57D245EBF897","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0081b34b0601a991dffeabbe55d9c9ab58b6a45c","datavalue":{"value":{"entity-type":"item","numeric-id":4659951,"id":"Q4659951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e91e1d642b8f76de96172df580efa6f70430ef9","datavalue":{"value":{"amount":"+0.855004608631134","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":"Q5251185$40B23FF4-BB93-432F-9740-9D5557A9ECD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e45d1a7e8f6bdf0d27abc13d3246965484b71dd4","datavalue":{"value":{"entity-type":"item","numeric-id":818516,"id":"Q818516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6821c5cc3a0b4f4c7fb0d08ecc22751de86c587","datavalue":{"value":{"amount":"+0.8144868016242981","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":"Q5251185$19201AAF-16CD-4CB1-898D-919D2D3B7CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f05cd6753491b5836102c47ec38d29706f79787","datavalue":{"value":{"entity-type":"item","numeric-id":5213610,"id":"Q5213610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abaa7d3b27d0e2a7804dd686805a2fd2a672066a","datavalue":{"value":{"amount":"+0.8061906099319458","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":"Q5251185$0034669D-E333-4925-BEFD-878F3857DBEF","rank":"normal"},{"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":"57e92db1163e13d1ab8a9482d07d7775c507ef86","datavalue":{"value":{"amount":"+0.7877947092056274","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":"Q5251185$4C9CD1C2-CBFA-43C0-9B57-94C2A981B62C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b419f24277f2c2c36c621175f439653d84f33ae8","datavalue":{"value":{"entity-type":"item","numeric-id":3655015,"id":"Q3655015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57e92db1163e13d1ab8a9482d07d7775c507ef86","datavalue":{"value":{"amount":"+0.7877947092056274","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":"Q5251185$A7AE219A-5DAD-4025-A424-7146B3C0A525","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5251185","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5251185"}}}}}