{"entities":{"Q5458060":{"pageid":7487619,"ns":120,"title":"Item:Q5458060","lastrevid":50332922,"modified":"2026-01-13T20:24:22Z","type":"item","id":"Q5458060","labels":{"en":{"language":"en","value":"Towards an algorithmic construction of cut-elimination procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262035"}},"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":"Q5458060$56672B10-BD47-4A11-9FEC-DF8DE679A8C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13747e0b678fe56a5ed4cd874afb21bddf414edd","datavalue":{"value":{"text":"Towards an algorithmic construction of cut-elimination procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458060$08E8E55F-179E-471C-B6AC-53B15F823277","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f6c8c75e7f5ce87f2e4a337c82d6995e753e0a0","datavalue":{"value":"1138.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458060$D5D19444-5396-4292-9BBC-924F66713239","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96e386e916ea579fadd72911a417bcbb1ad84bdf","datavalue":{"value":"10.1017/S0960129507006573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458060$561A32BB-5168-4817-8518-67B29C565264","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb4465c1e4c8de201e147387c933ac41a7d412d9","datavalue":{"value":{"entity-type":"item","numeric-id":385018,"id":"Q385018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458060$1EE1E86A-7970-4339-861C-644033BAEF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53993ae6db4350dacb1d3d4f5370b18b73e58da6","datavalue":{"value":{"entity-type":"item","numeric-id":167060,"id":"Q167060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458060$AFD6CEB7-9A1E-45C8-8A89-563E20E163A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458060$703175CD-688F-46A5-BCBD-88FAA8D20FDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"82c68e2887d99211d0a3e890ee79d206b638ec05","datavalue":{"value":{"time":"+2008-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458060$061A988F-DA41-4CEE-86CB-874F38FA7B91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458060$FB0B2222-B202-4D9C-8B86-16CEF5D67299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458060$09068DBF-622C-4CBB-B295-800D8F4B5C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458060$FE8052D9-8E93-4205-BC19-EB506972F5D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4e730e5954350b405db0cef67c5bf13c9749597","datavalue":{"value":"5262035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458060$633372BB-5323-4D8C-885D-993CF4E58F69","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5458060$D03A1064-4858-4458-A92C-CCB601A4211C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5458060$C163BC90-A8D3-424C-B2D0-41CB1D4DD9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5458060$4F535FBB-5446-42F2-BB26-50C509898FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75bf537db2af32eb47fd0e1d4a15fde9b7b89bea","datavalue":{"value":"knotted structural rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5458060$349ABA7D-11B0-4FF4-BA41-6D80AFCB162C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5458060$B9F1A4F4-5385-42CA-9A56-45DEC398BC49","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":"Q5458060$14B69ACC-5122-417D-B7FB-058302472BB1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"613196c1ebb5efd26c81cbdcd44f5b10522db4db","datavalue":{"value":{"entity-type":"item","numeric-id":1344438,"id":"Q1344438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458060$8FEE68DE-FCE8-4BD3-9170-787CB13584D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8755fff25bcbf365d5dd2dfde2f78f833a2371b","datavalue":{"value":{"entity-type":"item","numeric-id":4331764,"id":"Q4331764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458060$638DAEC2-6DAB-4DA7-8C72-F0FA8EE7EB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe042fd73b0f564590539742ad031432d6096563","datavalue":{"value":{"entity-type":"item","numeric-id":2433102,"id":"Q2433102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458060$CF04EF1B-03F9-4E2C-8250-7C38FD09241A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6398ee602b21d03896197f5b09fe5f5f8560bc1","datavalue":{"value":{"entity-type":"item","numeric-id":817704,"id":"Q817704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458060$7E8B0172-EFBF-458C-B9FC-A6123D243D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c865eb493d620b857070ca84d76d0aa56101b2f","datavalue":{"value":{"entity-type":"item","numeric-id":2947004,"id":"Q2947004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458060$C0FD8388-D401-4C23-BF11-6E7DC54EFF9F","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":"Q5458060$5DAEE9D6-1D59-4CF7-AAD7-AB9F8216F153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f91dccb3b32bc57d3dde01bce7e911858f770bc","datavalue":{"value":{"entity-type":"item","numeric-id":1110493,"id":"Q1110493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458060$6CB40E08-B9AE-42B9-9C6D-5E8A47C44CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58ae24754f75a802a2da40737e8cd0fedd5ca062","datavalue":{"value":{"entity-type":"item","numeric-id":3025337,"id":"Q3025337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458060$B8ED9173-D53E-4674-B78E-83FE8EADACA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1785c5247614edefd452dd242bbf025baf6dd7dd","datavalue":{"value":{"entity-type":"item","numeric-id":2563461,"id":"Q2563461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458060$27C5ACF8-83D8-4464-9700-80D75D6FD1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e152594bbd7d3668c9ba9c42e7b6b36f416f5bf6","datavalue":{"value":{"entity-type":"item","numeric-id":5387850,"id":"Q5387850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458060$B081D253-80A0-4335-A5F1-7BF47F17A90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458060$BB83A500-3B65-4097-BE32-98475AE37998","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47175f8f0b426346e8e899829e3d14cca601894","datavalue":{"value":{"entity-type":"item","numeric-id":4383724,"id":"Q4383724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fb8380765437f9b922a0614c132eea0baf52d1e","datavalue":{"value":{"amount":"+0.8261524438858032","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":"Q5458060$E73654DE-0B80-4EE5-9D68-661C54A6F5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cde84b0dadb34b2891205b22e897ee0c2ae56b1","datavalue":{"value":{"entity-type":"item","numeric-id":2758081,"id":"Q2758081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6ec328e0619015e266d47451d5597f0db1ab690","datavalue":{"value":{"amount":"+0.7952418923377991","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":"Q5458060$96CD2262-D92F-45B4-8FB0-76BED96EC99C","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":"a412941bf4375add39f73d0d89e688aa495e0391","datavalue":{"value":{"amount":"+0.7944775819778442","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":"Q5458060$05061EB9-2F21-40A9-8591-63C9CEDC9FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba67e2817f44d9f3978eab80105f1e99842b107f","datavalue":{"value":{"entity-type":"item","numeric-id":5450573,"id":"Q5450573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76c1b067c82f598458fb63ab21bfeaf7427aa954","datavalue":{"value":{"amount":"+0.7915453314781189","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":"Q5458060$83AA489F-42D3-4A0A-B97B-3CB37E58A738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cfe35f01597c59a79d7085293ee38ec71a3c4d2","datavalue":{"value":{"entity-type":"item","numeric-id":5927981,"id":"Q5927981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8138300e6f83bcadf02dea60e0f0923a981845b8","datavalue":{"value":{"amount":"+0.7892045378684998","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":"Q5458060$9E056F5A-3410-4EF2-BAA9-4D8E76DC34FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458060","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458060"}}}}}