{"entities":{"Q3011126":{"pageid":3021850,"ns":120,"title":"Item:Q3011126","lastrevid":79844051,"modified":"2026-05-06T14:50:17Z","type":"item","id":"Q3011126","labels":{"en":{"language":"en","value":"A proof-theoretic treatment of \\(\\lambda \\)-reduction with cut-elimination: \\(\\lambda \\)-calculus as a logic programming language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5913857"}},"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":"Q3011126$9170B781-DA3E-49CC-8BA6-E6B93EB90485","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33b86c00960b5d8f96b8107af175bfc34f326b4b","datavalue":{"value":{"text":"A proof-theoretic treatment of <i>\u03bb</i>-reduction with cut-elimination: <i>\u03bb</i>-calculus as a logic programming language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3011126$C6C37062-ECE5-463A-86A7-82975B3C413E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b91aaba78afc68f108acd0a63d92b98817aeab39","datavalue":{"value":"1223.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011126$AC85F18F-96DA-4AAD-9BA3-81993B72E6E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6a81c1dc4fd6107d655f5cdf28aa4baf06ab79e","datavalue":{"value":{"entity-type":"item","numeric-id":603903,"id":"Q603903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011126$1B990A26-BFF8-4DCD-8783-67FBA776360A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"867413887a7ccf081ae51fc77317028b78dc3415","datavalue":{"value":{"time":"+2011-06-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":"Q3011126$3BE6E8AF-37C7-4F4B-B933-853E28CFB5C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011126$EDB232FA-E6A5-4E42-9FA8-3D4D31C1D82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011126$BF500FE7-94A5-4D57-B439-E09478CE434A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011126$E0954AAB-B9E5-4FFC-8157-318D8E7F2F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011126$8A795D92-D02F-46F5-BF3C-EFCAC6032FF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e276721be573fee18d43d21fdc3cf8f0376a78d5","datavalue":{"value":"5913857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011126$3E9554B8-193D-41B2-BAA0-8F079B2BF246","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"524c6040cf9162cf054b5fd110c0af6385b219ce","datavalue":{"value":"term-sequent","type":"string"},"datatype":"string"},"type":"statement","id":"Q3011126$50225350-BD7E-4623-80E5-D08653E5EDC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3011126$983F994F-3EB3-4C1D-A3E2-0BF7CBB692A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3011126$DDD55C55-3367-4DF9-ACF4-BA435BC72688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3011126$08AC0B9C-5698-436C-A852-F042F85D0E9E","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":"Q3011126$FCE79772-A5DC-4653-BCA4-DB4B24563FF5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3d731827d5f969fd4f2c7e86d4ce5dfc2e705ee","datavalue":{"value":"https://doi.org/10.2178/jsl/1305810770","type":"string"},"datatype":"url"},"type":"statement","id":"Q3011126$6316A039-F9D2-4A7E-8200-329AE9C56305","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"100e541dd12984ccadf5cc02c34d1e0dfa4e4e16","datavalue":{"value":"W2022792384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011126$5BF89B6F-A533-417E-BFD7-14424F62F51C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffad437e017fdc15baf42ce447a323a98e8dfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4133603,"id":"Q4133603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011126$A9E339DD-625B-433B-AD93-64064E64A03D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a724201ff43afc7a9d9191ef4bbb8b92b1f8655","datavalue":{"value":{"entity-type":"item","numeric-id":1884896,"id":"Q1884896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011126$713C5E71-3E06-42EB-B5C0-9D7D9294C8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162bdd4df93f8ffd3483f8a1810ab35d50492908","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011126$8D9D7E18-1A12-4D61-9B58-0E96BF814C97","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":"Q3011126$A8A55373-CED1-467B-9328-ADDE3919119C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e12a81eacd6b45bc4b4689eee451512cadf31d","datavalue":{"value":{"entity-type":"item","numeric-id":3985547,"id":"Q3985547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011126$559D4E7F-F2A5-4D61-9DE4-F83A43EB5E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1503f29dae7b866dcfe74c37fb3ccc4700ab33d","datavalue":{"value":{"entity-type":"item","numeric-id":3817651,"id":"Q3817651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011126$AC449EF0-5CFB-4B0A-9F20-B5212F30144E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab902ddeb2f8a8f0173fabbd83857fb0e0140ce7","datavalue":{"value":{"entity-type":"item","numeric-id":3208615,"id":"Q3208615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011126$09D6A2AF-0BE5-4A7E-B935-DC076223865D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9b6c837d9448bc2b136325c331db8629ab4909","datavalue":{"value":{"entity-type":"item","numeric-id":3522248,"id":"Q3522248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011126$34831970-4118-4176-B18F-7527A0F46F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4e2416e7dc44096e0cd661353c29abae05f3591","datavalue":{"value":{"entity-type":"item","numeric-id":3066102,"id":"Q3066102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011126$085E8337-9466-4F9C-B112-FA4EF59686F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e760550b54ac937f9cea89aa1a46c0797dabd6f","datavalue":{"value":"10.2178/JSL/1305810770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011126$B4FAA83C-14A5-4BDE-9E00-E1766F454C53","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011126$BBD96B99-A5ED-48CF-8E21-D2EE01F0A19E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3561d0e518fe5c2fcbcc2fe231a74e267f2f8a46","datavalue":{"value":{"entity-type":"item","numeric-id":4982627,"id":"Q4982627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a482c2760ffe8870439fdd8f55be34ebcf892710","datavalue":{"value":{"amount":"+0.8723239302635193","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":"Q3011126$987CA492-BB3E-4CFA-919C-6AED5A6AD12F","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":"874ebe8d4a7557e443bcdd494c6bda091ee70f03","datavalue":{"value":{"amount":"+0.78914874792099","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":"Q3011126$0597A1E0-EA13-4182-8EC7-CB6FC9BD3D9D","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":"077908bfa80b077051c4ab8ae4167be01d145216","datavalue":{"value":{"amount":"+0.7837930917739868","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":"Q3011126$50DE3F4A-76B9-43FC-867C-DA14CF08907E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27da39c224984c42dd01ffb42f69f521aac50eac","datavalue":{"value":{"entity-type":"item","numeric-id":1891931,"id":"Q1891931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2d27e0d1ab1fb836c132ddc876c4a27ad55e2ee","datavalue":{"value":{"amount":"+0.7824719548225403","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":"Q3011126$1426FDE4-3786-4A5A-B551-EA2DF0D8A971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af7cc266c218bfa5f28473d3b0216ccc809b4c4a","datavalue":{"value":{"entity-type":"item","numeric-id":1349744,"id":"Q1349744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fe3e4ccccfbc4da82298796c4c5d9bda0be8441","datavalue":{"value":{"amount":"+0.7821831703186035","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":"Q3011126$A421C288-64D4-4CF7-AD07-444D81DDAC6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof-theoretic treatment of \\(\\lambda \\)-reduction with cut-elimination: \\(\\lambda \\)-calculus as a logic programming language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_proof-theoretic_treatment_of_%5C(%5Clambda_%5C)-reduction_with_cut-elimination:_%5C(%5Clambda_%5C)-calculus_as_a_logic_programming_language"}}}}}