{"entities":{"Q5458374":{"pageid":7487933,"ns":120,"title":"Item:Q5458374","lastrevid":50333915,"modified":"2026-01-13T20:27:18Z","type":"item","id":"Q5458374","labels":{"en":{"language":"en","value":"Strong Normalisation of Cut-Elimination That Simulates \u03b2-Reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262421"}},"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":"Q5458374$9D68C9C2-3EE8-4F6C-A910-17FCA97F5AEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"58933dd00be60ab37061b0d0ce5752e9a1dd267c","datavalue":{"value":{"text":"Strong Normalisation of Cut-Elimination That Simulates \u03b2-Reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458374$F6C92895-2C95-4EF0-99A0-C0599750CA48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e24976a4c25b2a00c4a037cb7e8c284d90e486e7","datavalue":{"value":"1139.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458374$DF56FD1E-5B83-4508-BA80-BD72569A7642","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6a9f682065f8fcf758f8fccf118a00190feac6d","datavalue":{"value":"10.1007/978-3-540-78499-9_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458374$2D6D1F43-88E7-4116-B916-1A2BB2705667","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e99b0756d94234ec5b8de37512b98b6fee209039","datavalue":{"value":{"entity-type":"item","numeric-id":1409299,"id":"Q1409299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458374$F8AAC75F-47AC-4171-B82E-23511CA93A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d79cf40c9d083fd33fffca7f5d652f193d57871","datavalue":{"value":{"entity-type":"item","numeric-id":876040,"id":"Q876040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458374$BD1B0DC2-3A06-42DB-8842-0AF79FD8074A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458374$CBB7D177-6BC7-484A-AC7A-DB60DA258D40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458374$1A57BD0D-38EC-4AF6-926C-B265362924AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458374$00713248-6C53-4227-9255-0DD04D8DDF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458374$883E9C8A-3732-47D3-931B-8F8D5266186C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f666422fc5b834354165aba5cf3002884cff63b3","datavalue":{"value":"5262421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458374$2B7562B4-820D-47A8-BCCA-17C58C6B7CD2","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":"Q5458374$927956CD-BAF3-4FE2-B632-A13CA50CE026","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a274a0c81217aa1986d822a80ccbc229d84bb559","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78499-9_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458374$542B3F49-6437-436B-97FB-3A6F5E96E474","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a663c61ed6dee9eafb8a673aa58b5c31b10865ba","datavalue":{"value":"W1578162183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458374$040D4A9F-269E-4B5F-9824-D1FDCD7BBFD5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee132c4e5792ab38a0ff46d3d93155b8fcbe98d8","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458374$D24A799B-55C3-4FE6-8FBA-D1033953E41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f1656b0af82a8a7cd6d647840a56e40b6d7fabf","datavalue":{"value":{"entity-type":"item","numeric-id":3125228,"id":"Q3125228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458374$DBD15BA6-E978-474D-AA11-9DD70C47B7D8","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":"Q5458374$B795C180-372E-4EA2-B95B-A109EDA99316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f84e6ea8ad48c0b56f9caf1a1c8dba310929104","datavalue":{"value":{"entity-type":"item","numeric-id":1274458,"id":"Q1274458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458374$45BC1949-110D-4C9C-A5F0-7831A5ABB65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640dbea36607eac12c9234dd8913c144d385805c","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458374$D533076D-78B6-4E6D-A774-8E0B3E1B9DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d0c3c520266c0eb0c8719af10bc93260259779f","datavalue":{"value":{"entity-type":"item","numeric-id":4842975,"id":"Q4842975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458374$C3473025-EF6A-4CBB-A3B4-2B7A04112221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e84ff42267477e949575e937efae295817dbcbf","datavalue":{"value":{"entity-type":"item","numeric-id":4372906,"id":"Q4372906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458374$4B374350-5A57-46E3-B485-3D7AEF639BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3974826730c6cd32f5a0b39902b286982f03f9f","datavalue":{"value":{"entity-type":"item","numeric-id":1275625,"id":"Q1275625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458374$50D5F0B2-86BE-480B-A7D4-FCFE707A44AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e8ae49acf392e5532c631d5f6f8ff7e33fcf27","datavalue":{"value":{"entity-type":"item","numeric-id":4444936,"id":"Q4444936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458374$940FE731-5884-4B3B-AE3B-3210F3AC5C3A","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":"Q5458374$DD105F85-2B44-470B-AD23-685632B904A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458374$52452AF2-30C4-4FA6-9FBC-F750383AB0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa1392a6457245aa1a13636979cc944e1f47959","datavalue":{"value":{"entity-type":"item","numeric-id":876041,"id":"Q876041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458374$503A89E5-69D0-43A6-871D-6EAB747CD919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2d783f467c256140ec05303101afa6a7cd2f392","datavalue":{"value":{"entity-type":"item","numeric-id":5387888,"id":"Q5387888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458374$1C68A94D-49B8-4819-B09A-F127648FFAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f98b0b5b42feca2858959e08723b7b37a956ebb1","datavalue":{"value":{"entity-type":"item","numeric-id":5425341,"id":"Q5425341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458374$76FB1E8D-E5F3-406D-A14B-A6B4708FA87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0406aef64a66018626b48f765fc864c37436fa8f","datavalue":{"value":{"entity-type":"item","numeric-id":5458374,"id":"Q5458374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458374$0214A2D8-9759-4702-A4EA-6C39BD23C2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458374$35174FBB-14AA-4FD8-B7B3-CA0169E99EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be2512671605ebe72e3a700003c529ae354271d","datavalue":{"value":{"entity-type":"item","numeric-id":2844073,"id":"Q2844073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458374$F3440EBC-111C-4BCF-9200-540442252935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a12fe15b5512bcfef952a27d5040d116dcd6d788","datavalue":{"value":{"entity-type":"item","numeric-id":3612641,"id":"Q3612641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458374$AAC03B1E-8932-440C-BFE0-4971631CA135","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":"Q5458374$8341D2AA-B025-4AF9-A2E9-CD87755C2FAF","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":"Q5458374$994EAE6C-AF80-4BEE-AEA3-AB73BBCE1DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"197fb31080d07279d6d4e707ba0db8b6fdc07c7c","datavalue":{"value":{"entity-type":"item","numeric-id":1357009,"id":"Q1357009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458374$BC558D28-53AF-4BAB-B541-58BF2E199390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458374$D4B79F89-01EA-43A4-89FE-3C8DB3A3E418","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":"Q5458374$3E278665-40F8-4C04-86CF-D44B00B032D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b919ba15b0c4eaa2317882009ec468013e4b5fc9","datavalue":{"value":{"entity-type":"item","numeric-id":4263882,"id":"Q4263882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458374$958C6747-C037-4E6F-B6D5-DAA169D5AD78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db9d1ac17655f7d23b5941696fc397faeec07acf","datavalue":{"value":{"entity-type":"item","numeric-id":1286373,"id":"Q1286373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458374$54255D97-4387-4E40-AC5F-A211796A1237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a247c9a6db45b5ee9f5440edc13ee1562d02288","datavalue":{"value":{"entity-type":"item","numeric-id":3024920,"id":"Q3024920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458374$2FAAA551-6D22-4022-8053-E6D90990CBEA","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":"Q5458374$1B484269-5308-4811-A9A3-57E78CE0C928","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15b087ef49692900107f01c9a6e780b22849ba6a","datavalue":{"value":{"entity-type":"item","numeric-id":3617369,"id":"Q3617369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3820d67969bba7a91a8703223a9efad24981bca8","datavalue":{"value":{"amount":"+0.827771008014679","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":"Q5458374$6F2C6A8F-BBFA-4654-B373-150CA54725E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1910838935ba6d755c64d5b2c815322f02bf14d0","datavalue":{"value":{"entity-type":"item","numeric-id":2708321,"id":"Q2708321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44df6a820f356a21e4572c233649156048826742","datavalue":{"value":{"amount":"+0.824216365814209","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":"Q5458374$A0C9A9E3-75DF-43A1-9A36-3A03F1444407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68c0aa8f7e3b934517087718cf72d3084e82b406","datavalue":{"value":{"entity-type":"item","numeric-id":4444936,"id":"Q4444936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d295fa66db8a8fa516195d23511e175a2bdc7477","datavalue":{"value":{"amount":"+0.8239315152168274","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":"Q5458374$A2927134-A366-4447-9B46-4FADEDDD2117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a379be0807c0684d3c8b85e371369487a0e89e65","datavalue":{"value":{"entity-type":"item","numeric-id":2778837,"id":"Q2778837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af67000d91c3318cc39c3d9d5e623c4036b62747","datavalue":{"value":{"amount":"+0.818626880645752","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":"Q5458374$3A18BF1B-592A-4776-8A05-5043EDFFD3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cc53e3d08fd24c4593c7add0ca77cced95343d2","datavalue":{"value":{"entity-type":"item","numeric-id":4263882,"id":"Q4263882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d65c0412b643e19eee6592b6590e97d3ddace023","datavalue":{"value":{"amount":"+0.8178770542144775","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":"Q5458374$4BBD4430-9EA9-4C89-A574-2A176351D2B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458374","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458374"}}}}}