{"entities":{"Q2863881":{"pageid":2874601,"ns":120,"title":"Item:Q2863881","lastrevid":51885029,"modified":"2026-01-20T11:39:50Z","type":"item","id":"Q2863881","labels":{"en":{"language":"en","value":"A category theoretic formulation for Engeler-style models of the untyped \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235745"}},"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":"Q2863881$48A4C1B0-1960-4EB0-8E8B-0A98A955EE07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8759fb479ea14b5ced32506ab796107dcf0a73d5","datavalue":{"value":"1276.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863881$0D4C32E0-3DE1-4FF3-A5F2-4D818C5A6FDC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84ce645d51675861424cd68ee78a78f79548c49a","datavalue":{"value":{"entity-type":"item","numeric-id":234589,"id":"Q234589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863881$871DDB79-FA5F-4FA1-87DE-311D37274616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d07da6141e61d14f40fca64574461dd10f1172df","datavalue":{"value":{"entity-type":"item","numeric-id":1327481,"id":"Q1327481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863881$07FA5A7A-A5C8-4399-9456-104301F3A4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"565f1e974a3c4f2a9296f8d7da6245d37c9ee773","datavalue":{"value":{"entity-type":"item","numeric-id":1584037,"id":"Q1584037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863881$E6E12E60-C192-4997-86B1-CA4B6EF80922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a13b5756dec6737434f258b1b13cddf7f76f371","datavalue":{"value":{"entity-type":"item","numeric-id":382421,"id":"Q382421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863881$26E36171-FB96-40C3-8089-07475E6118FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca10e45982d00f6c2896b6ad22ca5b5cbcf29d1d","datavalue":{"value":{"time":"+2013-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2863881$94EEF386-44B6-4947-9EF2-7E49CAF2C48A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ce9ea1f2e59b79bae408a767dbf6cddc1f30735c","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066106003999?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2863881$BB52B452-0792-4A0F-85CA-7D76E342C9E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863881$1EDDD3A2-59AD-416C-B01C-B4C8A761ADC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863881$2CC6F7CA-FACF-4D21-84A7-372B1869ABFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863881$0BEA1C82-3DCD-4368-9D01-69DE3181EB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863881$829C7B40-3AB4-4565-8551-1CDE4B6F60BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99bf6bd533bd2cc188c1d08af27ff9170b43d91b","datavalue":{"value":"6235745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863881$81849B6C-D0DC-4B0B-AB0B-36518FD6CE74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2114ec30e522fe47155bf77cc8378f62121e0a9b","datavalue":{"value":"Engeler model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863881$26CF4D99-6956-49D4-BCB2-D4A7D2EF5E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f14e2f3db707b6a727613ed85f9a51af4c8df69b","datavalue":{"value":"untyped \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863881$BFE24867-B5AC-4D6C-A764-1F078C9E6F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa1c45196cdd85ad95682c1a388584062cb0d282","datavalue":{"value":"Cartesian closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863881$383C32D9-7E6D-4695-8E51-6583A4C16201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d34c2c8da631f644c90e4c30a7170a787e873122","datavalue":{"value":"distributive law","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863881$E9507D04-05B9-4BA0-BF7F-6BFDB77FBA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cce6d341d819e09322510961aab563a2fb1bcf8","datavalue":{"value":"commutative monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863881$B2A0CA12-8978-407F-B9FB-3A61CDA3AB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7db9c96723c100ef51c61214de5b9775c402007b","datavalue":{"value":"finite multiset","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863881$20E8A293-4342-4530-913D-3B2FDA4533A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0225cb9bc395d66a749b5282eadd379bad28eee","datavalue":{"value":"finite powerset","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863881$2DB29A59-D19C-4B27-8BE6-D5019ACF6E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8efe64e304c36f6ef70fc1ad5b5b7f81a6db5834","datavalue":{"value":"Kleisli construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863881$B645AD1F-E59E-47FC-8958-4C2ADC81D410","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":"Q2863881$0807A598-C89F-4872-8218-9D1D8C76E592","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e30bf063178df486248ea89396c18e4f028691f","datavalue":{"value":{"text":"A category theoretic formulation for Engeler-style models of the untyped \\(\\lambda\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2863881$B3C91728-E68B-496D-A51B-AD73CC86ABB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"703cb4938462061c5aad9eb34f7ba168e1f8ca50","datavalue":{"value":{"entity-type":"item","numeric-id":3608420,"id":"Q3608420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73bbf4342532a434dac8c8a5d15d36737337c6ab","datavalue":{"value":{"amount":"+0.778588593006134","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":"Q2863881$8B4C4D06-7CCE-4271-A388-FC7DCEA1A324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c272fab39923236d7ca2c0f33e274cea9181ff6","datavalue":{"value":{"entity-type":"item","numeric-id":3138540,"id":"Q3138540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9cced3ead628d59dbcf62a618d03d5b0a2184b0","datavalue":{"value":{"amount":"+0.767718493938446","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":"Q2863881$D2530540-9566-4458-BB76-6CFE93A3E4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a29c8080c8398810792809b9de8d3af270a10c94","datavalue":{"value":{"entity-type":"item","numeric-id":3351348,"id":"Q3351348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54e53e4be28dd79608c5c4371388a27238fa81a9","datavalue":{"value":{"amount":"+0.7659192085266113","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":"Q2863881$00134DF4-D874-42F9-9F41-2882137E2EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12901f2112901842ef4ac0618c1401f8c4980724","datavalue":{"value":{"entity-type":"item","numeric-id":3682463,"id":"Q3682463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3863995dea1e862e48aec142ed5502ed06237d69","datavalue":{"value":{"amount":"+0.7553764581680298","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":"Q2863881$90890246-8EFB-47EF-A8D5-316F8C7420C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6036cfaf18e9c4dd09c938069b152227b730f74a","datavalue":{"value":{"entity-type":"item","numeric-id":4923379,"id":"Q4923379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a21160e007c8d7b8c593163074b4dd3ff4950273","datavalue":{"value":{"amount":"+0.7443388104438782","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":"Q2863881$EB2FE178-0433-41F3-8C15-77504C48673B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2863881","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2863881"}}}}}