{"entities":{"Q40966":{"pageid":41022,"ns":120,"title":"Item:Q40966","lastrevid":105429212,"modified":"2026-10-09T10:11:31Z","type":"item","id":"Q40966","labels":{"en":{"language":"en","value":"Launchbury"}},"descriptions":{"en":{"language":"en","value":"AFP entry Launchbury"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"a8700f6e6b7a41a3d976718d4e95afb07b67143b","datavalue":{"value":"29252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40966$2C973BDE-957D-456A-8389-214BD777DEE6","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40966$E7E61765-0BC7-4297-A318-6341BE3B94B8","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"28b6b50d35e322d9be394367ed539c4c51d13940","datavalue":{"value":"https://www.isa-afp.org/entries/Launchbury.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40966$FD7D1E83-E9F8-4AC2-8D2F-723D59FAA92E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40966$F4F8529F-BE4B-435C-9041-C0969175EDCF","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ed15eb8701a335444fde1bcc3327d1067ce64751","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40966$5FCE442C-BBE5-4A0C-9CE1-CB4181563794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40966$5332F514-8D78-4A10-995B-BA6E1A8D237B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0186a4bd229de08949f988d622042c8b55524e19","datavalue":{"value":{"entity-type":"item","numeric-id":43944,"id":"Q43944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40966$24A40DB8-B0E7-4AD7-8A25-A917F69FDB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"acf5d0da134f7563af94342a3a34b9ca28cd59db","datavalue":{"value":{"entity-type":"item","numeric-id":23989,"id":"Q23989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40966$0B1C947F-3E23-4B34-A596-7BBCD07B3E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40966$91B373BE-B43F-4694-9558-4E1DFE3DB915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40966$F8618050-B2D5-4A00-A708-963712C5A656","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f0fee2b4ed309c89ecf685f8066296c22ddb98f","datavalue":{"value":"https://isa-afp.org/entries/Launchbury.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40966$780EA464-BF87-4349-B73E-9E644F0DEB61","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"2979132c44ec8ddf771d8270d088441363a82493","datavalue":{"value":"Joachim Breitner","type":"string"},"datatype":"string"},"type":"statement","id":"Q40966$CCEB2635-3059-4914-A8D7-840930E52868","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"68b176b8f1ae957f9ce8c900e3237f0d09b50d0b","datavalue":{"value":"In his seminal paper \"Natural Semantics for Lazy Evaluation\", John Launchbury proves his semantics correct with respect to a denotational semantics, and outlines an adequacy proof. We have formalized both semantics and machine-checked the correctness proof, clarifying some details. Furthermore, we provide a new and more direct adequacy proof that does not require intermediate operational semantics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q40966$F690CE47-035E-41BE-9FBF-424041468772","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"faaa5594e2abc159e6f86d7e94e792da18998f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1261291,"id":"Q1261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40966$859ECFBB-5B7F-4BEB-B3F6-6DE27C79DE70","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":"Q40966$8B55F57E-5EA1-498B-A0BE-D752DB11ECE2","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":"Q40966$4AF48B57-E7D6-469E-89E8-99BCB332DC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d109eb74d0492df4bac35af9cad48f2c4cd784a1","datavalue":{"value":{"entity-type":"item","numeric-id":2915102,"id":"Q2915102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40966$2A078843-0F06-49FC-9AE6-DD1633F5F109","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":"Q40966$A9D499A4-A303-4335-8150-B26DABF78A20","rank":"normal"},{"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":"Q40966$22CA406C-139B-4A3F-B726-73E053A680F8","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":"Q40966$D592FE2E-58E7-4097-B67C-241D011BC609","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"c6381c3139ee5dae1881d28867a7925513419337","datavalue":{"value":{"entity-type":"item","numeric-id":7361667,"id":"Q7361667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40966$52F2B855-6735-4DEC-8393-0548916E4B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"947633d77ac0c595dad38098201be725b355abe0","datavalue":{"value":{"entity-type":"item","numeric-id":7361006,"id":"Q7361006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40966$1E212230-A595-4F14-BDBF-D5D2B8CA7D8F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec4168dd4aa77030672ba11deddfe9fac6cc9b8e","datavalue":{"value":{"time":"+2013-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q40966$E7B61D9D-0D75-4CD6-8DDA-99047E5C3CA2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2bb40777a32a0b8ce6027ab97429499d9b57550","datavalue":{"value":{"text":"The Correctness of Launchbury's Natural Semantics for Lazy Evaluation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40966$1509BF46-5ED8-46CC-B8C9-180AC0147DE8","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40966$78DB8880-4DF4-4C8B-914E-E4F2326D7E7F","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"bbbd01ab6fe9cda8df6fdce217eef2d86891f550","datavalue":{"value":{"entity-type":"item","numeric-id":7360795,"id":"Q7360795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40966$E7B119C7-BCC4-4D78-A2CE-66EB59240691","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Launchbury","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Launchbury"}}}}}