{"entities":{"Q3745827":{"pageid":5775733,"ns":120,"title":"Item:Q3745827","lastrevid":50992889,"modified":"2026-01-16T03:06:30Z","type":"item","id":"Q3745827","labels":{"en":{"language":"en","value":"Categorical combinators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3981152"}},"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":"Q3745827$619F792B-CA2E-42BA-8200-D94AEF4250D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"675e5c7563513c50422c2cc89fc017771e5c2169","datavalue":{"value":{"text":"Categorical combinators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3745827$FB82F844-9227-4C65-91EE-A9A017AF696A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0da3fcad6532e9b4c5c441d91a904a03a728e20","datavalue":{"value":"0607.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745827$E2F76BF6-2655-45A8-A37A-74155885ED71","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3dddb9fed47ff059aa4410a894057cb3817db56c","datavalue":{"value":"10.1016/S0019-9958(86)80047-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745827$1D7BA5DB-E17F-4112-8F9C-E60564ECC07B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cb313c50586523a1a82ffb573c59952e4111e32","datavalue":{"value":{"entity-type":"item","numeric-id":418199,"id":"Q418199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3745827$47185CAE-BCB2-4894-9CB0-F40AF4E55BF2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3745827$700D355B-D785-45B6-9B0A-A467F2705AD7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3745827$4B582318-0510-403A-99EA-1695A257FDFB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745827$334E7E86-CA3E-478B-8D64-0460D975F888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745827$985B52C6-AF3A-4016-9649-6A8D726846FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745827$40DA23D4-7222-44AA-B07D-DEDD77CCB6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745827$ED107A43-3C00-461F-8A8E-B5401D595282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745827$7F77F686-72ED-44F9-B5AC-1D0E0AEC66BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96560c85ec5ebc3db54d7378069d36161822ac2b","datavalue":{"value":"3981152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745827$30B0C271-33C9-4FF0-AE14-C6E3BC3FB631","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745827$C9B77BDA-CC68-4808-86AC-93CFDE622A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e78d1e083bfd2997380d5accef0478c6d7f4bdec","datavalue":{"value":"Cartesian closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745827$4D58858F-3618-4F5F-BDE1-7009F8831725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f139f485bfbc0efef3240275c23790ec4be3d041","datavalue":{"value":"surjective pairing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745827$3EF1832E-C7AE-488C-B8F2-214F8D53B1E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21e26fd29c4396a56d36baf2fbdedadd0cf65a8e","datavalue":{"value":"categorical combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745827$E86C9031-B00C-4924-9B2F-899FD95E869E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745827$7B3DA7A1-B73B-4F35-AEFB-AB754D177DA9","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":"Q3745827$C9DE11A1-3B78-4FF6-B359-7645A5AD85E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ddcf30f8c93bfac30b2e6faf41b50929225e01b","datavalue":{"value":"https://doi.org/10.1016/s0019-9958(86)80047-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q3745827$A2E4FA6D-9879-4235-B282-E5C5254570F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5fbeba994b14bb929c09e436fac318ab7bcc2b69","datavalue":{"value":"W2912512531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745827$BE184EA1-D497-47A8-8746-FB605A968AE6","rank":"normal"}],"P1643":[{"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":"404f278664ff29cfc4700d37124042d7cad03fb2","datavalue":{"value":{"amount":"+0.9072021842002868","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":"Q3745827$97E37816-0953-4E86-9401-EC8ADB8A29F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02871bdca13c10a889d09f63b1518ab563361267","datavalue":{"value":{"entity-type":"item","numeric-id":4884898,"id":"Q4884898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cc9c1611dd86583b8e3d1050961a8043e560571","datavalue":{"value":{"amount":"+0.8555972576141357","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":"Q3745827$E588580B-9580-4AB0-99E5-EAE411895C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c943241e45854b49b5a5c170bbc096a70e68bc59","datavalue":{"value":{"entity-type":"item","numeric-id":4327834,"id":"Q4327834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cc9c1611dd86583b8e3d1050961a8043e560571","datavalue":{"value":{"amount":"+0.8555972576141357","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":"Q3745827$6554DC9E-4556-4855-AB73-EF6C4F4F26CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b921691b4d2505e7a5c5ded47c65c86ae05c09a3","datavalue":{"value":{"entity-type":"item","numeric-id":3760508,"id":"Q3760508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f6cf1f3729957f86daa0ed09fbf52513c5253a3","datavalue":{"value":{"amount":"+0.8306132555007935","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":"Q3745827$4F89F7D3-1395-4289-98CA-19156F1F18DE","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":"d4eb1a948730724878381704ecc144e46a6a8a0f","datavalue":{"value":{"amount":"+0.8292039632797241","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":"Q3745827$0EA9FDF4-FA58-46EB-B650-2E1A2C5A6FED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3745827","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3745827"}}}}}