{"entities":{"Q2464723":{"pageid":2475466,"ns":120,"title":"Item:Q2464723","lastrevid":50235167,"modified":"2026-01-13T14:47:55Z","type":"item","id":"Q2464723","labels":{"en":{"language":"en","value":"A call-by-name lambda-calculus machine"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5220775"}},"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":"Q2464723$6E3AEB79-53AC-4FDE-AF80-34A655522888","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d313d08924a4a29010914135c39b3a39ac33a483","datavalue":{"value":{"text":"A call-by-name lambda-calculus machine","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2464723$8009720C-7621-4715-A0B1-4C064D4F8EAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ada077aec7bd0510d21fdac8d3ee951da1d8522b","datavalue":{"value":"1130.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464723$15620493-3B2D-49AB-8C5B-4268CBE718BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c930bfaa88d0466feb9bef34cfbca5f6b60b9e3","datavalue":{"value":{"entity-type":"item","numeric-id":206560,"id":"Q206560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464723$B79B2DD1-C061-4117-ABDE-1553C876FD20","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":"Q2464723$6BAE7C43-12CA-4BA0-A1D8-B78FA318C8DA","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":"Q2464723$E56ED82E-C30B-46E6-9E4B-A167B4AF414C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464723$E565EF6B-D710-44CF-8D09-20021550232E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464723$30B7BE64-507B-4F6B-B5B0-BB333815EAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464723$5E1C5AE0-4CB7-404A-B987-664D73355194","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a752cbdeca87eeceb929014d9d30d92c84878a6","datavalue":{"value":"5220775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464723$14A864A8-AE7E-47C1-887C-C47C65025C63","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa95244a2241359292bab932df5e149d58d4f052","datavalue":{"value":"Lambda-calculus machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464723$9981C32D-CB42-42CA-BBC2-8E2AEC3F4733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0be8c7cbce1b46590220012418cbadf0402ae697","datavalue":{"value":"Control instruction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464723$C723CF9B-C11A-44BD-A61C-CABC43051460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f89b34d84a29901e6cfe557573b31fa1373d9525","datavalue":{"value":"Curry-Howard correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464723$E0FAB0B6-165D-4789-8146-FA5F6296AAE9","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":"Q2464723$1BD322FD-5971-4EEB-9CBB-13DD65A3CD94","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6dd15e9c5dcaff437df50b119ddd35977aa9f0c1","datavalue":{"value":"https://doi.org/10.1007/s10990-007-9018-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2464723$F63610C5-C83A-450B-867C-FED5EBFF8916","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3f7c27f428797192b0ab8cdda0117c350139592","datavalue":{"value":"W2040871029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464723$1BDB60C0-E5C3-429C-83A0-DC6C59165F3D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2747a8c6f8d719be02ea61693091a9779659f973","datavalue":{"value":{"entity-type":"item","numeric-id":879356,"id":"Q879356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464723$A8280805-8A93-42DB-8C2A-68DA6F0687B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70578058965d2cedd8dbe1f19fa5de0174951ca8","datavalue":{"value":{"entity-type":"item","numeric-id":2753680,"id":"Q2753680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464723$F9FF198C-514E-4AF3-AFF3-DABFFA98DCD4","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":"Q2464723$0893CA2C-AA1D-4D39-9BF5-295D591CD035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050744ad710b2732fc1db2e9f7bd06de890ca43f","datavalue":{"value":{"entity-type":"item","numeric-id":4274979,"id":"Q4274979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464723$85CBDD2E-AB9E-4E49-9BDA-4283700F877C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b75dd3fb8b48431eb9ad5b02ce91286f91c46a4","datavalue":{"value":{"entity-type":"item","numeric-id":5945009,"id":"Q5945009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464723$615BA3D2-4563-4357-8ADD-A10DE94739FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbc492aae6606d7fc7e30022e1b80faa51ce6ed9","datavalue":{"value":{"entity-type":"item","numeric-id":1884884,"id":"Q1884884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464723$1E1208BB-C0F7-43F9-8CE2-E433A4B68B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f7bcfffc49742b219cd84a695191ca8beef7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5734774,"id":"Q5734774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464723$6FC99239-30FD-4C2E-AEB6-94598BFF0E3E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a73addbf480b1d8b0c56b5b9ed4cbfb524fbd03d","datavalue":{"value":"10.1007/S10990-007-9018-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464723$BCB22ADB-5E74-4E8D-8303-170E87F31392","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ec3be053c0496b730a6e83c3d93e4f021451039","datavalue":{"value":{"entity-type":"item","numeric-id":4813223,"id":"Q4813223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff899434a7a9f31f5c1e02401993bb2267b648da","datavalue":{"value":{"amount":"+0.7697430849075317","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":"Q2464723$1653CE9B-8F14-4844-B4FD-60BC1D4C4DEC","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":"9298648630cbaea204491ea6ccdc5fb033fa7045","datavalue":{"value":{"amount":"+0.766635537147522","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":"Q2464723$075AEA21-768F-4D13-9912-22F48EA869FE","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":"ce8ecd583371b08a5a45e1a8529eea61c639e8a2","datavalue":{"value":{"amount":"+0.7664790749549866","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":"Q2464723$01DE1EC5-EB9E-4DE0-A6A8-6705D3A86D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"615205a820ea49605a4feddfbfe6164836c5fc6f","datavalue":{"value":{"entity-type":"item","numeric-id":4222771,"id":"Q4222771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce8ecd583371b08a5a45e1a8529eea61c639e8a2","datavalue":{"value":{"amount":"+0.7664790749549866","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":"Q2464723$5C45C225-05D8-47D0-A16F-AD90A4763531","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":"a29bed96c7b2c6985b1c9cd55042118761409e89","datavalue":{"value":{"amount":"+0.7608369588851929","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":"Q2464723$4AC47FC3-B8A5-45D8-84CD-0331E7D5C597","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2464723","badges":[]}}}}}