{"entities":{"Q5370871":{"pageid":7400445,"ns":120,"title":"Item:Q5370871","lastrevid":52933688,"modified":"2026-01-23T20:33:25Z","type":"item","id":"Q5370871","labels":{"en":{"language":"en","value":"Contract-based resource verification for higher-order functions with memoization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6794662"}},"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":"Q5370871$D69B362A-5F42-4125-804C-ADCD6F80DE11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7fd3bbce3fabf1225a89ba50f8035c6d75cc956a","datavalue":{"value":{"text":"Contract-based resource verification for higher-order functions with memoization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5370871$9E772325-04B0-42B0-87CD-8D26F7BEF6A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d79ccfe5f4ecf736dbc6b7a1cb5bb3812197b144","datavalue":{"value":"1380.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370871$6764A16F-A5A0-43F1-84B9-E45DDA0823DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92ee50598c2b385a0ae3264648253733cddadaf8","datavalue":{"value":"10.1145/3009837.3009874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370871$6708029F-4BBF-427A-AE68-2840AE42433D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d05b3bb5ae3375268dc907adb432e441dd20994","datavalue":{"value":{"entity-type":"item","numeric-id":5370870,"id":"Q5370870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370871$ABF61D85-66BA-40E4-8A39-4B7B4EFA6B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90e86e0413bb4a5005e2255b4afa3c6cabf90b34","datavalue":{"value":{"entity-type":"item","numeric-id":2050106,"id":"Q2050106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370871$11C8ED1F-592B-4C76-8EAB-4E9A5D0647B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c4a981688ce96064434c07429a9f8191c6df21c","datavalue":{"value":{"entity-type":"item","numeric-id":746766,"id":"Q746766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370871$D09C1857-8016-4AB5-8D75-C59ABF4F0D77","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2300a4bb532724f6695014ad32dc9335c9fdde3","datavalue":{"value":{"entity-type":"item","numeric-id":5370840,"id":"Q5370840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370871$745E6227-3AB4-45E5-9E51-9D5EA89A7FCB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c23b22abb6cd47509eac4c3e5d58b13717e9ea4","datavalue":{"value":{"time":"+2017-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5370871$37AF622C-B5C8-40B0-B79F-14E587451B21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370871$9FF67C3F-2463-4419-9E63-3A4ADB4BCCBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370871$F0B9923B-CE8A-4AF0-AB5A-16657C5C044B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370871$5A12CAA4-409F-4CE3-BDF7-A9424E33DBA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4002d923bfe5874ad9a7a11d11ab5d92b243c9a5","datavalue":{"value":"6794662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370871$CE78AA2D-8E70-4CC3-8145-AA0AF1D9EC1C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370871$53A20C95-1A83-46F3-B5B3-42C1B4842959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d82cfa81638332a8c825bcbbd9d7f7f9c0c45be","datavalue":{"value":"dynamic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370871$89036E45-7055-49B3-A4A9-DA6AAA2CBCFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b21d58c4afcd9e47493de8b658e7b2c4c12cdcf1","datavalue":{"value":"lazy evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370871$244D1C0F-6565-4EA0-84C3-ADF9D60C2732","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":"Q5370871$9F9D169A-981F-448E-9F13-F7791D7CF8BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"88ecb57ee068fca9e7dd08e72b7ed9584d63aaec","datavalue":{"value":"https://doi.org/10.1145/3009837.3009874","type":"string"},"datatype":"url"},"type":"statement","id":"Q5370871$6885C13F-0B18-4909-B8C2-8B8F6D669052","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"704ff5cde80d9f3e488e2e2a9ab8d825efa6705d","datavalue":{"value":"W2565399133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370871$ADD0B40B-ED9A-4E94-809D-E34F91D7BAB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be3c2dc0c3aec795bd8db563e2af25af22b3ea3d","datavalue":{"value":{"entity-type":"item","numeric-id":5168911,"id":"Q5168911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d0684efc9d66ad30009b7b73f7912e064b09fff","datavalue":{"value":{"amount":"+0.7162354588508606","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":"Q5370871$15AE683E-3779-40AC-8EBC-59EEA73A974D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e61f5e769a3370191dff8520a9efc79de1d22c7","datavalue":{"value":{"entity-type":"item","numeric-id":5255076,"id":"Q5255076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c040c85b42630acd911017b9aa2cc88c906c794","datavalue":{"value":{"amount":"+0.7100642919540405","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":"Q5370871$C0792F23-B5F0-4B1D-87AD-99B2F557BB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43df076a7c55fbb62787470ef32a150adeb02c83","datavalue":{"value":{"entity-type":"item","numeric-id":5311262,"id":"Q5311262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68ae7be37e6bc559602d081d7e1f5eb46395dd1b","datavalue":{"value":{"amount":"+0.696460485458374","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":"Q5370871$68D1863E-4497-4402-AC5A-B7A2C99A1DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"420aca7cf2be3d53678c5d760369ab1760342dca","datavalue":{"value":{"entity-type":"item","numeric-id":1791205,"id":"Q1791205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af663fb38c5cade72dee5e1a12007c29fb2eafc4","datavalue":{"value":{"amount":"+0.696150541305542","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":"Q5370871$C6200899-C196-4C56-B107-E33A95F9E34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c968463b51da458432038916243b9383e5b69420","datavalue":{"value":{"entity-type":"item","numeric-id":5370874,"id":"Q5370874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63a91f4d812649c532067fe4540e084f20bfa47a","datavalue":{"value":{"amount":"+0.6911981701850891","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":"Q5370871$0F8AD26C-B464-4CC4-9B91-CFBAA71286F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5370871","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5370871"}}}}}