{"entities":{"Q5057475":{"pageid":7087052,"ns":120,"title":"Item:Q5057475","lastrevid":92091767,"modified":"2026-06-05T00:50:52Z","type":"item","id":"Q5057475","labels":{"en":{"language":"en","value":"Decomposing typed lambda calculus into a couple of categorical programming languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7633585"}},"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":"Q5057475$2B186DEF-034C-460F-B5FB-0166AF9A0CB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"292cb6005d3c5e66057f69adf89f68c87a76e23a","datavalue":{"value":{"text":"Decomposing typed lambda calculus into a couple of categorical programming languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5057475$8D694B56-956F-412D-939A-6528E194AE2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3f8061c898633505491b37e0b6e02218a588a50","datavalue":{"value":"1502.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5057475$F456ABF4-C055-4330-8092-5A0864C12B25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3bc8548f095d113c46fb0c83354f70e3ecd2480a","datavalue":{"value":"10.1007/3-540-60164-3_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5057475$A3D851FC-FB70-4C05-9A91-A2FF1E2508A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8053a0e50a8d9785c9cd466338bb7b75651c1407","datavalue":{"value":{"entity-type":"item","numeric-id":1769598,"id":"Q1769598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057475$EC8933F1-84DE-477A-8D8F-0FF0B76946D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2d01887dc98fd8c4d6ade67aaf60252deb06c08b","datavalue":{"value":{"entity-type":"item","numeric-id":5057462,"id":"Q5057462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057475$335AAED0-5798-4A54-8314-14E5B4068454","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9acadd84a8b0de963ab68148d6ca934fa0ce41f5","datavalue":{"value":{"time":"+2022-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5057475$7E8FC6C5-B93F-41FA-840C-95CB3077BAB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5057475$6403B401-57F1-4B51-9A48-148B28E33118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5057475$3A9396AD-DA21-4139-B67F-693DAF4A46D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5057475$D3BCAD37-67DF-4B35-8BBF-E0548167355C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abd87d2d12ab3d031bc2ad23cc264a762c170c1d","datavalue":{"value":"7633585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5057475$8B779A14-EF04-4C7C-8744-B434E8695D90","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e9a82371ba2c5c03547d075a45ca8966c3d1d083","datavalue":{"value":"Q60019632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5057475$0D06AB9D-9642-40FD-87D1-26383C4928A5","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":"Q5057475$F90ADC31-43EF-4483-B3C5-C8507FAF5AE9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d85146443bb69046ef88413f26c7281f8805dbec","datavalue":{"value":"https://doi.org/10.1007/3-540-60164-3_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q5057475$52DB71DD-122B-4F24-9983-E494F930F043","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3fb9e48d9927c931501d993bd277a61efabe3eee","datavalue":{"value":"W1762925969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5057475$796E29DA-80D4-4C14-B827-97172907F6D4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057475$DEAC4921-8B99-4157-ACE4-4F8410464F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bbbf7faec499e3b048aa800d9ae6c142df02880","datavalue":{"value":{"entity-type":"item","numeric-id":3137150,"id":"Q3137150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057475$D3EC1300-3854-4EFC-B71A-47D2F25440A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0bc180311b57c62eeb872b6b44fa7298188cae","datavalue":{"value":{"entity-type":"item","numeric-id":1097043,"id":"Q1097043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057475$22BC3EB2-47CC-4291-A575-289A6CED4A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f80c309e64b1cfeded9c015638835fbb819eec","datavalue":{"value":{"entity-type":"item","numeric-id":1101435,"id":"Q1101435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057475$33B7853A-9928-45E3-8BC3-60476A30E737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de4c0e0e86a6d714f4891de230e432b0269c1a6c","datavalue":{"value":{"entity-type":"item","numeric-id":4882489,"id":"Q4882489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057475$840AFD19-6E19-4503-BAD4-866F3F9A3CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"194a40413ca3307ac571256f8d43587a3148fbc2","datavalue":{"value":{"entity-type":"item","numeric-id":4882487,"id":"Q4882487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057475$9847C498-8D6D-44FC-BB94-A2ECBA189D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0736bbf56297de80713599a0a21699517af4ba0","datavalue":{"value":{"entity-type":"item","numeric-id":3138540,"id":"Q3138540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057475$23871CB9-8F72-4073-9BF0-B804A5A3D714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6857575c7c1c62706f5a0db8bfe5d0f1b7fef7f","datavalue":{"value":{"entity-type":"item","numeric-id":4853312,"id":"Q4853312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057475$53FBD5F9-BBE9-40C5-BDE9-E71A67E07858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb0cef3710adbd86fd4521d1c8531cd34e84dd13","datavalue":{"value":{"entity-type":"item","numeric-id":1105351,"id":"Q1105351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057475$15220A6B-CBC4-46F9-AAC4-FCB4E162D5F2","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":"Q5057475$47F537D3-82D2-4011-A752-D801CD783B07","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":"Q5057475$5C01447C-F65C-464F-AE68-708C69E1C864","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d68d87303baffeab10958cfab58456627166690","datavalue":{"value":{"entity-type":"item","numeric-id":685425,"id":"Q685425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1e2f8fdbecb3db5e5a0e274cb2e3cf899aa3c0e","datavalue":{"value":{"amount":"+0.7895869016647339","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":"Q5057475$064C9D4B-A28A-43BC-8FD3-43C90985DC82","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":"b087bf9e54a658ea91bdc55ed3f736f5dc483ac9","datavalue":{"value":{"amount":"+0.7864958643913269","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":"Q5057475$2673A903-296C-446C-9A94-5E2C03701D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a64f9fd6f1e5409551a26ee49cd56f091134dfb","datavalue":{"value":{"entity-type":"item","numeric-id":3714050,"id":"Q3714050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb9db229d4f95027eb1ca36685cc4dd246a97dc3","datavalue":{"value":{"amount":"+0.7764201760292053","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":"Q5057475$453B2AA2-C877-4AAF-8CEB-B4787DB9081F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a715d38b9608064b19a7f411bef7ba6321fa368","datavalue":{"value":{"entity-type":"item","numeric-id":3784044,"id":"Q3784044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21dd359186734cefb3f5d1179eed8663457e6038","datavalue":{"value":{"amount":"+0.7623706459999084","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":"Q5057475$7EB8251C-DA3D-41DC-8673-22CEFD2F7628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd61c7dca6f04275027a1d1efbc76ff2ff8e33fe","datavalue":{"value":{"entity-type":"item","numeric-id":3714049,"id":"Q3714049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f71c93285f2ae22bfb48886dfd4df670db83944","datavalue":{"value":{"amount":"+0.7570252418518066","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":"Q5057475$5987AF6C-9E88-4DD7-A98D-6CEAF3D5D435","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decomposing typed lambda calculus into a couple of categorical programming languages","badges":[]}}}}}