{"entities":{"Q710673":{"pageid":712522,"ns":120,"title":"Item:Q710673","lastrevid":63855657,"modified":"2026-04-11T16:00:32Z","type":"item","id":"Q710673","labels":{"en":{"language":"en","value":"Eager and delayed contract monitoring for call-by-value and call-by-name evaluation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5804232"}},"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":"Q710673$27CF125B-31F2-43CA-8C38-BDE923DEB158","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"589041ca7c135605141cc9dad40ac9a21830bffd","datavalue":{"value":{"text":"Eager and delayed contract monitoring for call-by-value and call-by-name evaluation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q710673$04278D65-247A-4485-AE48-DEFE229E9B91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4177f4036380f0e0b15784915f6fef7993b2df2","datavalue":{"value":"1204.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q710673$389E56BD-AC6E-4C79-89D8-C141083703AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9068f517a6abeabadda8caba64c9d555828cae6","datavalue":{"value":{"entity-type":"item","numeric-id":526442,"id":"Q526442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710673$94F0F369-7482-42F4-BC25-2DEAA18E0989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a50d913d1128f41e9a61785d41010b4144b0015a","datavalue":{"value":{"entity-type":"item","numeric-id":526443,"id":"Q526443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710673$08361B80-02BB-4EAB-9C2C-6B52FD5CDA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa8ce795e9d2770ece052771afd6fe6c56d0dc1c","datavalue":{"value":{"entity-type":"item","numeric-id":526444,"id":"Q526444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710673$1432F879-AA5D-463B-BACA-37F5F9E22E9B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710673$EE6E8344-548D-4357-94C5-7BC20411DAAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8dce3fe29f40b5c30691cd0c8cf3898003238b7d","datavalue":{"value":{"time":"+2010-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q710673$E88A155E-AA65-4D49-95E8-FE718200AFFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q710673$CBB6E080-6E53-4A43-82B5-50E30EA0A82E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dda2ad8ec1e003fd6ae5a575a2531c42c94d7867","datavalue":{"value":"5804232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q710673$C9C61815-5BD8-4698-B98A-185310C50564","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3839bd5d0c640c2059b657e3db28bedeb9d33d49","datavalue":{"value":"contract monitoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q710673$AF60A571-0AF7-49ED-95EE-E5F2FFAFB4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5449286be9f1a133f2f29d1fa390a5e3e7749238","datavalue":{"value":"call-by-name","type":"string"},"datatype":"string"},"type":"statement","id":"Q710673$392E7944-ED88-4F2A-B058-C1497D551EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0023655cb58cff7dfa4411698356799107789a6f","datavalue":{"value":"call-by-value","type":"string"},"datatype":"string"},"type":"statement","id":"Q710673$B3E37683-C2E4-4641-AB54-992298699AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b508d1c668c3f2ebe0545e823f48d2d5ecfb07","datavalue":{"value":"formal system","type":"string"},"datatype":"string"},"type":"statement","id":"Q710673$11D64E54-9750-4830-AFDE-F19609CA1151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47fe42bbf00e6f95865c9578dae5b4125d34b54c","datavalue":{"value":"type and effect system","type":"string"},"datatype":"string"},"type":"statement","id":"Q710673$206FE0D6-816B-48F6-9CB7-8029579C3744","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a01960c3995e9c153d84f43c7d48c6530eca53a","datavalue":{"value":{"entity-type":"item","numeric-id":45316,"id":"Q45316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710673$91CE9A16-B96F-4140-A378-93F055D9C128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0292a334cfc9946d990e370c442c475973c3701","datavalue":{"value":{"entity-type":"item","numeric-id":16053,"id":"Q16053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710673$3B035C04-F9BE-4056-B797-5D341982D813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dfc04cb9d60b5d55b254e88c83f4544e393bedf7","datavalue":{"value":{"entity-type":"item","numeric-id":14005,"id":"Q14005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710673$D1C76943-E483-490E-BC82-E141181CF77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3566ceaa607ff2880dbbe400f3e2dbce0394438a","datavalue":{"value":{"entity-type":"item","numeric-id":18773,"id":"Q18773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710673$591C6BDC-138F-4ADA-A293-BF427BAD61F9","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":"Q710673$563A0271-A219-4E57-AF52-776C3E9C99F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ee2553707ce69b3b6f5f623067b57bac90b62e7","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2010.07.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q710673$1504C268-1C62-4798-9474-AAD74E1C702E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55169fc74179f5d76a55a47d02811f0930392067","datavalue":{"value":"W1975296877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q710673$1FB9B3A1-16D8-49C9-8A30-76C29DF9AA3B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8428f2d99653d2df63ffb004d9c3941e606d1f6c","datavalue":{"value":{"entity-type":"item","numeric-id":812054,"id":"Q812054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710673$5302E882-287A-4A4C-923E-94217946216E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"696a86de9d44b0333beb922e1d81c6236314c473","datavalue":{"value":{"entity-type":"item","numeric-id":4222932,"id":"Q4222932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710673$08C3E7C6-2CC7-49C8-B99F-13148147412D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e5bcb5e38837625eaefdbdcd77b2a3f1031d23b","datavalue":{"value":{"entity-type":"item","numeric-id":4499197,"id":"Q4499197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710673$4AFB30F3-BC8E-4810-AF59-92D1ACF72982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8260f0908a6a12c30129db7fd21f8a9031da7719","datavalue":{"value":{"entity-type":"item","numeric-id":5178036,"id":"Q5178036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710673$2E1F417A-A10D-48CE-8261-7120786094E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb2fc90ec919023ec1b502e9a4f8e8d853533ccc","datavalue":{"value":{"entity-type":"item","numeric-id":5466582,"id":"Q5466582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710673$DE142CFE-D798-4079-810C-4B0A7DDBC7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71d6ee73e09ca4c3fa420bf83abac0066d39f9a6","datavalue":{"value":{"entity-type":"item","numeric-id":3434635,"id":"Q3434635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710673$FDCC20F8-C162-4061-868A-D207A23E0463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8b20214f4c047144aa0c807c908e134787a9081","datavalue":{"value":{"entity-type":"item","numeric-id":2949191,"id":"Q2949191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710673$5DEAED5F-A757-4EC6-B674-0A3246AF9567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e9e74444c8d384de071d7896bd036140e8ba38","datavalue":{"value":{"entity-type":"item","numeric-id":4738223,"id":"Q4738223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710673$F89E2C0F-2F03-4252-9689-25B249E27868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5437987e445744d0abfdb04de2644350c8247616","datavalue":{"value":{"entity-type":"item","numeric-id":3434634,"id":"Q3434634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710673$90A7964B-90C0-4DFE-94C3-71D769BFA84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3080bd85d1970847e3833afbfbc0c32fcc932e60","datavalue":{"value":{"entity-type":"item","numeric-id":4024014,"id":"Q4024014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710673$5111DA72-01C1-45FA-AADC-8440C10CB314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c32f716a89d889d8580cbbf755ea41f18177dd7","datavalue":{"value":{"entity-type":"item","numeric-id":4371400,"id":"Q4371400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710673$70E862CF-7243-4AD4-8263-9B19C7195ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710673$79448A4B-2A64-4DAC-8B0B-1E94199C2455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e417d6d5926695afcb0f22fb006eacd6484b213c","datavalue":{"value":{"entity-type":"item","numeric-id":5267422,"id":"Q5267422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710673$73499A13-91FE-473C-8B4A-AEBED27F7C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"296d77b4fdcf0e960596a91f471af065b562b6b0","datavalue":{"value":{"entity-type":"item","numeric-id":5261504,"id":"Q5261504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710673$D3927FE6-B0A3-4B71-BD33-257BF974843F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b614a2837ea1283b9e8c364fd636fc40df0a2d5","datavalue":{"value":"10.1016/J.JLAP.2010.07.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q710673$37F7B15B-474D-4000-AE5E-94CC4B04E317","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6418a4a79e82835cf876d40bde74d3c5ae6b973","datavalue":{"value":{"entity-type":"item","numeric-id":526445,"id":"Q526445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae48fedb6e9fef39d958019f27c7dab49f7ef1a2","datavalue":{"value":{"amount":"+0.8208497166633606","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":"Q710673$8B7AA385-8DFA-40A7-9CB5-36EB83561172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"976f0e7cb3cd692f6aaed9922d226884cd413d05","datavalue":{"value":{"entity-type":"item","numeric-id":2981991,"id":"Q2981991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ec3cf42253d3c4460227b3d80b4edb3f7f1dfc8","datavalue":{"value":{"amount":"+0.8015888929367065","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":"Q710673$030957FD-8C41-4FD7-87FA-5817444F4160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1caa727d171baab9974906a6526420446ca1232","datavalue":{"value":{"entity-type":"item","numeric-id":2892729,"id":"Q2892729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c04f57a107f13d9355a1e564e0a21e4cfcca29a","datavalue":{"value":{"amount":"+0.7786018252372742","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":"Q710673$EAE37114-8422-4324-9CAF-D143ED9BBAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0e5b6cb6223907556c4d37e60e04126d735649e","datavalue":{"value":{"entity-type":"item","numeric-id":4577815,"id":"Q4577815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"265a8b17da648a16795cff4769717a66784d0fcc","datavalue":{"value":{"amount":"+0.7675768136978149","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":"Q710673$022870D9-E001-4D86-A2B2-0E3BC519FE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e28f457a5c8c5fc9660ecbf30a387405c18786c1","datavalue":{"value":{"entity-type":"item","numeric-id":5925542,"id":"Q5925542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4e597179cd8e0995ed360b0641b16a09f551a49","datavalue":{"value":{"amount":"+0.7350123524665833","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":"Q710673$9374B998-DC26-4D22-B95F-CDFD36A7452B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Eager and delayed contract monitoring for call-by-value and call-by-name evaluation","badges":[]}}}}}