{"entities":{"Q4236864":{"pageid":6266465,"ns":120,"title":"Item:Q4236864","lastrevid":46592841,"modified":"2025-12-25T03:52:45Z","type":"item","id":"Q4236864","labels":{"en":{"language":"en","value":"The call-by-need lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1270234"}},"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":"Q4236864$83014024-CC62-49B3-A20B-86C343EA2560","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"178d675d016aa69eca6430b9006299681403044b","datavalue":{"value":{"text":"The call-by-need lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4236864$DE6017C8-7CEA-45C3-9D3B-17A06B03CE1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e77f85e9fe23f9eb5eb7063f6ad59cf671ec060","datavalue":{"value":"0918.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236864$EB071CDF-D8AF-4131-8EFE-0B624BCBAB47","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0c1ce762a0a090097e1f7742e34a554e18f0657","datavalue":{"value":"10.1017/S0956796898003037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236864$874D6BF3-197E-4945-AE51-28C24DB1F84B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9f39cf9c18e5655ee2f9041b911f4adf84fbd3d","datavalue":{"value":{"entity-type":"item","numeric-id":1575881,"id":"Q1575881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236864$43606B1C-17E4-4EB9-AAA2-7F81EE781155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c501e7c966d4aaf8f262a94ba507af920c84926","datavalue":{"value":{"entity-type":"item","numeric-id":1004063,"id":"Q1004063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236864$3CE3B42E-5D1C-4B38-9C75-D61D53730B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8fea356f84d37a924ceb58cfe03d1b4469ed36c","datavalue":{"value":{"entity-type":"item","numeric-id":879365,"id":"Q879365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236864$99616687-DA57-4590-A9D1-E72F792CCC12","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236864$57EAFBB5-0F8C-4550-B651-3E1C9C37E5D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c8d1413277a7a64ece35cd3951c91118cf93b3b0","datavalue":{"value":{"time":"+1999-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4236864$0101D74B-0454-4930-9D56-1EA529DAA1E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236864$99D10A98-2E12-40F3-9574-2A6A0CB7F0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236864$761683EF-8DEA-46CB-9B3D-57FE08BDC5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236864$EB5142EC-BCB0-4888-9DB4-FF67CA368992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236864$ED91315B-37CF-4B61-BA4B-B12CF171DD2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe83b5265f4c8cdb33dc5bf015d8bb2013dede3f","datavalue":{"value":"1270234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236864$792D7671-D864-4C8C-A868-440EB7F00BF6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfa5671c5f538d2f2514d255901a2b82e764de26","datavalue":{"value":"strict functional languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236864$6BF592E8-AA5E-41C4-BC18-D00D37052744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236864$787E10C2-9CFB-4BB2-9D2C-F815ABC60CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"306babe488cfa3a591cfd4ed12d529826135f187","datavalue":{"value":"call-by-need","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236864$E5CEDF04-7D32-4638-AF99-B0106974D9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236864$8EA03CC3-A94C-4DF5-89AD-858970B5F828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"542ca1301ecfcf98fba554fb95dc21b23433dd17","datavalue":{"value":"standard reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236864$9E9FE5A0-374F-4CBB-ADDD-BF80D89B9DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ace8bf4699cb64394d0b2677300163ec8dcbc25","datavalue":{"value":"observational equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236864$EDEF39CA-6521-4D53-A972-75EA3B435A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49571c6f9ed4a488c3fc9e504bfbabfd66a64634","datavalue":{"value":"operational interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236864$267C6CFD-18F4-4A75-8CFC-7AC7E22E4883","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":"Q4236864$04230AEE-E54F-4475-8127-B2A3927162C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"13bc9403e4bdfd5100a83b680a4f88dedc8a3e26","datavalue":{"value":"https://doi.org/10.1017/s0956796898003037","type":"string"},"datatype":"url"},"type":"statement","id":"Q4236864$84285B03-0A04-4D71-B646-B36EE102FC9E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30d0b1c691944ff745b3cdad45622ff9e9596adf","datavalue":{"value":"W2062838731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236864$2C76C68E-BFAC-4A59-87A3-75BACB76C1B3","rank":"normal"}],"P1643":[{"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":"07ccd0091cc8c0bd9439f96022cc6329dd4f9bbc","datavalue":{"value":{"amount":"+0.8884615302085876","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":"Q4236864$EC8F816C-6F65-44F5-AD4E-205ED5EB32D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd76517bd3b26fcc1777a212772ef67994f70a8c","datavalue":{"value":{"entity-type":"item","numeric-id":2892724,"id":"Q2892724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa784a265d4d1a3c0016dfe302162a0b4a5bd196","datavalue":{"value":{"amount":"+0.8568301200866699","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":"Q4236864$4A398AF2-8F21-40DD-AD4F-FDE62334EE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63aff604660100f80647bcb20bc1a49a63ed1541","datavalue":{"value":{"entity-type":"item","numeric-id":1652986,"id":"Q1652986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f6d2122a9f89a61984d81a63e4dff8eec27cc60","datavalue":{"value":{"amount":"+0.8564614653587341","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":"Q4236864$314F2D16-9BF5-4ACF-953B-5C537874448C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"785bdd7d56c347c5709908eb1a0ec0c2949b28ba","datavalue":{"value":{"entity-type":"item","numeric-id":3648355,"id":"Q3648355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80e657045ae3fea29fed545a055ec7f700ee40dd","datavalue":{"value":{"amount":"+0.8306576013565063","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":"Q4236864$89DC7893-80FE-41E6-A1CD-A7F13C7A89E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4236864","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4236864"}}}}}