{"entities":{"Q5076060":{"pageid":7105636,"ns":120,"title":"Item:Q5076060","lastrevid":91333949,"modified":"2026-06-04T22:54:20Z","type":"item","id":"Q5076060","labels":{"en":{"language":"en","value":"Towards a semantic measure of the execution time in call-by-value lambda-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7526055"}},"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":"Q5076060$45EF4CBA-15C3-4ABD-A844-D245AC224CA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9608aba2f4aa655e79e6bc1c3fec5419868796fa","datavalue":{"value":{"entity-type":"item","numeric-id":2093144,"id":"Q2093144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$8BBF8072-E8E9-4980-961E-3EE61815426F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"08e3be17afd587c4497081d99b52e81a609dcb4b","datavalue":{"value":{"time":"+2022-05-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5076060$1CE4F461-727C-4265-89C6-E580C50B0A18","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bffe9b2c0f917c0d1b831f6e56495afe0658ec85","datavalue":{"value":"https://arxiv.org/abs/1904.10800","type":"string"},"datatype":"url"},"type":"statement","id":"Q5076060$51A6E1AD-6045-4954-A6D5-445A05AA73E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"50df8388c81e1e6d8c8d6e076ba6f8b4fe0805e0","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?ITRS2018.5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5076060$A800FCCF-1C02-4B0D-B384-2A5E1FF78B6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5076060$9624AB89-58C5-4DF0-A3AB-14F02EC77A49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de87644fe409cf8fc8ba6fa53e514cf071b4a618","datavalue":{"value":"7526055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5076060$B0B28CCC-0525-4EA4-8CC2-B8BB5CE934FA","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":"Q5076060$2A7BB0FF-DCBD-485A-A6CA-2E95CDF2FA36","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fc01d0021ff7d63b3958c1cc1049d6b6ae70fb7","datavalue":{"value":{"entity-type":"item","numeric-id":897928,"id":"Q897928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$7A44C497-1109-43ED-9C80-A3CA1B279B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f7c2965e025f2e44f633931fc66c0e670ed0f76","datavalue":{"value":{"entity-type":"item","numeric-id":4635799,"id":"Q4635799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$115F7533-4B00-4393-9CED-56C00209A25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee97b3bcd9f273f766cc2fc91de8c53013b04c7","datavalue":{"value":{"entity-type":"item","numeric-id":5120229,"id":"Q5120229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$E0C1276F-FD54-4328-BC41-A208069151CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab84e9c16bd8f4b2d2751db91ba0f2270e2fe090","datavalue":{"value":{"entity-type":"item","numeric-id":3179293,"id":"Q3179293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$66FC9D5F-AD76-4ED7-86F4-8F12648026EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a8d6adf4603d386e03746d070a88c88fdfcac88","datavalue":{"value":{"entity-type":"item","numeric-id":6166135,"id":"Q6166135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$C2AD1AD8-717B-41EF-AA05-07A4111855B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27eecdc9b3a54cccaf71096840df1786299da2c9","datavalue":{"value":{"entity-type":"item","numeric-id":6070792,"id":"Q6070792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$06B34839-5A0A-48CA-B2D5-261AA1EF18BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc59eca403e6d7ac2b4d4f9d044a3b60310a392","datavalue":{"value":{"entity-type":"item","numeric-id":2900255,"id":"Q2900255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$FE908656-433D-4B81-B2C6-4D456A1A0D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$2B1D1F00-F092-404A-ADE3-EECC4AACB3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b222a424bb714e7fec6d617d11df0d61280348fd","datavalue":{"value":{"entity-type":"item","numeric-id":276268,"id":"Q276268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$11F77432-79F0-477F-86E7-2E7DCCEB18AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06d3a18112634d945f57a45436f6c38b7d9c07d1","datavalue":{"value":{"entity-type":"item","numeric-id":2851671,"id":"Q2851671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$F1C14801-0961-4F38-972B-C43BC3C141A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c65688837f3fe5e8a2a04338ec66a6a3861e52d","datavalue":{"value":{"entity-type":"item","numeric-id":5939845,"id":"Q5939845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$8EC8FC53-5BDD-4079-A6BD-9EDF4FAC7F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"152529a731a5e87e191e763c50e57d59c2145e8a","datavalue":{"value":{"entity-type":"item","numeric-id":408545,"id":"Q408545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$A93FE31B-38D2-4D92-B027-19591FCB0DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"806d61e380bbc012359f6b589f95e7cbddfc81f6","datavalue":{"value":{"entity-type":"item","numeric-id":4644585,"id":"Q4644585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$602968A1-E299-4AFC-9F04-3A8D8F56E355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"843a825634e9bc89e3e7a2c65a06b1bf072573c7","datavalue":{"value":{"entity-type":"item","numeric-id":5410667,"id":"Q5410667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$CA5FA882-8C75-4366-957F-7917816CDFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c99fad36f552f6c9f003614420eedba916456aa8","datavalue":{"value":{"entity-type":"item","numeric-id":4577984,"id":"Q4577984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$33212BC7-6BF1-474C-ABC2-92B05421980E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1245adc65c7a6a43c03977a394ea4c343893ad84","datavalue":{"value":{"entity-type":"item","numeric-id":534698,"id":"Q534698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$518F7E0E-1614-476F-A310-4F1B9CA6D0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ceaeddd59258ef5cf026665e461ad2525fc5a4","datavalue":{"value":{"entity-type":"item","numeric-id":276260,"id":"Q276260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$01A5E651-D491-4E95-BAC9-C5BD9E53F715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26c523496c35da0e6172865f48b61d150cadb9d","datavalue":{"value":{"entity-type":"item","numeric-id":3208623,"id":"Q3208623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$1F80C164-FC5B-4746-BEDD-B200C1451C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a15b944588e7daa1d682743e9f423a10e7c94e5","datavalue":{"value":{"entity-type":"item","numeric-id":1134141,"id":"Q1134141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$6A4201DC-2179-4F62-86B0-4E60CA8A7B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82f919e3be900b33425a1b52cdf2c4f376a3704d","datavalue":{"value":{"entity-type":"item","numeric-id":3455843,"id":"Q3455843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$8C3E4D2D-AD2B-4467-B825-46A18BA857E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f28ba5aef8ebb12b26ba5919157452fea70107d","datavalue":{"value":{"entity-type":"item","numeric-id":4649551,"id":"Q4649551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$40D7C5EC-5ADA-41A9-BACE-8E70F3B3B033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe655fe601c833ccc2e6ab28bbe353022bd1c954","datavalue":{"value":{"entity-type":"item","numeric-id":4490749,"id":"Q4490749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$8E0ED14B-49E1-48C5-8674-06184C72A0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$7BFD1B47-1FC2-4BC1-97B6-D0DDFBA689BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1440bde07a53009385a9a173fdd2df129d6e01","datavalue":{"value":{"entity-type":"item","numeric-id":1103618,"id":"Q1103618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$5C08525D-9C26-4345-92A2-69E3D70F1806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"901ba45472e1a0a3be8b2e40215973355027ef09","datavalue":{"value":{"entity-type":"item","numeric-id":2949209,"id":"Q2949209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$4D1E1F55-EDB5-47FC-B799-6629C7D19056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46194b7907e6ca9d99d65cf8dc1fce235c9d7ba6","datavalue":{"value":{"entity-type":"item","numeric-id":5240183,"id":"Q5240183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$B5673A2A-46E9-442D-97FC-9BEBAC4603D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9de7d81048eb9dc3d78115b0f39ae041bde37b3d","datavalue":{"value":{"entity-type":"item","numeric-id":5277841,"id":"Q5277841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$CB3DC698-6E04-47EC-921A-C8CF7DB9A99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cd291e436a443c0f735d624f8c71d9bf7a75031","datavalue":{"value":{"entity-type":"item","numeric-id":4600771,"id":"Q4600771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$A4574567-E732-49AA-89DC-1E5CAC8139A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab124a7373ba82029ffdcc597bda7b4f27aee620","datavalue":{"value":{"entity-type":"item","numeric-id":5287559,"id":"Q5287559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$7C30F602-31DD-4910-A276-DDBACFE5B39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84a11879e90720cb013bbf0ef9fe251fefb74f23","datavalue":{"value":{"entity-type":"item","numeric-id":2787437,"id":"Q2787437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$1E41D588-2841-4E59-85E3-9899C6EB0696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b785c0bb451256d53294bc267f11e79faff1dd5e","datavalue":{"value":{"entity-type":"item","numeric-id":5111320,"id":"Q5111320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$244881B9-BEB8-45FB-852B-4B2E201F23DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"211633feba60e3b5d86f54253f1def7897daadb4","datavalue":{"value":{"entity-type":"item","numeric-id":4500177,"id":"Q4500177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$FF8F79FF-E98F-439F-9116-F93C4424B69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050744ad710b2732fc1db2e9f7bd06de890ca43f","datavalue":{"value":{"entity-type":"item","numeric-id":4274979,"id":"Q4274979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$596681D0-79ED-45E1-830F-B5B311EE456A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77d7b6afaa91c3a7ade3ec03ca2b5dc4ec389e62","datavalue":{"value":{"entity-type":"item","numeric-id":5178032,"id":"Q5178032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$EF9D2323-EE9B-49E0-8A83-8A3AF392E4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"261109d22283aa609f05caa89a99c93ee0c9238d","datavalue":{"value":{"entity-type":"item","numeric-id":4448358,"id":"Q4448358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$1FC83BE3-D046-4489-A1B3-B605B8727DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfd232961d59adc4ac2298be421c4e8460b1c618","datavalue":{"value":{"entity-type":"item","numeric-id":5269000,"id":"Q5269000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$11FB9EC1-1F33-4DB0-9A04-DEA12392D1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$80466AB2-354F-4BD1-9B23-7177992897D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7ede811a5257f41ce2f10f1d1ac11a5fa75fb47","datavalue":{"value":{"entity-type":"item","numeric-id":3856734,"id":"Q3856734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$AE3E2F6C-0225-4202-842D-465992D5E4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19ad066144a6504bc489d20ac28205d89300b341","datavalue":{"value":{"entity-type":"item","numeric-id":1322165,"id":"Q1322165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$6300501C-A7AF-4D91-992E-DBE0DEEFAC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c26825fcf739d62c204dd52aa4060382a449a2","datavalue":{"value":{"entity-type":"item","numeric-id":703856,"id":"Q703856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076060$9B473488-E249-4A9E-9053-9DB4A42C3933","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fcfa93fd42706fd250b86c0229ac5eea7f43930","datavalue":{"value":{"entity-type":"item","numeric-id":4577984,"id":"Q4577984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"311b2de70d413e67699d395e048122606216b522","datavalue":{"value":{"amount":"+0.8341727256774902","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":"Q5076060$DE32D34A-487F-4702-B259-7B71439C4655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d030e8f341bf6c6bcffbd0907116afda04d6ce59","datavalue":{"value":{"entity-type":"item","numeric-id":534698,"id":"Q534698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0823508cd2ff68725af659818430206b79f46891","datavalue":{"value":{"amount":"+0.7927698493003845","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":"Q5076060$0BA60EB8-6C43-44D4-A79F-11D5520F3BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2beab4d2d85cabf40ada50725d795671b2bdbb18","datavalue":{"value":{"entity-type":"item","numeric-id":1990483,"id":"Q1990483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f2088f25ecefba219f8797bee7d7fb0c1362fc0","datavalue":{"value":{"amount":"+0.7623826861381531","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":"Q5076060$D31515AD-3597-4C27-9FDC-F0EE793DD659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb69f92e3fbadab25fabebcc1ff62422b66eba06","datavalue":{"value":{"entity-type":"item","numeric-id":6166135,"id":"Q6166135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"701209eef7e1722b7c64bfa900bdd3a6b4929c4b","datavalue":{"value":{"amount":"+0.7353314757347107","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":"Q5076060$CB9E20DD-E113-4C98-8E67-C50578B4E668","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards a semantic measure of the execution time in call-by-value lambda-calculus","badges":[]}}}}}