{"entities":{"Q2374314":{"pageid":2385057,"ns":120,"title":"Item:Q2374314","lastrevid":57884277,"modified":"2026-04-02T22:53:55Z","type":"item","id":"Q2374314","labels":{"en":{"language":"en","value":"Towards patterns for heaps and imperative lambdas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6663649"}},"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":"Q2374314$A6300C6A-CD63-411D-8B97-897958A351BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0f558c9b6b7eaa2b58969bf821a941c7f7f2e41","datavalue":{"value":{"text":"Towards patterns for heaps and imperative lambdas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2374314$B185C62C-B972-430E-BD50-4F718CC92E71","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55a7a3d587b7f9583d99a932945c8f6b29158c58","datavalue":{"value":"1355.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374314$59C3B153-C791-4141-A652-4268C6901A55","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d8da218c5940996bf861c74f5da30c7db0689b4","datavalue":{"value":{"entity-type":"item","numeric-id":210001,"id":"Q210001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374314$F8440F57-20CE-404B-BBF4-11F5C5BAD3D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374314$2D429ED1-851F-44C1-9C86-74E14F9A136A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3d1669fd63345cf64b2617c12ed41ffb07d8520","datavalue":{"value":{"time":"+2016-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2374314$FED4B6FB-24C0-4426-B3B0-7ED0B70F0DE8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d67e9d87a99202268758b9ad7735fd31bc0b7734","datavalue":{"value":"https://arxiv.org/abs/1510.05527","type":"string"},"datatype":"url"},"type":"statement","id":"Q2374314$6908034C-B89E-4315-BD63-46AC1A9BE927","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374314$46CE9268-BD32-4EE7-92F7-0CC7847DC33D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91fb01c4489b99fe2927c510d2bb0bc373f68aad","datavalue":{"value":"6663649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374314$B08005E3-AAE4-4EB3-B5B8-E3DA065CCB05","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7ee2575b4b00dc5c48fe05a1a87740d06a1036d4","datavalue":{"value":{"entity-type":"item","numeric-id":21498,"id":"Q21498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374314$16D5FC8B-5286-4BB3-BE9C-B3F89C59996F","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":"Q2374314$5B13BE7B-4A7B-481D-975D-BA281944A4D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"116690a35b879dee24b059d365e4f52dfa03cfea","datavalue":{"value":"W3099310186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374314$F0EEC115-059A-421E-B13F-7C6D9BC37891","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46319975d5f428b28cf95457785c347fec2d0df","datavalue":{"value":{"entity-type":"item","numeric-id":5494381,"id":"Q5494381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374314$72D79B59-F144-4FD8-BBC8-D9C0BA770978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825ab4c172520052e5230110b703709aa8296785","datavalue":{"value":{"entity-type":"item","numeric-id":4885873,"id":"Q4885873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374314$3E929100-18E8-43C7-A253-E464AB12E6A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a003e220a607650083ae34d9089140d42d02d540","datavalue":{"value":{"entity-type":"item","numeric-id":3546287,"id":"Q3546287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374314$0835BDC0-7E00-4B22-B168-66972F11A888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4027aa193b5a9bb266a920950c3c2c12f94ced0","datavalue":{"value":{"entity-type":"item","numeric-id":5395716,"id":"Q5395716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374314$4D1713D2-930D-41E9-ABE9-16707B90BD26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374314$D570355A-7F3D-4833-8E00-B07637640157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"435e434a271407ac1b357d8084b3e3c823f1b63c","datavalue":{"value":{"entity-type":"item","numeric-id":2347905,"id":"Q2347905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374314$64DCBF38-10B9-4C72-8998-C0D913D61011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2efe631542fb9631184c7a18468301c2629df9a7","datavalue":{"value":{"entity-type":"item","numeric-id":2767187,"id":"Q2767187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374314$FF40E700-D910-408F-AEBA-19FCEE39E89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374314$FCAC97F3-CCAA-4E26-AB90-D99103643849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d5f2bf84f29b7e182cc99915fb6781a55f47a74","datavalue":{"value":{"entity-type":"item","numeric-id":1330446,"id":"Q1330446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374314$F084A71C-4ED8-4596-B8A5-2A1D408CF56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d0c87a102dfbb72d08dbbff01d1e3e0d27dec5","datavalue":{"value":{"entity-type":"item","numeric-id":4288818,"id":"Q4288818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374314$B0152051-AAED-45A4-A878-89DC0701775A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c52ec8d7a769fecbeb6e9eb7e9cf0c37315768","datavalue":{"value":{"entity-type":"item","numeric-id":4500365,"id":"Q4500365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374314$89A3DE01-371B-4BD8-B150-439323CCB994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01654c932fc5984587ebb1baaf8331bdd90064e3","datavalue":{"value":{"entity-type":"item","numeric-id":4808691,"id":"Q4808691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374314$9C5C46FA-35F1-4048-A83A-81A357EBF307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b9219fe1e3a018622ee9f502a17458425bf947","datavalue":{"value":{"entity-type":"item","numeric-id":5410474,"id":"Q5410474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374314$2624C584-A9B6-4CD0-A1B5-CF35420296D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9f4cfc13b97d7920be72c02cfaab36842c6c847","datavalue":{"value":{"entity-type":"item","numeric-id":3585025,"id":"Q3585025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374314$F6D7FD8F-29CA-44D1-B32F-452A5FC3B75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3e8d33ae9d602d2f1eaec1be89220e3de18658","datavalue":{"value":{"entity-type":"item","numeric-id":870278,"id":"Q870278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374314$67F0AA2C-F039-4131-9C4B-FE3A1CB81B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb7673265fee00e00cba5dd593a3c34bf3f60eb","datavalue":{"value":{"entity-type":"item","numeric-id":4006227,"id":"Q4006227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374314$061FD723-A037-4044-84A5-FF0C05689127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374314$1EBE349C-39BA-47EA-BE02-290B0F8D3A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77d3ff4092dbc381ac30990de4be797826f44fc2","datavalue":{"value":{"entity-type":"item","numeric-id":938301,"id":"Q938301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374314$CBDD1DE5-8FB2-4C67-8633-B8F51226E536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf67f420c1567da428ea7dc93141dc92b8fdb133","datavalue":{"value":{"entity-type":"item","numeric-id":4236215,"id":"Q4236215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374314$7AFF7F3C-E7DC-4CB5-A138-73F5752DDC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49fa5b39ffa40b318449c3af5a336d8c38885f30","datavalue":{"value":{"entity-type":"item","numeric-id":3546051,"id":"Q3546051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374314$9AAA9E1D-C15B-4A33-A6EE-59D2526A7597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f700a75ce07071ada4e1d187b51eb2723a50613","datavalue":{"value":{"entity-type":"item","numeric-id":5191091,"id":"Q5191091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374314$F5E8CB91-B124-4A60-9512-4AD1BA14623F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84979aedf539e7623f81a71b37f7bf327dc2f0d3","datavalue":{"value":"10.1016/J.JLAMP.2015.10.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374314$01855C24-2177-428B-8B0B-2FD846718069","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"073d1908bfb2babd288581b2a25ad70ddf71b006","datavalue":{"value":{"entity-type":"item","numeric-id":2767187,"id":"Q2767187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2004562df4db6f75e95cbeda9a31176b1de2b7f5","datavalue":{"value":{"amount":"+0.7449255585670471","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":"Q2374314$E2ABC1AB-335A-40EC-8DCC-31D223756656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c63ca77310a76f4cf1ef81a03ce271dfd85b20df","datavalue":{"value":{"entity-type":"item","numeric-id":604455,"id":"Q604455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec09701fe9f4473ebae398db7eedc1e265d024c2","datavalue":{"value":{"amount":"+0.7343472838401794","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":"Q2374314$4091030A-AD77-418A-83AB-9D9CC5460021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6596de7b41746be289370683837c955a55249c21","datavalue":{"value":{"entity-type":"item","numeric-id":5308027,"id":"Q5308027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0321ee27ef00287b63ef94198842b4800f94db7a","datavalue":{"value":{"amount":"+0.7071225643157959","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":"Q2374314$3CD46D84-766B-44C5-9D08-70D6E3553BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11ce6125791befa97143867ac435032db5bdbe05","datavalue":{"value":{"entity-type":"item","numeric-id":3618827,"id":"Q3618827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08afc3afbf507d51dbc146462fb8100913342bcc","datavalue":{"value":{"amount":"+0.705106794834137","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":"Q2374314$025796D4-128C-41EF-9AB2-A757E546FA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48cf5138ed6d167d90e9a1bad25e4a636e33e997","datavalue":{"value":{"entity-type":"item","numeric-id":930865,"id":"Q930865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c97d7b89ced968c782e325cbf38dd9f256a9dee2","datavalue":{"value":{"amount":"+0.6980671286582947","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":"Q2374314$8F36680E-A372-49E5-BD4F-FD7E661714FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2374314","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2374314"}}}}}