{"entities":{"Q4577822":{"pageid":6607409,"ns":120,"title":"Item:Q4577822","lastrevid":82297823,"modified":"2026-05-06T20:34:09Z","type":"item","id":"Q4577822","labels":{"en":{"language":"en","value":"The adequacy of Launchbury's natural semantics for lazy evaluation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6913649"}},"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":"Q4577822$A10ADB73-F730-4F48-9CCC-E20047DE24B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b77305f819c688b477787aea66c5f682d3f49df","datavalue":{"value":{"text":"The adequacy of Launchbury's natural semantics for lazy evaluation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4577822$18A8E6FB-DD5D-401C-BE7A-A7EECB82CE78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"741b59d85c0b4c48e870f1ffb5053ef694203249","datavalue":{"value":"1478.68137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577822$157C4E02-F878-437A-A211-09E203BBF76C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3940063314059d51b7595eb86ea0baf29bc0bc1","datavalue":{"value":"10.1017/S0956796817000144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577822$D2A4C0B8-3E9A-44BE-8CCF-32D8AF3BE0C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4d7002a52efc474bb15cfa83d5abb594bf37213","datavalue":{"value":{"entity-type":"item","numeric-id":375800,"id":"Q375800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577822$4F2064A6-92D1-46AA-B4C0-677079CE8222","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":"Q4577822$DF09BE8B-1480-4EFF-A95F-420B60E3F0AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dbe942f4432d5ccab7c4473f19702994bf9bc44a","datavalue":{"value":{"time":"+2018-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4577822$D9BC5056-3E42-49F8-8506-27ED8FFA108A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577822$C9E5B27B-30D6-45B5-942B-6C08F297A3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577822$A3FCE07E-C28A-4710-A911-C7C924DE2BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577822$5DC10A62-B97E-4B23-9299-15B1373B8FD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"140d51a988ab2d5501577355b08d0bc80d348d26","datavalue":{"value":"6913649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577822$66C5AC34-F417-42D0-9F7C-EB49B704265A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577822$85ECA65F-0781-42B6-92D9-7CD60DAB9F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577822$4CE21AA4-94FD-4753-81F5-D569DE66DF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d40b61763c81cd80c5c82e03c39b2fdb5cbb80a2","datavalue":{"value":{"entity-type":"item","numeric-id":23989,"id":"Q23989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577822$4BAA1CE6-3C42-463A-840B-F0004A695BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ad21f150c621099eebc7c2e673cd9cf43b81a4e","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577822$91560467-E4D8-4FCF-B13A-6CDAF1BFF970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"839f5349c4311d1947100c3c4555a938061e4849","datavalue":{"value":{"entity-type":"item","numeric-id":40966,"id":"Q40966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577822$D33FA306-1068-4F08-8F8C-AE22C8775143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577822$001E4706-D1A0-44ED-A215-C9DCBB340E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb3a71d030a99807716c08d3e6af67015ceb8b65","datavalue":{"value":{"entity-type":"item","numeric-id":43944,"id":"Q43944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577822$5EAC4770-EA8C-4BA2-A776-1B195EE9F63E","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":"Q4577822$EAE80249-1B4C-4D45-A799-1E118F5E4B06","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ccc72b985f5b63d7bda2fc930c55fc8251f9bf","datavalue":{"value":{"entity-type":"item","numeric-id":2943366,"id":"Q2943366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577822$CDEC088A-9045-490B-A855-E5077FF55548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4738798d9702e646d9743f53f948745583da971","datavalue":{"value":{"entity-type":"item","numeric-id":2352487,"id":"Q2352487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577822$692D7AB8-174F-4DB4-9A1B-97AD11E2E58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd99188fec5a03ca1254d67b0f4f830cf630ffea","datavalue":{"value":{"entity-type":"item","numeric-id":3648355,"id":"Q3648355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577822$076FC9D5-C6AF-4F88-8CEC-CE221F97A3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c0427c69f159521944b9ab12491f6e0354b0669","datavalue":{"value":{"entity-type":"item","numeric-id":3455082,"id":"Q3455082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577822$8E081160-14C0-47A2-9A1D-503DF77156A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d80b1ce6c7c55e134225781cab112803b76b1488","datavalue":{"value":{"entity-type":"item","numeric-id":4358457,"id":"Q4358457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577822$990CE2D0-D02E-4C5A-B965-0D639F4F93B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20d4a2aad4cebbcfa646c9c5d2e3fb1738d09daf","datavalue":{"value":{"entity-type":"item","numeric-id":5891628,"id":"Q5891628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577822$53C7A4DB-0B6B-4C26-A655-938E41737AB6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c207b7580ff7ac4a38d3da05818d193d486487ac","datavalue":{"value":"https://doi.org/10.1017/s0956796817000144","type":"string"},"datatype":"url"},"type":"statement","id":"Q4577822$6C3341D4-021E-4621-A6E0-528A29CD586F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"979777d02452947551aeb80fd7e8190bc6a6a0ce","datavalue":{"value":"W2782154544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577822$BD46A3C9-E451-4045-90D8-60FBF000EE5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1b614ef40813714ad5449814621f2e5b485e97c","datavalue":{"value":{"entity-type":"item","numeric-id":3455082,"id":"Q3455082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1504539c3c45b2f93f3382d11501080724348a1","datavalue":{"value":{"amount":"+0.7599684000015259","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":"Q4577822$EF500435-EAE4-4245-9A25-E9F40CA9214B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"851a207afdb0ef843821c13696ce49eaa19cb0c7","datavalue":{"value":{"entity-type":"item","numeric-id":2873681,"id":"Q2873681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b43d158278c5c6d504ca570322bbf5d0e4c5390","datavalue":{"value":{"amount":"+0.7458566427230835","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":"Q4577822$840FE2D8-654F-4ABF-B447-1D715EDC9560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdd91d86fd7e22ec271555235f411e7876578b28","datavalue":{"value":{"entity-type":"item","numeric-id":4736978,"id":"Q4736978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea6da2ad2d99aed58f3669fda3adb406df9938dc","datavalue":{"value":{"amount":"+0.7377474308013916","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":"Q4577822$4EA948BD-736F-434C-8432-1E86A12F84FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0b1ece72b177c8cfba597efab7b2cee47054b29","datavalue":{"value":{"entity-type":"item","numeric-id":4645809,"id":"Q4645809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"634864fea475003f37e32ee604d5491fd35e5036","datavalue":{"value":{"amount":"+0.7348493933677673","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":"Q4577822$8FF5D9E9-D319-4EF5-82D1-94CD2DD6F66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf7914bba090d3ab9bdd7c396fd19cf424224d68","datavalue":{"value":{"entity-type":"item","numeric-id":5348894,"id":"Q5348894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74e724f23281cf704cd4b4a27f51a0a63a534b3d","datavalue":{"value":{"amount":"+0.7242592573165894","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":"Q4577822$351133EA-E35B-4F50-8E5C-786235BAD12D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The adequacy of Launchbury's natural semantics for lazy evaluation","badges":[]}}}}}