{"entities":{"Q3522034":{"pageid":5551938,"ns":120,"title":"Item:Q3522034","lastrevid":50438810,"modified":"2026-01-14T01:36:29Z","type":"item","id":"Q3522034","labels":{"en":{"language":"en","value":"Revisiting Cut-Elimination: One Difficult Proof Is Really a Proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5317346"}},"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":"Q3522034$9416637B-ECC4-469D-95F9-62C0F6E55DED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca720c3099621b1945289344c6c871db85ff22a3","datavalue":{"value":{"text":"Revisiting Cut-Elimination: One Difficult Proof Is Really a Proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3522034$EA83A8B8-EBE6-4365-8BA5-2ED4FCFD4779","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a980ac1dff55d3a3bafb1c4af3d97136f8d7dbe4","datavalue":{"value":"1146.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522034$7A90112F-E47F-45B6-B624-A8403D4D3334","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24cd86ae69c8a079061806ce67b34591d3195c60","datavalue":{"value":"10.1007/978-3-540-70590-1_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522034$6C0EC79B-9AE0-4E1B-A59E-A4C35E31BFC3","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":"Q3522034$CE65E8B0-CEC8-4B2D-8FAD-708A15627A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9d771e6e06087d3038d0c56738a2533864c0589","datavalue":{"value":{"entity-type":"item","numeric-id":3522033,"id":"Q3522033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522034$BD625B72-CE15-43D7-9655-F21B6623A52D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522034$C21746CF-A0BD-4C6C-9FAC-A4F12BBBF0F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a6f30c96b939eda7f5ad6004e94c006250dd509","datavalue":{"value":{"time":"+2008-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3522034$BC609EE3-2DE5-46D3-A492-966932593C04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522034$D2D975FC-5B17-4E6F-B4FF-D7D829C38297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522034$DED767CF-920B-426A-8CA2-0B134E5BE44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522034$CFBD0643-6041-4FF3-9580-A53A786846AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522034$088DBA4A-1998-4458-AA18-56B24F9FBD35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43bd77bd9654b4ddc005dcd75162d2a826501307","datavalue":{"value":"5317346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522034$9845DEE1-DAA1-4FD1-AA49-485DF728CE8A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522034$A95F5891-9F1D-47E7-AC06-69F26047C600","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":"Q3522034$B91B09DB-E994-4A9C-B04E-9B5AB78FF15E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fcfe2c9f258d2df8c18089e12f95575c258139f4","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70590-1_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q3522034$A53EE6C5-6681-46A5-BC4F-A26D5C07742A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"88ef00b046793eeb5ddc07bf37bbbe64c169e186","datavalue":{"value":"W1961313574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522034$D010782D-01FF-48CB-934E-A39FE9189585","rank":"normal"}],"P1643":[{"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":"41cd47e8cf9e01f8935f40757475ae5c351f4282","datavalue":{"value":{"amount":"+0.8181287050247192","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":"Q3522034$D2D2A2CC-8901-4F47-B199-781814210F34","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":"6679bb7a5af379bdc0edc876e33215738915d5be","datavalue":{"value":{"amount":"+0.802714467048645","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":"Q3522034$A465A5A3-A237-4D23-8E86-C52913AFBA00","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":"beb8db9a2a40622bf4ed6a149aaf629ea4b46f34","datavalue":{"value":{"amount":"+0.8020365834236145","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":"Q3522034$83B7C0B5-B46D-4687-AA49-0FD62D95E811","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":"b4b54dee9f1fa05305bd57d26276d17222acc59a","datavalue":{"value":{"amount":"+0.7841498851776123","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":"Q3522034$3FC54460-D791-4550-AA16-F40173FB227A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"259528ebba98034bd53598595b8da97fb13ef02e","datavalue":{"value":{"entity-type":"item","numeric-id":4506460,"id":"Q4506460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"676ca988e654d4da332c13341119a2cfd4b58337","datavalue":{"value":{"amount":"+0.783305287361145","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":"Q3522034$F103F6D5-C209-4274-BD71-34E35E238420","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3522034","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3522034"}}}}}