{"entities":{"Q2228351":{"pageid":2239094,"ns":120,"title":"Item:Q2228351","lastrevid":53936921,"modified":"2026-01-25T23:17:21Z","type":"item","id":"Q2228351","labels":{"en":{"language":"en","value":"Composition of deductions within the propositions-as-types paradigm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7311775"}},"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":"Q2228351$027B5573-A6A3-4C07-97AB-687D6B5FD787","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5bd0c91c5e7d3de58cdfcbdcd4ed2aae32117ef0","datavalue":{"value":{"text":"Composition of deductions within the propositions-as-types paradigm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2228351$BAD5B63D-8A0F-40AA-9CBD-35FBB886C4EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2653fcd44a143067ddccdd5b1a6ee28a0b80447d","datavalue":{"value":"1485.03231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2228351$DA003EB7-6A75-4762-AFA8-876EF5353AB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b18913cec03ba282016e056a5c89950c1912b88a","datavalue":{"value":{"entity-type":"item","numeric-id":2148781,"id":"Q2148781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228351$8D9C2F1C-A145-44FA-880D-D6BE89BFD1FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68e3389b38900d3aaadd2d35ede086cf89c1b97f","datavalue":{"value":{"entity-type":"item","numeric-id":263103,"id":"Q263103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228351$7A3AB967-ADDA-4261-83B3-1AFD2D86C296","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"103ae1223110bc14f3808579ff7835e1b3e9dfe2","datavalue":{"value":{"time":"+2021-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2228351$B45EB103-3E1C-4F10-AC43-2A875AFE4579","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2228351$B904E326-BE76-4225-A2EF-B0A8F2CC500F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2228351$8DD6BF92-C863-4DCE-A408-82872AE21790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2228351$0D640A14-0829-4DBB-89CE-F68FD3A50743","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fd2534ec6c3ee0cc87c1cee202fd96d52e5e68c","datavalue":{"value":"7311775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2228351$D2DC7D6F-A741-4CCF-A99C-A437E0C58CB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e0dc6084a8727637d7b474e89df8dea9a8f711a","datavalue":{"value":"general proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2228351$DB083301-45BB-4729-A028-037C1FD3B872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe9b77342e0e19f83df9245a47b1c148ebcb455a","datavalue":{"value":"propositions as types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2228351$DF7CCC1B-14E1-4459-B74A-96DC691DC3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2377b88a696371844cdb9dc79202e137415d896f","datavalue":{"value":"Curry-Howard isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2228351$EE541001-BF63-4EA8-A14B-4FB911FAD64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"975d8d9696ee9d523cf4653aa09b802ae647a750","datavalue":{"value":"constructive-type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2228351$52D071F3-0695-403E-B238-0B15DC7FE2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"310c34382cf03df3dcc2bec21646c54ec1479ba0","datavalue":{"value":"categorial proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2228351$1A14F9CA-2A32-4274-88C0-E419DAB5493E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6916fe340f58b9757a3775333a547be8eda738b7","datavalue":{"value":"cut rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q2228351$77555843-F3D5-4ED2-A34B-30CD3EA1482C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6e2771b8a5decc0908135e3f31cff99b5918e2d","datavalue":{"value":"composition of deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2228351$B050F189-476C-4C51-977A-CF3671D368FF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228351$793BC0D1-AE0D-4878-9BC0-5B873BB0F3BE","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":"Q2228351$D088836E-83D8-476E-9742-480FA8C4690E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90cf29f9645d88398c86e9fd33eead72833e3d31","datavalue":{"value":"https://doi.org/10.1007/s11787-020-00260-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2228351$E9113089-D31D-4544-9C28-758A781BBBC9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a1fe59d58cfa8ec6d3bdc4768c5e3a111d50b58","datavalue":{"value":"W3082827625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2228351$890003E9-8B4F-46EF-BD9B-4D5196E9057B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228351$748E6D9F-BEC2-44EB-8FDB-B23CA2005059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58838f20fc20fe8a57fe4b0367b02befbcf07b3e","datavalue":{"value":{"entity-type":"item","numeric-id":2253180,"id":"Q2253180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228351$FEB7547C-8A43-4104-B48C-09FC07DA2DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228351$3BDED376-1A56-40FD-A2EF-7591F9657ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f6d2064bc4c7bce9673585d41e7e60dce4d06f8","datavalue":{"value":{"entity-type":"item","numeric-id":5689262,"id":"Q5689262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228351$6B093D82-3250-4B1F-9E66-32F4F4B764D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ff898ee3cc71ef89631e6f65b0badb2bf5efdad","datavalue":{"value":{"entity-type":"item","numeric-id":3153199,"id":"Q3153199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228351$72497B9F-7AC7-46CF-99E2-FBFE6728CCC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0357ad4b073a41c834ca816af85a3f84043fccec","datavalue":{"value":{"entity-type":"item","numeric-id":5213609,"id":"Q5213609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228351$AC1E9A84-F39B-4C81-A07E-6D3CA20C84B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72e41b7bb510fed1881510e32b1bdcc8f740bdd4","datavalue":{"value":{"entity-type":"item","numeric-id":5864197,"id":"Q5864197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228351$4F1C97A5-4A36-4135-8954-9F845375D1DE","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":"Q2228351$240A9CCF-5A4E-4D12-9261-F1660504F469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"380a6881518831323f255a15626e883724615dd3","datavalue":{"value":{"entity-type":"item","numeric-id":4767105,"id":"Q4767105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228351$9E24EAB7-DA96-402E-A1F0-5673528B4A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228351$C0C8F5E1-A745-4975-A793-0E87597031A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bc8dae1994f1675072ec162c7c6788e05d8d41","datavalue":{"value":{"entity-type":"item","numeric-id":4296744,"id":"Q4296744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228351$37B75961-99DB-46A5-B6CE-8351AAA6ABBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228351$66E95DFC-812F-47E6-B2E6-FE293D5DE52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228351$A2955C9C-FBA8-4EDD-A541-6821C6A1682E","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":"Q2228351$A5DDCE96-3E78-4F24-965D-3688569A038B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228351$204EEEE2-0AEA-4D5E-A399-EF7FEE0C4A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a053264e95c7cd961a0e65bd5fb6f1479283090","datavalue":{"value":{"entity-type":"item","numeric-id":2254558,"id":"Q2254558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228351$08A4C8E2-23B0-4067-A3DB-A9D377203F32","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":"Q2228351$4F8EA558-7F67-4A87-8838-BD9D59C5634A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"664629368beb74ce1b93d5ca8b0c7910f937f4b2","datavalue":{"value":{"entity-type":"item","numeric-id":1650086,"id":"Q1650086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228351$7CC41BA1-A5EF-4E8D-B158-24A1B80F1312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b49f121476c3beb5b9d0e88b7c37b584c9fc8f5c","datavalue":{"value":{"entity-type":"item","numeric-id":383070,"id":"Q383070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228351$CE1D1C56-0C98-49B9-9F03-CA4967544B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d33e928887af0bb982765db1d362caa615f098d3","datavalue":{"value":{"entity-type":"item","numeric-id":3325725,"id":"Q3325725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228351$73F1A1C7-DC76-4B0E-8CAD-7F2723B5B024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228351$CA8FA0A4-AE33-4A13-8BB9-E2E7788CA7D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ebd4ff6534362c3dbcd5ef809c26f20f9632c07","datavalue":{"value":"10.1007/S11787-020-00260-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2228351$3BDBE103-303C-4D56-BC42-5C0EF889617D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ba39988bf1ad792f4da3873882f6c2e7674202c","datavalue":{"value":{"entity-type":"item","numeric-id":382412,"id":"Q382412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a59b96b51ca3deea65123a28db72e070993443a","datavalue":{"value":{"amount":"+0.6721735000610352","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":"Q2228351$C0EFFCF0-8F99-4370-A4EB-FF11590F7ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b5d95084117e689f44f9abe4cce5e1e22f6dd9e","datavalue":{"value":{"entity-type":"item","numeric-id":5115868,"id":"Q5115868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1f71a66ab7fdc1ca52af69c9d87b7debc031e6c","datavalue":{"value":{"amount":"+0.6620736122131348","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":"Q2228351$4F5248AF-3710-41BD-80BB-5D958DADC165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcc2d6a22da579c1d4fbf32c42a0633df44845d9","datavalue":{"value":{"entity-type":"item","numeric-id":5957852,"id":"Q5957852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae52b9eb685b4acc11e64cd376fc33ef43b20706","datavalue":{"value":{"amount":"+0.6585500240325928","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":"Q2228351$045DFCD2-E328-44A6-95AB-224B5D146AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5601c9061a2615e6f96f5de2d390acd9bec9c6ec","datavalue":{"value":{"entity-type":"item","numeric-id":4918290,"id":"Q4918290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94101463150840961b11f4d952c61da3c00ab0ea","datavalue":{"value":{"amount":"+0.6577547788619995","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":"Q2228351$713B8916-911C-4105-907A-33A59E24F235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92ae07fb74213ca8660c32d4638ccb5492853216","datavalue":{"value":{"entity-type":"item","numeric-id":5691056,"id":"Q5691056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"089399141cf2ad56b79da9693e7b3043b4fd93c5","datavalue":{"value":{"amount":"+0.6408222913742065","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":"Q2228351$144C55A1-D338-4768-9C4D-25309897F01F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2228351","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2228351"}}}}}