{"entities":{"Q2482842":{"pageid":2493585,"ns":120,"title":"Item:Q2482842","lastrevid":50342879,"modified":"2026-01-13T20:53:32Z","type":"item","id":"Q2482842","labels":{"en":{"language":"en","value":"Call-by-name reduction and cut-elimination in classical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5267334"}},"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":"Q2482842$E94AC748-6487-46AA-AF8A-644461B83651","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a64c2d5a132bc8bc1ae4d4b379d7e71dbdea760","datavalue":{"value":{"text":"Call-by-name reduction and cut-elimination in classical logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2482842$DB855437-CCE6-4CD1-A1CE-B3B8679E6550","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08a8d870722f49cfff2589de053dc3bfaca2637f","datavalue":{"value":"1136.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482842$83FFEA04-E7CC-4FF0-B4AF-3CDD75B586BA","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":"Q2482842$FF85F13F-77D6-442D-B23D-AD148042AC77","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482842$A2E7D030-7AF6-468C-9160-4FC695BDAEB8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1394cf050ec7558b15d2b20d30583ebe6e633ce","datavalue":{"value":{"time":"+2008-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2482842$B162A353-046E-4DE1-BA02-396494E97641","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482842$009241CC-755C-42E3-9DEA-DEEE33CC9D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482842$64C983D4-CE73-48AC-AE99-79EBDCB611BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482842$0946325D-E9D1-48F3-AF68-F5A63F211EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482842$360070EB-2164-4DD3-90AA-B8BA9E8D5452","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bfc990064cd216eda967ad22b6c51acebe9aa4e3","datavalue":{"value":"5267334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482842$062EB996-76BD-4DF0-8F57-974834B41AC0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f89b34d84a29901e6cfe557573b31fa1373d9525","datavalue":{"value":"Curry-Howard correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482842$CB06D13A-68D3-43EA-9FB3-289E52CAA175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482842$A1893B7F-3C0A-480F-89E6-AEE118476AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482842$7B6EE85F-0D8F-4D02-8292-22D3D08686B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482842$E2AF90FD-9EF4-4772-BD8A-7E9392217464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482842$041B69FD-A930-4D65-AE28-296D2E475F90","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":"Q2482842$9C32A7A2-4C95-4382-A85F-93EE269533F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f3d6f7f1560a137dec201c9b801a6eef344184b","datavalue":{"value":"https://doi.org/10.1016/j.apal.2008.01.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2482842$A8BA4E69-A70D-42F7-96F7-3395A0902F7F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c328ffeea1334c11ba3b7282ba34c4d3a51f5d3","datavalue":{"value":"W2014371684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482842$1600E570-183A-4566-9F30-977C7C11CE72","rank":"normal"}],"P223":[{"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":"Q2482842$D34DD531-0F72-41E2-AF78-02A95117211B","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":"Q2482842$89DBFB5A-3583-4A97-9193-20FC851ED94A","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":"Q2482842$A4E56D4A-6A0D-4FC7-AA6A-73685832AE5C","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":"Q2482842$9C1806E4-023D-4CB5-B253-2EACC4B44357","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":"Q2482842$404DBB34-C60F-4217-8F3F-8DB85AC41135","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":"Q2482842$BD11854D-F733-4D3A-AC69-F284F3151FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482842$46BD8840-A48E-4B32-81A5-E6415F5FD210","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":"Q2482842$81A43C33-609F-4146-8C67-491152693E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a257c98967afe874abfaa6857e409945ee51712","datavalue":{"value":{"entity-type":"item","numeric-id":2752530,"id":"Q2752530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482842$5109E03A-BC9A-4610-9C9A-C63C52A1925A","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":"Q2482842$C98ACD12-D04A-4557-BDAD-C06BB1FFC406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3ffcb8740f4ecb8326f53555af93878da43eca","datavalue":{"value":{"entity-type":"item","numeric-id":3613355,"id":"Q3613355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482842$D429C1B3-7B63-49FF-A032-4C7E0CC8EDC7","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":"Q2482842$5E15C96D-D6AC-4106-8083-0E8B9DF05860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcaeb1c8d7f99e6d943db19cd7dab3c23ba7a3ca","datavalue":{"value":{"entity-type":"item","numeric-id":4382485,"id":"Q4382485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482842$619368E8-006B-4646-B75F-7805516B029C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c1a6f045f9ac8b011f54546b8ebd71da22116a0","datavalue":{"value":{"entity-type":"item","numeric-id":5308466,"id":"Q5308466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482842$9DCAB9D3-BBE9-45D8-ABA9-C26457F14E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e3f9584eef07eb397883bbf53f9a08554d21f9d","datavalue":{"value":{"entity-type":"item","numeric-id":5703850,"id":"Q5703850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482842$E5A3248B-904B-497D-AF19-99F71539B3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3f2bf5bdd0157f237b95c3e33b17ccd52822b8","datavalue":{"value":{"entity-type":"item","numeric-id":5261275,"id":"Q5261275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482842$015D2C48-B95F-4933-AEA3-A7D0B94A4DEE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e048ef56a51c6a0a0939a27b1d49d385e2e7f58","datavalue":{"value":"10.1016/J.APAL.2008.01.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482842$40CA0CDC-82EC-4E41-A448-3EEFD7017531","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3cf884216827827d76dc386643225100b15468d","datavalue":{"value":{"entity-type":"item","numeric-id":2844073,"id":"Q2844073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4bf63b3023a529573f153136f8679c5bb39f230","datavalue":{"value":{"amount":"+0.8464182019233704","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":"Q2482842$D1E810CD-1AEF-417D-A9B8-C0B6924420D8","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":"776b54073cbf70295df7a180a5b9dfc252b40d05","datavalue":{"value":{"amount":"+0.8196467161178589","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":"Q2482842$FC0BFB4B-E1C7-4AEE-A978-54BC9B1DE662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"947d3efa76f4869e1353a25924768953a39b048d","datavalue":{"value":{"entity-type":"item","numeric-id":2929866,"id":"Q2929866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeaad1be7f41383e8bc25fab2be64b5243061980","datavalue":{"value":{"amount":"+0.8077302575111389","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":"Q2482842$F00C5078-23CB-47E0-8015-D765A9F26EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07b590f7833b5b81516e443e90cbcf1844c2832e","datavalue":{"value":{"entity-type":"item","numeric-id":5703850,"id":"Q5703850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b464435627452a7ed8545d48bb70763a2ab99221","datavalue":{"value":{"amount":"+0.8056146502494812","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":"Q2482842$DEB3C155-4127-443F-9827-E008403E9332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a17f1df44ceacc83047a3b7a43e782e7aad9020","datavalue":{"value":{"entity-type":"item","numeric-id":4249179,"id":"Q4249179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c514a3efaad31a3037d2bb49926d60cc628f767a","datavalue":{"value":{"amount":"+0.7974905967712402","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":"Q2482842$B78BDCDF-D388-403E-A496-706B003DDD5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2482842","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2482842"}}}}}