{"entities":{"Q2817703":{"pageid":2828441,"ns":120,"title":"Item:Q2817703","lastrevid":42204202,"modified":"2025-05-27T19:48:53Z","type":"item","id":"Q2817703","labels":{"en":{"language":"en","value":"Enriching the lambda calculus with contexts: toward a theory of incremental program construction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6621878"}},"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":"Q2817703$2D007897-EEE6-4176-B797-5D7CF34B92C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21d88aef734dcdcfcec592a82b47108242f87775","datavalue":{"value":"1344.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817703$FE72FD45-F442-43C8-B0EB-95D60C10FC4B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b12ec76407fbf4df8c86789a5bfc31778d75815f","datavalue":{"value":"10.1145/232627.232652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817703$2CF3CC19-0469-482C-A2D1-13EBCD69E5C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b28e725b6d53b4eb45137c7e124080e7c20ef02","datavalue":{"value":{"entity-type":"item","numeric-id":2817702,"id":"Q2817702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817703$36F1289F-745A-455C-BDC9-0CEDDDD2294C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce32ac41eacedba3c0484c0c8ef4429bc69fdaab","datavalue":{"value":{"entity-type":"item","numeric-id":1101432,"id":"Q1101432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817703$B2B53433-0047-4BCD-A290-C006F5A8FF82","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"56de9e9bca7125adc33acdc48ab4e849a600dbcf","datavalue":{"value":{"entity-type":"item","numeric-id":2817679,"id":"Q2817679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817703$12D9F661-0B0A-4D22-83E5-27B3E955FEE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4cb1dfb644827a2862c7d97faa24a24e858feb59","datavalue":{"value":{"time":"+2016-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2817703$A93FE419-2A4B-4151-A427-B63622B3D090","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817703$24648AAF-7013-41CD-94BB-A7176C29D897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817703$81A0849A-E4E8-49E9-82A7-123B7E4F1378","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"453309e71ea9e2e56d85656d7a4b1204550fdff5","datavalue":{"value":"6621878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817703$FFC44979-2271-47AA-926A-B7EACC3A5EBE","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":"Q2817703$EF76B333-F18C-43A5-8567-400B6F118AED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dfc038adf7b93c0cbcb7f8996728a1044e2ed7cf","datavalue":{"value":"https://doi.org/10.1145/232627.232652","type":"string"},"datatype":"url"},"type":"statement","id":"Q2817703$6EB07280-21A7-45F3-875B-AE8B48B33BD2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"999ad5b6ced48214b70ec0a3d1f35cd6f5fd7699","datavalue":{"value":"W1964391280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817703$9BB8799C-1DA5-41A2-92B1-417CC16869CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c5458c9435141d71035ca73a099f15d16be07f4","datavalue":{"value":{"entity-type":"item","numeric-id":1044184,"id":"Q1044184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c46000268705e718532828521a818110a856e73","datavalue":{"value":{"amount":"+0.91099983","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2817703$1D3D3BC3-E939-49EA-8459-3773633DA4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c369cbe60177c955fbf1373bef4d0bb4d5433ef3","datavalue":{"value":{"entity-type":"item","numeric-id":5951522,"id":"Q5951522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bdbd936eb65be2d379175d9caa66823ba60066d","datavalue":{"value":{"amount":"+0.90830845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2817703$4DF90055-DB1F-42A0-84E6-471ADB6F3DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c3b51f8a0d80d67354e45b2e72b0c69c6d1b718","datavalue":{"value":{"entity-type":"item","numeric-id":2871868,"id":"Q2871868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83f42456f3758113b4ad891739822671526d76fd","datavalue":{"value":{"amount":"+0.90172744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2817703$7E5FF2F9-55E5-477B-87C2-96E4A1F1BAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc9a14b69ab5abc32f044a807ef9d305a1af13a6","datavalue":{"value":{"entity-type":"item","numeric-id":2841233,"id":"Q2841233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bb3a4519871b6f6f22a8ddf9b6b2ef8508014c9","datavalue":{"value":{"amount":"+0.89112943","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2817703$7A429E85-582C-48EC-B913-D849BFF46034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d57fe45543f6360e93699ba7881bbf2282b8c19","datavalue":{"value":{"entity-type":"item","numeric-id":3644936,"id":"Q3644936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46ec28bab8a3152f3c7bd7fd2847e44a6cc83de7","datavalue":{"value":{"amount":"+0.8872937","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2817703$2B152D84-B847-461C-8C86-06E7B80A5F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83b4d3f0d84b1e7b78e2c1841f82b86d440f4cfc","datavalue":{"value":{"entity-type":"item","numeric-id":3216136,"id":"Q3216136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e6485983a2cef4a652ba4cbd00f579fe0b5c306","datavalue":{"value":{"amount":"+0.8819957","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2817703$32399BC0-A0AE-4835-8CEF-15EA390EB7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a020cdec295853b77cdfe9fec2964fdae112d7a","datavalue":{"value":{"entity-type":"item","numeric-id":3178293,"id":"Q3178293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a97713c22e24800b6059f4c38f308aa979af2e8","datavalue":{"value":{"amount":"+0.8779688","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2817703$4033369C-F53E-46EA-826A-3D09889CDC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7baf9edc098e029c6e96cc27acd223c5429daa2","datavalue":{"value":{"entity-type":"item","numeric-id":5410454,"id":"Q5410454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eca2de22d6f7b18cab095124ce3b4209a59f8101","datavalue":{"value":{"amount":"+0.87541515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2817703$1CC8C642-6F9A-481A-80FB-9F7DE92BF367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"592dbd5cbb0cff0033572b3a212ef55d68bbc7a0","datavalue":{"value":{"entity-type":"item","numeric-id":2904629,"id":"Q2904629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"872d6e7a4d8722a0adcd79ad125231ed0f31f4d8","datavalue":{"value":{"amount":"+0.8734275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2817703$AD270E19-2BC7-4A00-A5FC-EC7047089E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15e1d24aa94a413bd5eefe1104f8ec9789fdb8dd","datavalue":{"value":{"entity-type":"item","numeric-id":3638093,"id":"Q3638093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd763eeaf4ed8369eae8a1b4c822b06b34a0b04f","datavalue":{"value":{"amount":"+0.87191415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2817703$AAF1D657-E91B-4BEB-81FC-2C43F51750AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d54dda58955eea95be5fa6d16880e84a520d6f9","datavalue":{"value":{"text":"Enriching the lambda calculus with contexts: toward a theory of incremental program construction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2817703$95CD19BD-CFCA-45BA-9337-435F3BC87BE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2817703","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2817703"}}}}}