{"entities":{"Q2464715":{"pageid":2475458,"ns":120,"title":"Item:Q2464715","lastrevid":50235158,"modified":"2026-01-13T14:47:55Z","type":"item","id":"Q2464715","labels":{"en":{"language":"en","value":"Explaining the lazy Krivine machine using explicit substitution and addresses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5220770"}},"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":"Q2464715$D7A076D0-2609-440C-9FA7-24AB8F8CA9F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b35b8412a89334b0a8f5141028eaeba15efae9d5","datavalue":{"value":{"text":"Explaining the lazy Krivine machine using explicit substitution and addresses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2464715$0415D603-088A-48DE-8AD1-96B97E854DEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4624527cd09075d8fa2c9b17e2115afb922394fd","datavalue":{"value":"1130.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464715$2DECFA80-0786-4CE6-80AA-E4E54D3CEFE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03803a86c259dd7d40f426fa3d0b01530e98d11c","datavalue":{"value":{"entity-type":"item","numeric-id":282107,"id":"Q282107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464715$3BE2D83F-961E-48A2-A4BF-AA39772B07D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464715$76B9BCF4-81A6-43D1-8644-28FC14C4CD91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"393895076543d7c664a07b10d6d8108144d1c207","datavalue":{"value":{"time":"+2007-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2464715$7F8A35D2-4F34-4612-B399-A6C38F64BCB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464715$C9D9B9DD-3EF3-4F39-BA45-C0E631E4174D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464715$FF2E31C4-164C-40BB-B099-1675BE14656F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464715$103042A4-C976-4DD7-BBE6-3A880398D40D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d0786558a1428bd015443ed994a7e7f65d68aca","datavalue":{"value":"5220770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464715$C12C705C-02D1-4571-88C3-C9D1F311857A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd417575329f42fac8939a575b1f4fde517c1fb4","datavalue":{"value":"Abstract machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464715$A2DDD0D7-CE50-4FE8-863E-125B7CFA225E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8b12fc105a33b578566aa64fc606ab9b86d7a36","datavalue":{"value":"Call-by-need","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464715$F289DF8E-3487-41EA-828E-B6C6599588B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a18980cb82f71b0485231a608a132def1ee64925","datavalue":{"value":"Functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464715$8E61935A-C328-45E6-B03E-7644D6206787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a976f723da9559ee9d9c0c2f9a85de1ecfe4e2ec","datavalue":{"value":"Lazy evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464715$741B3998-81D2-4D69-9BE5-A6B53DC17AFF","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":"Q2464715$0C0F0782-EE7B-43A3-AE0F-36A1BA8C13BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0856173ba60241ba02884ac275d463d57818e73","datavalue":{"value":"https://doi.org/10.1007/s10990-007-9013-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2464715$0F46606B-A979-4E7F-8474-53D298176DDF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d45b72216b0ff45dea4d29707cd5bee7ff005c4","datavalue":{"value":"W1996265221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464715$58B0AEC0-B317-44A0-97AD-952A9A1C7D14","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464715$449CD1C6-C083-46ED-83AD-EA4E97407A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3d6fff22d80d103a67815db01fea22a1e6d57bf","datavalue":{"value":{"entity-type":"item","numeric-id":2566031,"id":"Q2566031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464715$E9680BA8-4C4E-406B-A975-7F857A18ACCD","rank":"normal"},{"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":"Q2464715$A614EB16-A9B0-4E12-8698-E50F771207A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7145a08058c2606f14ee8ef77509e0e6d4370df","datavalue":{"value":{"entity-type":"item","numeric-id":804281,"id":"Q804281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464715$73615CFE-9B79-42CC-98A2-C78E80364E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464715$664A1A18-1EDD-4830-A749-359FCFF5FF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8acbc35a8cddd0d4b3e090c62de84c098dad3c37","datavalue":{"value":{"entity-type":"item","numeric-id":4236754,"id":"Q4236754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464715$10E222A4-C592-401A-B0E5-8FB4DFF45E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e002c7703a7e63f8238d4e7c16ac6a5af026e65","datavalue":{"value":{"entity-type":"item","numeric-id":3862437,"id":"Q3862437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464715$C9370D08-5B44-460D-8AE3-87B5E4A7E06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63e7a980752f416428676a035b214f461457f89c","datavalue":{"value":{"entity-type":"item","numeric-id":5348894,"id":"Q5348894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464715$6F74B02A-BD58-46B4-B3D8-2C1C1C415A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ace06db1892d761ccecefca66e1592cc981c11","datavalue":{"value":{"entity-type":"item","numeric-id":3625516,"id":"Q3625516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464715$75B2ABC8-3CBA-43E3-8677-0F425C8464E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fe7d6c0b3a45eddceda9b3c78d2d5a3dd52603e","datavalue":{"value":{"entity-type":"item","numeric-id":4380997,"id":"Q4380997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464715$2192C09B-B55B-4C1E-81CD-ED6005883DCA","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":"Q2464715$390420CC-A1FC-46B9-9706-26344923E8C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"858b0531aa9de752f6c5bbbdec76a7b88d07f421","datavalue":{"value":"10.1007/S10990-007-9013-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464715$9FEFA3DE-831F-4A49-9BD7-4C61252F0F63","rank":"normal"}],"P1643":[{"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":"d8886fb75fe3905d661f8bee42f301938b432506","datavalue":{"value":{"amount":"+0.7842427492141724","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":"Q2464715$EB759174-8E16-4074-A858-54D524916C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe769a8cf37f421c390d6993c71dc5b6dc55800f","datavalue":{"value":{"entity-type":"item","numeric-id":2464718,"id":"Q2464718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"176e616cc34bf15f25c228693f486ba25c53c115","datavalue":{"value":{"amount":"+0.7620528936386108","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":"Q2464715$DCA7F5E9-EFCF-4FC1-9C2F-70B8FC6B5E55","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":"aec4865f98aa09abf070eb9283e5887af45b1144","datavalue":{"value":{"amount":"+0.7508991956710815","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":"Q2464715$2B503D7D-63C5-4ACD-B208-B3C453E1F453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e60df0b1a2933b10baef047509fc4e44588249a","datavalue":{"value":{"entity-type":"item","numeric-id":1575873,"id":"Q1575873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aec4865f98aa09abf070eb9283e5887af45b1144","datavalue":{"value":{"amount":"+0.7508991956710815","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":"Q2464715$2D88BABD-CB7E-4DF6-8A52-D746AC586B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3b73d2c5a91c1598f4f5382f667e3592533cc05","datavalue":{"value":{"entity-type":"item","numeric-id":2464721,"id":"Q2464721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"482e3171790ed88f8051ada7d7b5872355085e9a","datavalue":{"value":{"amount":"+0.7497002482414246","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":"Q2464715$DA276F02-8B78-4A06-A300-19C8070D4BE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2464715","badges":[]}}}}}