{"entities":{"Q5101922":{"pageid":7131498,"ns":120,"title":"Item:Q5101922","lastrevid":100240769,"modified":"2026-06-05T21:40:53Z","type":"item","id":"Q5101922","labels":{"en":{"language":"en","value":"Denotational semantics as a foundation for cost recurrence extraction for functional languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7581651"}},"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":"Q5101922$A8801601-04C0-479B-87EE-6F73FB6EB570","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6e833072b1ac49b35f7008c7af8f50e8371ba27","datavalue":{"value":{"text":"Denotational semantics as a foundation for cost recurrence extraction for functional languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5101922$4A656781-5E16-427C-8143-14235B21CE23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"993ecca3027bada62d6f63d8b470ddc984921a22","datavalue":{"value":"10.1017/S095679682200003X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101922$8C654B5A-5E61-4FF3-ABFD-A0DE0B707DDF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c71f6ed85bc4d38ece8ef6a8ea519d6704436127","datavalue":{"value":{"entity-type":"item","numeric-id":733752,"id":"Q733752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$D17AB7D0-00F2-4227-96A6-4692317C711B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca9b760f000d29c53be76803a4c9934e343535f2","datavalue":{"value":{"entity-type":"item","numeric-id":2819683,"id":"Q2819683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$B60E17F1-1A30-42F5-AA94-9DF53F00B95C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$CC37EE3A-77F9-42E7-A481-405C3B9FE342","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5bf712b58fc164eb327d9aa5f91fbd65bdc7c5d2","datavalue":{"value":{"time":"+2022-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5101922$238CC627-EF0A-4C1E-86AB-CF70BC4F2C3B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7bee6e4f19f0b62cd54fc6cc32c2c69d769f7873","datavalue":{"value":"https://arxiv.org/abs/2002.07262","type":"string"},"datatype":"url"},"type":"statement","id":"Q5101922$CE3AC121-7823-4746-8153-B8EEFB19518A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101922$89159C30-44EF-4336-9A71-540B4FE743D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9c2b240567d8022227288f504c437c9aa870c98","datavalue":{"value":"7581651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101922$986FE8EC-DE02-4E41-B65F-5DAAFCE3485A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"09c5df2f79cd65e7141b8896d9eb5fe67de7922f","datavalue":{"value":{"entity-type":"item","numeric-id":34466,"id":"Q34466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$8EB15BF4-CD94-4689-BD10-CA7955EDE05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"68e5df8c3dae7752bf7f3ad5b01ba30abc445cad","datavalue":{"value":{"entity-type":"item","numeric-id":39280,"id":"Q39280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$B0E3F736-30B4-42D2-B6F8-C569C0065D2B","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":"Q5101922$F2D076E2-1276-46F6-9BE1-B430AC863E82","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$C04375C3-3DEA-46E1-8940-A5D2643730B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$EBC3A8FA-C904-48A5-8C54-95E797AF6765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"104f60c84cb2360398187eed5e1dd228a199a063","datavalue":{"value":{"entity-type":"item","numeric-id":764297,"id":"Q764297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$2EEF1DE4-9091-4577-8EA0-105F016B885E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98322f61c6603b6f336d02b9f0b16a8198403913","datavalue":{"value":{"entity-type":"item","numeric-id":4617976,"id":"Q4617976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$D0B4F7E7-FF0C-4AC9-875D-A1D6212FD9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b64c0f6c86d151f61383ea03d9b987d31df98c45","datavalue":{"value":{"entity-type":"item","numeric-id":2946710,"id":"Q2946710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$C6F645FD-3A88-4098-938D-72695A77A1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d421837d95e47324e8a9568fc6a54da33df7097","datavalue":{"value":{"entity-type":"item","numeric-id":3558217,"id":"Q3558217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$1D74AF6D-E42A-4DCC-8256-94C847BCED44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8540fe0517f2d5cf0be7b1905c72108509166024","datavalue":{"value":{"entity-type":"item","numeric-id":2981952,"id":"Q2981952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$F18A5F82-4C35-4145-ADFD-D2EBB3E6865E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f32365b7a322b24cf5d5cb10fef31efa05053a","datavalue":{"value":{"entity-type":"item","numeric-id":4162630,"id":"Q4162630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$9412E7C5-D549-4EAB-A2BB-C41D5565CBA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"906fa5413b47a98c6e1b580cf1856aaa58f10623","datavalue":{"value":{"entity-type":"item","numeric-id":1827392,"id":"Q1827392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$E99C19C3-8D17-4F58-9883-5BABD9C192B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d3375fe95d64eb1965b010106ac93d2982d639c","datavalue":{"value":{"entity-type":"item","numeric-id":751294,"id":"Q751294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$B9D6AF0D-D3D1-45E7-8C36-F4D2C2982D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"261dd7ed956d9cd3ba294f6119c26bc447dc0902","datavalue":{"value":{"entity-type":"item","numeric-id":5370869,"id":"Q5370869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$3290C4DF-23F3-4823-B417-1550D6BDC2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94ee7b1670b832d84e63f3575192ff8a645b95bb","datavalue":{"value":{"entity-type":"item","numeric-id":670699,"id":"Q670699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$1A645002-7F19-4F4B-8A9C-5F61BBFA791B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a22b0afd4ce265be68ff62e4ccc2dd23c6477af","datavalue":{"value":{"entity-type":"item","numeric-id":4766011,"id":"Q4766011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$2972D6C1-7F70-4EC8-9C22-CCFB2ABF1F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a708f98730dce4f0fa1000a40f28c79f3cf7c27","datavalue":{"value":{"entity-type":"item","numeric-id":5178852,"id":"Q5178852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$9AD8BE9C-7809-4CD2-AF64-C6DEF4F73955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85694606be4006c9cd1a11cd23a0af7bbcc9dc4c","datavalue":{"value":{"entity-type":"item","numeric-id":4899111,"id":"Q4899111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$A7473BCD-D3DF-47E5-9861-4D15F9906E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5da7bf26c66930ba336424cdfda93a39541c47d3","datavalue":{"value":{"entity-type":"item","numeric-id":3189833,"id":"Q3189833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$441B4635-AC2F-4E66-A675-662BEF0D4A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f6495473a185f83f33187673a86fff4297b57b3","datavalue":{"value":{"entity-type":"item","numeric-id":2981951,"id":"Q2981951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$5B502A4E-6D60-4DCF-AFFD-0D4C807DC09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"196195d838b611f16b249cf65298666367dc0945","datavalue":{"value":{"entity-type":"item","numeric-id":5310685,"id":"Q5310685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$9EE99C14-19DA-41B4-83AE-8D71E68D6A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$ABE924D9-F434-4D07-8329-1DCA470CD01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c4705c1a1dbbeda65dc6054f1199f66dee63e93","datavalue":{"value":{"entity-type":"item","numeric-id":2945524,"id":"Q2945524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$521136A4-9C3E-4B2A-9380-293BE3E3444E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c793fa2d4ededf3f0fe9055c269eb315e9737a0b","datavalue":{"value":{"entity-type":"item","numeric-id":2323994,"id":"Q2323994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$D395653C-AA6F-4C67-B204-7BEDB1531690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f787411cd150ae479aad18d1dd19610e066110a","datavalue":{"value":{"entity-type":"item","numeric-id":5408556,"id":"Q5408556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$7EF19F8E-5BCA-4A81-B478-9532781FFB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48fc6eb76d008c38f8d5f3864b312ce3bca80654","datavalue":{"value":{"entity-type":"item","numeric-id":5370874,"id":"Q5370874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$9F079959-B92F-4804-A9CB-EF6808ECC37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3d475b104702fe45fd57bd1344fb23caa384940","datavalue":{"value":{"entity-type":"item","numeric-id":3558228,"id":"Q3558228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$AB1E86A5-CB2F-4986-BC6E-1FBD80DB6838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26cba9b0310940bbd32ffba3c2357cd3f3194911","datavalue":{"value":{"entity-type":"item","numeric-id":2942925,"id":"Q2942925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$43FDC6FA-A325-4D56-B983-628A579D8B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7f4a4d6814fd1b39255e8b48c879c80b6a5b79","datavalue":{"value":{"entity-type":"item","numeric-id":5255076,"id":"Q5255076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$CFEC7BAE-16E6-4D81-B446-5AD1FC730815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bea25030e43123eda0445b96a78d3d842c6a0d1","datavalue":{"value":{"entity-type":"item","numeric-id":2398175,"id":"Q2398175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$F659CF5A-9226-4777-94BB-371507208F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78c682b839b11467875c1cc1c966d0baafa1e563","datavalue":{"value":{"entity-type":"item","numeric-id":4829806,"id":"Q4829806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$BCD0C91B-09D6-4C7A-8F6D-360789C58852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c616d4ba6d701abf4f64b3551ecb3ec26d41a3b","datavalue":{"value":{"entity-type":"item","numeric-id":2798271,"id":"Q2798271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$9A063944-40B0-4116-8101-134118936CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49a8d50e2ac3112c2b5beab9a321e48e86e40e67","datavalue":{"value":{"entity-type":"item","numeric-id":4702190,"id":"Q4702190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$7CC1F650-B1AE-4F25-BA91-7DE635927D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"135c063eb7f2e5def1a788de45593d4fc58288a1","datavalue":{"value":{"entity-type":"item","numeric-id":4965813,"id":"Q4965813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$7A3DF9BD-CEC8-40DC-BC43-1870A06156FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$9C0A93D9-2CF8-4AC1-ACE2-6227F81D6494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1991f4b547e2ff1c1f581afcf8dbd3668dd60d9","datavalue":{"value":{"entity-type":"item","numeric-id":4062612,"id":"Q4062612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$430AF162-AEBC-460A-925B-DCC1B7855C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75a757a70ab73b8cf6bc0d295854b298f4e2fc55","datavalue":{"value":{"entity-type":"item","numeric-id":1799114,"id":"Q1799114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$821D5898-8A71-44C0-8D3F-2A9ACE3EEC28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"130a3e91c8cd85565ec20f964395c4ef32d010ad","datavalue":{"value":{"entity-type":"item","numeric-id":2981951,"id":"Q2981951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29990de28c11815288363b2260a95301091a1f62","datavalue":{"value":{"amount":"+0.9273787140846252","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":"Q5101922$A3777261-1866-4488-A4A4-CC06C8D2B790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a812529dfe36b9569339df190d2d64ce8cc9c3e2","datavalue":{"value":{"entity-type":"item","numeric-id":5178014,"id":"Q5178014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9042d8c076858d5b4a2f6de57a691804e2a32ef4","datavalue":{"value":{"amount":"+0.7848681211471558","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":"Q5101922$0572976D-4FBA-4A52-A980-29AE75239E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e8560c3cf66228e33b3cfd3b96aea795814f4a3","datavalue":{"value":{"entity-type":"item","numeric-id":5466590,"id":"Q5466590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c564b99015c152290c39f74d87cb6d3bc3e6916d","datavalue":{"value":{"amount":"+0.7750912308692932","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":"Q5101922$5F25E7E5-BC99-42BA-B7C3-38828A5DF981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9246b1e080d6a4112e7941229a01a4beb65cc08","datavalue":{"value":{"entity-type":"item","numeric-id":2398175,"id":"Q2398175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89cb1387480dfa7cfd00426ad0243d14d6aa126c","datavalue":{"value":{"amount":"+0.7365686297416687","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":"Q5101922$C7D8CC80-4567-45C7-ADB3-272ED8777D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4570e91d20fbdb6fff2c47cc37373e3cce529e8a","datavalue":{"value":{"entity-type":"item","numeric-id":4038672,"id":"Q4038672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b6706295e8be429c7e6cefde0f438a88d61acfc","datavalue":{"value":{"amount":"+0.7365335822105408","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":"Q5101922$55AAE954-919A-45C0-B3EC-F436C2EDBC2F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101922$2A214AFC-C652-4785-8437-2AACF6E65FD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Denotational semantics as a foundation for cost recurrence extraction for functional languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Denotational_semantics_as_a_foundation_for_cost_recurrence_extraction_for_functional_languages"}}}}}