{"entities":{"Q2464718":{"pageid":2475461,"ns":120,"title":"Item:Q2464718","lastrevid":50235161,"modified":"2026-01-13T14:47:55Z","type":"item","id":"Q2464718","labels":{"en":{"language":"en","value":"Improving the lazy Krivine machine"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5220771"}},"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":"Q2464718$3559EFB5-91C5-4520-A3AA-61A098F20744","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17b0d84c08218f059368e112df1a4147b28754c7","datavalue":{"value":{"text":"Improving the lazy Krivine machine","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2464718$C53CC06D-E8D8-404A-8B20-DEA22CA2DDF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"562e6d0e04d139faecb57c4bf802d784d974e26c","datavalue":{"value":"1130.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464718$5AEE9732-451C-4238-A753-7C33274D2C12","rank":"normal"}],"P16":[{"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":"Q2464718$3127EA85-A9D7-4062-A7FC-2EA0D994BED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f20068c0e1233526cc71af544ae7904fc599100","datavalue":{"value":{"entity-type":"item","numeric-id":2464716,"id":"Q2464716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464718$B7586A05-FDBC-47F3-9C59-E5E5F7F14C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa4e1d5a7999a316ec4d8e4d1d121dc2f939f7cc","datavalue":{"value":{"entity-type":"item","numeric-id":532407,"id":"Q532407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464718$44F8860E-638F-41CD-BA28-6FFE2A1FD8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92e6f0fb05802edbb65d8db275c931566013232d","datavalue":{"value":{"entity-type":"item","numeric-id":2464717,"id":"Q2464717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464718$BBFF1402-DB9E-477F-856E-0C7D350B1C68","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":"Q2464718$96961576-FD71-4EFB-87CB-71F2FB084E1B","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":"Q2464718$E8CA3121-53B3-4373-8B35-E1A6BE342D38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464718$91C386FF-B169-4E8E-8AC8-A0D775E77AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464718$2B303FBB-12F3-41EC-AEAC-944CBAA35057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464718$453293DF-87EE-49EA-84B6-B627BC3846DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01cf853d4cd9a994f5cb1caf8d2f59a3e5bc455b","datavalue":{"value":"5220771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464718$AEACBEA5-934E-4199-B105-1B153595ECAB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f0ce36239dbd08766601c3263a7891046c0723a","datavalue":{"value":"Lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464718$8E901F07-EF48-4497-BF01-314300FE903A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd417575329f42fac8939a575b1f4fde517c1fb4","datavalue":{"value":"Abstract machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464718$43FE7AD8-B720-4FF2-A8B8-8473CC865C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8c56bbe3f870e5d84226ab178e28d8e760ffb6d","datavalue":{"value":"Call by need","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464718$402227E9-54CA-4395-BA97-EAD76B58916C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a976f723da9559ee9d9c0c2f9a85de1ecfe4e2ec","datavalue":{"value":"Lazy evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464718$E0A338CB-AD23-4170-9749-F9169417DDD1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c007ae1867363f659c11dfe2e26b294ddb7e58e3","datavalue":{"value":{"entity-type":"item","numeric-id":33608,"id":"Q33608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464718$AC787404-E5BC-4BBB-B981-8F07EA16EFA4","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":"Q2464718$1055B6B7-1301-4BE5-864E-8F785A745E8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6f08f5008131d5815a3d36069a578aad0f6d0f7","datavalue":{"value":"https://doi.org/10.1007/s10990-007-9014-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2464718$6D733322-9666-48D3-BFAE-90320B660AB1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f986209ab5d10fd52c9fb8b0c52ee5926bc2840b","datavalue":{"value":"W2159250653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464718$19205E09-E584-4BD3-95AD-61E59C6DC72E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"64008b4c107ef7e4a7969f67350470b1da25942a","datavalue":{"value":{"entity-type":"item","numeric-id":3686011,"id":"Q3686011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464718$3332F37E-1D59-40AA-8ABB-5B3F83A904DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2dceb0945904c43f199d35b1b3cc849bc44877","datavalue":{"value":{"entity-type":"item","numeric-id":2390256,"id":"Q2390256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464718$884ED8AD-DC4A-4ADE-93F0-42BB6051F644","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":"Q2464718$3B863CAF-3F77-49FF-BE29-70FA251FC30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464718$4CC35A01-3E56-4704-8655-421F59F8033F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c6a94f896d4c80747f7fc907c773a87640f46f2","datavalue":{"value":{"entity-type":"item","numeric-id":4417880,"id":"Q4417880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464718$5820B46D-474F-40E5-A0AE-74FBB55BA8EA","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":"Q2464718$82D4E602-3D7E-4998-8D27-C2BDC26BBE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed1783d4a8c14f89fb2d050437bdced0fe96268","datavalue":{"value":{"entity-type":"item","numeric-id":5723489,"id":"Q5723489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464718$B304811C-38FC-4874-A379-39DFE87D992D","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":"Q2464718$72B25704-71A3-4784-ACA5-765C3195A11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aae076fad27579dd47a99679b5cf9e3276f4125","datavalue":{"value":{"entity-type":"item","numeric-id":5531462,"id":"Q5531462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464718$EAA1ED4C-8519-42FD-B9BB-6AA5E0FC58B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5073f1b979e419d0dbe3a23606ca20d8c7d3cf43","datavalue":{"value":"10.1007/S10990-007-9014-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464718$FB3FB456-6858-4758-9CAB-07D3762F26BD","rank":"normal"}],"P1643":[{"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":"9011195b5796fc29ebbb532d5470243552c6a9dd","datavalue":{"value":{"amount":"+0.7951487898826599","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":"Q2464718$E144C079-14E7-412D-8F36-E7AA03C6BB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00f37bcf29f0a46418011de049aed32f8ad50cfb","datavalue":{"value":{"entity-type":"item","numeric-id":2390256,"id":"Q2390256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7eb070c90c79e6b8222c186abf258d304303296","datavalue":{"value":{"amount":"+0.7709782123565674","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":"Q2464718$84F777AF-6A5E-4D19-9B2D-E7785DF0481D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78b1973fafec7c0e225e4714033791428782b18d","datavalue":{"value":{"entity-type":"item","numeric-id":2464715,"id":"Q2464715"},"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":"Q2464718$B68AA2CB-13E9-4207-BD62-826226B95605","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":"0c9509a435445c032f66a70a15788279b88ee78e","datavalue":{"value":{"amount":"+0.757870614528656","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":"Q2464718$4256ADCC-3369-432A-A1E1-5915DB4B8046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b543828662cf24a8a599d1271e352e7d15f2b65f","datavalue":{"value":{"entity-type":"item","numeric-id":2464720,"id":"Q2464720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7778096885eed06330eef9469e0f85f3d29605ca","datavalue":{"value":{"amount":"+0.7543565630912781","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":"Q2464718$654A091C-F72A-413E-BBBC-EE985E0C1243","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2464718","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2464718"}}}}}