{"entities":{"Q2873681":{"pageid":2884401,"ns":120,"title":"Item:Q2873681","lastrevid":83876864,"modified":"2026-05-07T13:21:35Z","type":"item","id":"Q2873681","labels":{"en":{"language":"en","value":"Complete laziness: a natural semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6250418"}},"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":"Q2873681$F6149761-CCEB-40FA-B2AC-E1BAC99A6A98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f05bc51e96b5364de6fb084c99a4433f9080791","datavalue":{"value":"1279.68191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873681$0525F5F9-490F-45E6-A994-52282CB44FB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf8d941be5ca4a678f2961090bfedbfaf5c027a3","datavalue":{"value":{"entity-type":"item","numeric-id":1778106,"id":"Q1778106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873681$99372F59-1DE4-4CF4-AB79-2B2255A3468B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873681$3A05B96A-A043-420D-B8FB-A3218D70D03C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec1d1b5de12363b743dc1edf0b2d387c6f9a8806","datavalue":{"value":{"time":"+2014-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2873681$9BAA88C8-B00C-4568-B8B0-BAE14ED632C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873681$6CED0D71-C670-4F80-9F35-AD094A582A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873681$CFAE9F72-0EDC-431F-ABF0-9EC1E58D9C2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17da230ecb4c145c3f9a2543d69aaa4d6173e23b","datavalue":{"value":"6250418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873681$130648F7-8396-4100-AE8B-374257406A2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73764d321446821fc3032a2bffcb56061eeb3fd6","datavalue":{"value":"functional programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873681$93981A95-BB28-4790-9623-B4D042A98B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98b5b5a4f0c825ea91b5dc8ad46045a364b8968b","datavalue":{"value":"strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873681$BC99D7DF-C186-4E1B-9957-BCBEDACEFC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b8916df0e6192e4e15fa807b83e2cbe668e38a9","datavalue":{"value":"laziness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873681$1C56BE06-028E-443A-A7B5-BE4B8BF0CC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e53df307452a0f493e5ea7f340e6394fad21772","datavalue":{"value":"sharing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873681$3998C4CD-DEC5-412F-AD57-E66A7CD032C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75f7fe19f725521885c5a40b8a361664ab1a2991","datavalue":{"value":"efficiency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873681$CC1A6A54-2496-4C8A-952C-34173E009003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6eee9f8cac159f4b604f03b13d7394d565afb59c","datavalue":{"value":"optimality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873681$609A8207-5FDB-4254-8599-A27D3D8ED9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"306babe488cfa3a591cfd4ed12d529826135f187","datavalue":{"value":"call-by-need","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873681$00950BE4-08ED-4431-9D28-176726F0BDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873681$B2EE6D26-8A09-46BE-AC26-B9FC98BE0EC2","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":"Q2873681$833FFBCB-577B-434C-8A4C-5840D7CF281C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2ec83e5ff6d82c7de75c91ef5061763f2b4b09a","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.03.058","type":"string"},"datatype":"url"},"type":"statement","id":"Q2873681$1458FB05-4774-4CC1-B16B-23DCD5ED28A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"312e9a1d88d6adbfcea3b61b31409c13769d94d3","datavalue":{"value":"W2027027952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873681$3B9476BB-421F-40F1-B300-90AA40884A4E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc937e27d5d0efb7afbe95dc3a7e3d054e3183c1","datavalue":{"value":{"entity-type":"item","numeric-id":4358458,"id":"Q4358458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873681$902B834A-EB73-441E-BD86-9A73CEF955ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef793cd341d40ecfedab2b760bf19a2d788dac7b","datavalue":{"value":{"entity-type":"item","numeric-id":5397484,"id":"Q5397484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873681$830CF4E7-11CC-4ED9-BC08-AEB1708B9429","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":"Q2873681$CBFF3FE8-B57C-4668-8A56-50EB6FFB8AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a3f67af2a53d3e4116abff8109a4565ec3a93c9","datavalue":{"value":{"entity-type":"item","numeric-id":5261284,"id":"Q5261284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873681$1B864114-8498-45A6-8B10-8BFA122EA366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da88094cd0f8f7b2372d67f2718a6f39c385893c","datavalue":{"value":{"entity-type":"item","numeric-id":4675772,"id":"Q4675772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873681$533DEAE6-DA1D-4BAE-9E05-28F1A0425E39","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":"Q2873681$D177BE25-0747-4C2E-804F-F1A9C432BBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873681$1C4AFAC6-A0D2-4519-B6F0-CF4DB4E8C611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1eb42d9c5348c57088bd4b838a7a5b42853faa","datavalue":{"value":{"entity-type":"item","numeric-id":1314356,"id":"Q1314356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873681$60753722-3631-458B-9985-514FC20DBF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a5a8927f019cbf5949048eaa2ee47d0dcb76ce","datavalue":{"value":{"entity-type":"item","numeric-id":2817687,"id":"Q2817687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873681$9D128619-760D-4568-9AA5-F1C268773C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873681$0F0A8CCD-BC0C-46F3-9D47-AEDD28180486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbfe4964a46d9b5ae61ca298ddf701e390f98625","datavalue":{"value":{"entity-type":"item","numeric-id":4236864,"id":"Q4236864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873681$4E0B2988-9083-4FD7-B577-ADF71EEE6123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ae693e56a85a155a49a0ba25e2cdd6b8c67a00","datavalue":{"value":{"entity-type":"item","numeric-id":4692880,"id":"Q4692880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873681$558D2ADE-8600-4AF1-8CA4-D113695295AF","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":"Q2873681$01CE82E0-4C4E-413F-9A07-521803505886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c96e6ef420e336bd830ba623cd9f00a626f44150","datavalue":{"value":{"entity-type":"item","numeric-id":1126266,"id":"Q1126266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873681$2E7FE824-C334-47EC-A504-59A9A9A5D1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b7cdf04b691c36db09d7131cf3a857e5608f4c","datavalue":{"value":{"entity-type":"item","numeric-id":5316566,"id":"Q5316566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873681$5E8B7960-22A7-44FB-AE70-55F8CF2A29FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41d71662c0afe6e2bd66f56a787e066cfa35cfff","datavalue":{"value":{"entity-type":"item","numeric-id":5482263,"id":"Q5482263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873681$173350DE-2999-490D-B133-745A393546DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75305058278c8dff0601664bc5a5f811a1680fe0","datavalue":{"value":"10.1016/J.ENTCS.2008.03.058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873681$BD502A7A-1363-47F7-B396-5A8EA8782344","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be0fd66b80678ddfb6dcd8227977d3431322c5ae","datavalue":{"value":{"text":"Complete laziness: a natural semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2873681$33577C56-E855-4BC0-8502-08E2900E0ECA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50f815cd0ba97dc90aa8672fcfab1d1b78493c2d","datavalue":{"value":{"entity-type":"item","numeric-id":1126266,"id":"Q1126266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d8939868bb3068c26e2430a14c1d676d4d31d61","datavalue":{"value":{"amount":"+0.838469922542572","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":"Q2873681$F3B1C9B2-BDDE-463C-AD2A-78E95C0E5663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bf3588aa50e3369947566ed97ffeb5d14f71336","datavalue":{"value":{"entity-type":"item","numeric-id":4358457,"id":"Q4358457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d8939868bb3068c26e2430a14c1d676d4d31d61","datavalue":{"value":{"amount":"+0.838469922542572","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":"Q2873681$3749715E-DBC9-49F8-A6E4-161708FD30E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd76517bd3b26fcc1777a212772ef67994f70a8c","datavalue":{"value":{"entity-type":"item","numeric-id":2892724,"id":"Q2892724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"983c9d6c6d8ddf03759181071e069557ceb1ce56","datavalue":{"value":{"amount":"+0.8003466129302979","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":"Q2873681$ECF79255-83B5-4BF8-84AB-188785175F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"146272ed492c4bea70cacbdaa7d46e5838929e2c","datavalue":{"value":{"entity-type":"item","numeric-id":5244806,"id":"Q5244806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19992aca7dff2ff8355296359cb06351639dd690","datavalue":{"value":{"amount":"+0.7975305318832397","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":"Q2873681$71C009E4-5735-4D9F-8A60-03DC1B75DF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44920ad5b17d661f9772e46846b0d45e66e1518a","datavalue":{"value":{"entity-type":"item","numeric-id":4358458,"id":"Q4358458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1bfa5d23289cd8bfbbbb1d6b215acfdf9e6bc90","datavalue":{"value":{"amount":"+0.792812168598175","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":"Q2873681$652DDFDF-D50F-4E7E-A10D-9B54F9DD9D6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complete laziness: a natural semantics","badges":[]}}}}}