{"entities":{"Q3721820":{"pageid":5751726,"ns":120,"title":"Item:Q3721820","lastrevid":50692511,"modified":"2026-01-14T20:06:00Z","type":"item","id":"Q3721820","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3952011"}},"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":"Q3721820$8376E172-5472-4F3F-9BB1-4F628A95AFD1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"429d42010fad8efd21f09d28631d27e990dbb8ea","datavalue":{"value":"0592.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721820$A749A414-A565-4837-8EC6-09DC60D052AD","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":"Q3721820$4FE9953D-CE3E-4F04-9088-2357B4A66CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fe46baa1c49a39eba57b78767f5c209e948bf9b","datavalue":{"value":{"entity-type":"item","numeric-id":1151015,"id":"Q1151015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3721820$519DB13D-EC2A-4032-8B61-FC18DD3A23A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d146253b50ea098810c32fefd75002fefee80627","datavalue":{"value":{"entity-type":"item","numeric-id":2151280,"id":"Q2151280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3721820$EEAB3DC2-E233-4D31-9965-680F5A6BA4CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3721820$F7180E1E-B68A-474B-B755-95C1237B925D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721820$EB74E28D-98CA-476D-BD5E-499FAA7E3B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721820$9D9DA944-4D07-418B-8D60-A256A9C30F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721820$63C6F4F4-C4F0-4388-A06D-08D668707945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721820$49CBD545-5A3C-4634-8D1F-1F67825908E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721820$47478F1B-9943-40FF-BE3A-E1011E5EA83F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f0ce0921dc9667efc9b57ef34764b250884db71","datavalue":{"value":"3952011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721820$48CD823A-A3AD-4CAD-96C0-49CF1192A687","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41fac3d3fb1aa7dcd4a705651894160df9116658","datavalue":{"value":"implementation of functional programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721820$22432A68-86AD-4EFD-8BEB-85718C11EE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d16d9cd0eccb867bbb77a18235d0c010294df95","datavalue":{"value":"lambda","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721820$344D08A4-E182-4FC5-868B-7325F570D2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db6d957d91ef03efb279b574e0523c3609dd7cde","datavalue":{"value":"calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721820$42F59DFF-3B4E-4016-B073-89DADB981141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21e26fd29c4396a56d36baf2fbdedadd0cf65a8e","datavalue":{"value":"categorical combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721820$CF4DE7DE-03A1-46B9-9552-3D4C8125A646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"901c6d511d35303a6a968c1174234f4350020c8b","datavalue":{"value":"compiler","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721820$78D83B48-6DE5-4785-96CD-2A9CA2032BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e78d1e083bfd2997380d5accef0478c6d7f4bdec","datavalue":{"value":"Cartesian closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721820$C8EA736B-47DA-438F-BE37-86DCD50B648E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17f9e34df51840f2981bcb86413dccaa11a1a6b4","datavalue":{"value":"SECD machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721820$21793337-B1AF-4723-A7CA-94AD01565012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9029dfabccb1d57828f438bf7769dfc6a78068ae","datavalue":{"value":"SK-reduction machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721820$41D4CC7C-07F6-4514-8760-AF4ABF66B86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9247578e9ed3f7eb1c91418af0599c592a92727d","datavalue":{"value":"ML","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721820$A7D0E908-6817-404D-8659-D284F45AE153","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":"Q3721820$B175ED39-60FD-412B-9CEA-E2A8CDA820FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"901601425e6a873e87c732891c24a30a1c03b196","datavalue":{"value":{"entity-type":"item","numeric-id":4763978,"id":"Q4763978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a7021c45386d2a53c203b67e9deb698ca8f95d8","datavalue":{"value":{"amount":"+0.8637914657592773","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":"Q3721820$CB438D2F-6796-4840-A9E3-72A805D2C073","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":"7a7021c45386d2a53c203b67e9deb698ca8f95d8","datavalue":{"value":{"amount":"+0.8637914657592773","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":"Q3721820$5DFCDC68-E38E-4EC1-ACAC-8F861477F634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"821d4caec5608df4d9c3b134be10e8dfa7385f46","datavalue":{"value":{"entity-type":"item","numeric-id":1097043,"id":"Q1097043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bce51dabafebfe595793365eadf71b4f3996deef","datavalue":{"value":{"amount":"+0.8627383708953857","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":"Q3721820$BABBDD15-BFAD-40E5-84D3-125A73FE18C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daeb79aa0e1d1f8fcc034c5bd741470fdee51410","datavalue":{"value":{"entity-type":"item","numeric-id":3805878,"id":"Q3805878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8879c36fc22dc93e1126648ee9dc9c752c110d92","datavalue":{"value":{"amount":"+0.8567177653312683","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":"Q3721820$48947D77-D005-48DA-99FA-DFE26A0C8B77","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":"94496c6dea7527fec81f4ab459f92c34562f9bb0","datavalue":{"value":{"amount":"+0.8481170535087585","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":"Q3721820$EBDC6141-8DF2-44EB-9892-77EF66493FEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3721820","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3721820"}}}}}