{"entities":{"Q2985794":{"pageid":2996519,"ns":120,"title":"Item:Q2985794","lastrevid":58088415,"modified":"2026-04-03T18:25:05Z","type":"item","id":"Q2985794","labels":{"en":{"language":"en","value":"The best of both worlds: linear functional programming without compromise"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6713923"}},"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":"Q2985794$94A5EF83-ED93-4625-8A5F-E733BF707800","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e93dc5b0c865397d2234d3be4470a51a09036e7","datavalue":{"value":{"text":"The best of both worlds: linear functional programming without compromise","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2985794$F05B57E6-0508-4E52-A9AD-A78806AE58C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dfbe614e90ab0f63ddc25a2e9627b9744ecda245","datavalue":{"value":"1360.68336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985794$BB480E8F-4442-40AC-9827-949682E0D0B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"663bab94d68fd5fbe95284529ddcdecd5b0dccb9","datavalue":{"value":"10.1145/2951913.2951925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985794$C2E78A59-791E-4D1D-BC51-EF2B78F70563","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0b97ffa7e66068c2ee34b651733cf0607f665a1","datavalue":{"value":{"entity-type":"item","numeric-id":2802454,"id":"Q2802454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985794$425CA0D5-F2F8-4E06-8833-D6B8B0F0E008","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"423c52aacdf5e1820397bb95b30ee85c088ba9ab","datavalue":{"value":{"entity-type":"item","numeric-id":2981996,"id":"Q2981996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985794$7D8E7770-4D5F-4085-92CF-3DE5ADB96B4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81927d6a17a89da4e5bba03bf491f09d50a9b6e5","datavalue":{"value":{"time":"+2017-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2985794$DD26B872-FAAB-4E1B-ACF7-3E74383E0C16","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9eba267d075a57d73d10a0c68b1bca1a763dfcac","datavalue":{"value":"https://arxiv.org/abs/1612.06633","type":"string"},"datatype":"url"},"type":"statement","id":"Q2985794$1F43619C-5FBE-4942-AAE7-1F6FA0F81B0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985794$705050D3-6215-468C-B89C-D2D828F66F1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2aaf15f1f976bb9073d9176b5bad1b1e91bff0f","datavalue":{"value":"6713923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985794$17613179-1D48-4BDC-94B7-E15D6D6FA74A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41e1274f9a42ee56b39863d4c156892237de6700","datavalue":{"value":"linear types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985794$8A0F40B5-EADA-49DA-AF0B-00ED313CFFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba71a6cf246e70cfeb08f640c3f77fa519b71c08","datavalue":{"value":"qualified types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985794$24EC5F91-6522-44CC-9657-3E5222D2E706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"614b2f7e8bcb4ba2c7b94c4d425a91dcb4317837","datavalue":{"value":"substructural types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985794$93288789-768C-45B3-A121-9563227A03C5","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":"Q2985794$FD0C9E79-30F4-4562-B660-FCAB23610341","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a411c6b5fd690729bdb4fd1dbd62a19ad2d2f7ed","datavalue":{"value":"W2510433231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985794$35B60FAC-A454-4224-AC26-9BE0781C4329","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d9780eae0a34f2bf652daa583b96cc2f0a8ae73","datavalue":{"value":{"entity-type":"item","numeric-id":3644752,"id":"Q3644752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ae564f5c261dafc9e9313861cd0534bc1abbc8c","datavalue":{"value":{"amount":"+0.7464689612388611","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":"Q2985794$57046564-0654-4CC1-B52F-6ACAFB2BC621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8d9c0e8cdff5fe9a673a1a383b99b0b6c7962ae","datavalue":{"value":{"entity-type":"item","numeric-id":5178008,"id":"Q5178008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbb81c3cff044146d850d46dc5465d7a52fe536a","datavalue":{"value":{"amount":"+0.7417957782745361","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":"Q2985794$B82A8747-CF2F-46E0-A28B-6C275D2C5708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b845e1421d1a6da4c228aeed894167147b87e582","datavalue":{"value":{"entity-type":"item","numeric-id":2712583,"id":"Q2712583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0226bd79302a45e0a7a5f06a0857e178ad933a9a","datavalue":{"value":{"amount":"+0.7406397461891174","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":"Q2985794$CA9AED25-98B8-4C93-A0BA-77533DFDE675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1c312afb58db3e4587934add2849e1edc4f215a","datavalue":{"value":{"entity-type":"item","numeric-id":4218937,"id":"Q4218937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0226bd79302a45e0a7a5f06a0857e178ad933a9a","datavalue":{"value":{"amount":"+0.7406397461891174","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":"Q2985794$CE2CB23B-0C96-4BD3-B9C8-DC83741185DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24038ea68fd5d99a595393d7e5350ce065a3561d","datavalue":{"value":{"entity-type":"item","numeric-id":4764609,"id":"Q4764609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43e1721fbbf9686a6bb9c8bacb35cc2e3f1d221d","datavalue":{"value":{"amount":"+0.7370134592056274","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":"Q2985794$E4820245-0998-4F65-B04D-9098CA50F623","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2985794","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2985794"}}}}}