{"entities":{"Q733755":{"pageid":735604,"ns":120,"title":"Item:Q733755","lastrevid":63928965,"modified":"2026-04-11T16:29:59Z","type":"item","id":"Q733755","labels":{"en":{"language":"en","value":"The \\(\\lambda \\)-calculus and the unity of structural proof theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5617726"}},"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":"Q733755$FFCBC203-BA04-4E3A-907B-E5EB69C5881C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a7ef3e8a69f3f229377f706afa142bc48d8b63c","datavalue":{"value":{"text":"The \\(\\lambda \\)-calculus and the unity of structural proof theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q733755$4D8E50A6-712C-4937-91B7-A88FE9FB9059","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a458184fcd57c9884688e78c02e02c141b3b3360","datavalue":{"value":"1187.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q733755$872D0BD3-C45C-4E96-9E50-76EE20FE281B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89260965fad54b888baf1a3ae5b1235a01539a4b","datavalue":{"value":{"entity-type":"item","numeric-id":631759,"id":"Q631759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733755$21D8335E-3CC3-408E-B105-0691CCE3144C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733755$C46AB9FE-891B-48BB-AEE5-A37F9BCFC9C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd476ebbd61c1948a69e599e82439aa1b933a98f","datavalue":{"value":{"time":"+2009-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q733755$9D7ADDDA-3FAB-4408-932A-16F2864605CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef115a4d42b847dada30c7560145f66048d07882","datavalue":{"value":"http://hdl.handle.net/1822/11174","type":"string"},"datatype":"url"},"type":"statement","id":"Q733755$611DB638-58FD-48B0-B76A-B4D8E97FC915","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q733755$58CE2B18-086D-47A5-B680-FCF51941EB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q733755$2863A745-2FE5-4A0B-876F-FFDC596A7E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q733755$A9E2A2CC-B5DA-423F-8FFA-9DEDC79C2A2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a415696b025f6f76b86ccd4405a8823da61a930","datavalue":{"value":"5617726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q733755$A7DCB9F9-CF61-4036-8694-B845D88D188F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"410d0b0ba76fd55f4991d8e4fe518dda310a6621","datavalue":{"value":"structural proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q733755$4CA34995-F272-403A-96CF-81AF8A1F9F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2aa903f514074dd85369c45cfddbf1af59e46abb","datavalue":{"value":"intuitionistic implicational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q733755$4EE5AD7C-656D-4A1A-B615-D22D02049D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q733755$188C0F5A-65B3-479A-AEAB-4869BD554C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q733755$14DC2216-11D9-49ED-B4EB-790687D5C103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abcb8a5b3af8770f764873d0eafebd3c934a879d","datavalue":{"value":"typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q733755$22E26B56-9FD4-43AC-9D3B-4ACF601009F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q733755$AA68C1A5-7936-4F60-B894-AE14746A3B36","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":"Q733755$F51CD1BB-0D3D-4375-9B34-46A585A237C9","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":"Q733755$CCDDFB4C-50CB-47DB-888E-2634004EDB90","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d2892c2fc5bdd3b139ec0cb0fbeb31ba42b0b9a","datavalue":{"value":"W2057240078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q733755$CD800261-7A25-45D7-B46E-38AFE8510207","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6886200fb8e4f741668d6d6a25ed1111c066542d","datavalue":{"value":{"entity-type":"item","numeric-id":4444935,"id":"Q4444935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733755$90AFDAE4-BEBB-4493-BC21-47B53C094B7A","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":"Q733755$2431ACBC-0318-47E7-987B-0A2261828677","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":"Q733755$C6925ACB-08B4-4C9C-AC97-1049F35892EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3d8c86eb700bcd7804a2c549d04d7c274011c8","datavalue":{"value":{"entity-type":"item","numeric-id":1577341,"id":"Q1577341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733755$9729D7B9-3AB9-424A-8BEC-248E87B599B5","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":"Q733755$8699A7CF-2A1E-43C8-8F48-1CF5F6B62C01","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":"Q733755$8A4D37BC-15A6-41FC-85F1-998225EF088B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69f7e07bfb614267ea873ec9a3b1b850b5ff37fb","datavalue":{"value":{"entity-type":"item","numeric-id":4428311,"id":"Q4428311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733755$6FA3C8E9-8709-4BC2-96F3-B94F55762D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b1af344aaa64537d1e2473bf97f3d1054bcd467","datavalue":{"value":{"entity-type":"item","numeric-id":3612626,"id":"Q3612626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733755$4E948001-4C51-433E-8EF2-A63C5DF3E63B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c2c29cfc2f6cf69387661eb43317351b89ab5f3","datavalue":{"value":{"entity-type":"item","numeric-id":5432340,"id":"Q5432340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733755$53757B23-8082-418B-BC01-840105701476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"451ab2903132c22776322ed387896a6ecb28feba","datavalue":{"value":{"entity-type":"item","numeric-id":5425327,"id":"Q5425327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733755$3A74CAAF-160B-4FD2-8176-ED0D4C25EEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d89389d20fe538540e0b1e610e57f3d1c827b261","datavalue":{"value":{"entity-type":"item","numeric-id":3527295,"id":"Q3527295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733755$D1E04B29-2A24-48CC-BC0C-D428865FFC31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77536089bf8aecf643e5a119c751d95bc3f79740","datavalue":{"value":{"entity-type":"item","numeric-id":4457465,"id":"Q4457465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733755$E2823C43-E46F-4F92-A74E-F6ED209FD0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733755$29A5CB0F-8E1A-495E-9BD2-BA697C3914D0","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":"Q733755$B3066AD9-BFC3-455A-8D1C-8B10BB99BC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe478b1c9e3755ecb4683bf76c070eb4413865c0","datavalue":{"value":{"entity-type":"item","numeric-id":1407578,"id":"Q1407578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733755$11B449FF-AAF5-4662-8C27-010953F6B603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733755$8769CC99-E850-46B3-9EB4-4637FF76232F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733755$01CD7749-84CF-4124-8888-201223103A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967c49333514bb16993591341675d1365fe80f48","datavalue":{"value":{"entity-type":"item","numeric-id":4397029,"id":"Q4397029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733755$6FBABA7A-442E-4EA6-A5CC-DC92553E4F49","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":"Q733755$0278A263-C776-49E7-8F20-708B5EE4783E","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":"Q733755$C40F7E14-2132-4FB6-8138-24A787CE59C5","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":"Q733755$4B0DBD95-AC90-4682-A762-8E9FF9725A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39f2adbb2e2d11ec69ce4c61e0ae7f7b45e1dd84","datavalue":{"value":{"entity-type":"item","numeric-id":1275632,"id":"Q1275632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733755$C7B950E4-CD97-4448-9A5B-6EBD88350192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75b4ae7f1eae9c5b1b3598231bbf9c4eac7731b","datavalue":{"value":{"entity-type":"item","numeric-id":1407508,"id":"Q1407508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733755$330C2BCF-26A0-4757-9B7B-BA9E612D7D95","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":"Q733755$D1D7C3C1-0631-4D8C-85B1-BF88317A8AED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4a8511451d1a9f5f203c8710070ca09d2412bc6","datavalue":{"value":"10.1007/S00224-009-9183-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q733755$F90F4D12-D3D9-41C9-80E5-AC0250C1EC47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1af1374bac7370fa0d3581501fec968a8eada2d7","datavalue":{"value":{"entity-type":"item","numeric-id":5425327,"id":"Q5425327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f06503d3eaffafcbee5f903cfee9fe0fe554a8f6","datavalue":{"value":{"amount":"+0.8407602310180664","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":"Q733755$30C2CA52-80C0-49CA-9C70-6464BED24C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8c584b5802b8d5d68b6db74e44f1611a45c23b8","datavalue":{"value":{"entity-type":"item","numeric-id":4474830,"id":"Q4474830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f5eb74d70749ffa1d64097ee04893e813e1a83c","datavalue":{"value":{"amount":"+0.8176007866859436","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":"Q733755$460D293D-7670-48C8-AA57-1522F0C5ECB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe141363dd9c7092b04d31f82a14c5ec11d3b540","datavalue":{"value":{"entity-type":"item","numeric-id":3527295,"id":"Q3527295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"719eba26d6a81c489e0d54b358879f448df23200","datavalue":{"value":{"amount":"+0.7935048341751099","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":"Q733755$3706AE46-C834-46C9-8205-C35E05B2C33D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e81a9fe63180760e6a1dd7af101b6668fad4b4b6","datavalue":{"value":{"entity-type":"item","numeric-id":4948037,"id":"Q4948037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97bfdc0a988fbb6a2b1d11b2c980338f1fa91186","datavalue":{"value":{"amount":"+0.7934263944625854","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":"Q733755$7182F5AC-7598-4AF7-A3C2-C6C6D5B9D9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a1b81257a7aaa4e24a2170324ba44970a0ba2a0","datavalue":{"value":{"entity-type":"item","numeric-id":4428311,"id":"Q4428311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8273e325f34ed98b8f9aa887f136e8e040459bc2","datavalue":{"value":{"amount":"+0.7892419099807739","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":"Q733755$69B3A409-1F65-4848-9C9C-6AB0DFBFE335","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The \\(\\lambda \\)-calculus and the unity of structural proof theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_%5C(%5Clambda_%5C)-calculus_and_the_unity_of_structural_proof_theory"}}}}}