{"entities":{"Q5348907":{"pageid":7378481,"ns":120,"title":"Item:Q5348907","lastrevid":101078633,"modified":"2026-06-05T23:49:50Z","type":"item","id":"Q5348907","labels":{"en":{"language":"en","value":"A non-deterministic call-by-need lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6763150"}},"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":"Q5348907$A240CE98-D9BD-42A3-BEBC-310B9F3C3E04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6729d45224f9b0290bf88d125d4e9ddf2cb6c114","datavalue":{"value":{"text":"A non-deterministic call-by-need lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5348907$DB4A58DE-05FA-484F-B113-8179C01C1A0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"626dc09491ab3fc12ae29282dfd229217e434061","datavalue":{"value":"1369.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348907$E2C6B088-BC03-4C91-A6A4-EDEFF7945F7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"350794ebe201e2e073eb65840dd511bad53baa3f","datavalue":{"value":"10.1145/289423.289462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348907$3F5C62B7-0AF6-48ED-9A60-3D741B7EBB63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a4bb36f533fec30f6bf84d635fd2a778d07345a","datavalue":{"value":{"entity-type":"item","numeric-id":815984,"id":"Q815984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348907$89C356EA-8077-4AD5-9209-3F3B0A0BAB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d0c8e7fc7107924c2bbe29f5a4f74a049a1ff57","datavalue":{"value":{"entity-type":"item","numeric-id":1110492,"id":"Q1110492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348907$21187EB5-A22F-4500-A36B-EA58DC7D86ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"74996936c8610f86510b1d601db8284105d87c85","datavalue":{"value":{"entity-type":"item","numeric-id":5234254,"id":"Q5234254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348907$A055BF75-A018-4805-9449-354EEF81A6D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f737878d1472b1d610bb956e674a63f02e9cd714","datavalue":{"value":{"time":"+2017-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5348907$D893CDF2-9CC1-4281-8088-86563F97A2C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0548d3c0fdc1a0ac5d07a36613e8d0e6f97dd9e","datavalue":{"value":"http://publikationen.ub.uni-frankfurt.de/files/3471/p324-kutzner.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5348907$2A96CD79-E4CA-491C-B33C-40E08F7207CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348907$0A6C0C8B-0DCC-4AD8-9F7C-FB74DAF0D58A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5ac7e3b2c958f8b9783096571d0607810389b9f","datavalue":{"value":"6763150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348907$934C18A3-76AF-4BFF-962B-3CC883BAF75A","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":"Q5348907$4E47156D-74E3-4A32-8B18-9532378EFA9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c2a9c8ccaccb2153d074cc0b5ea1a6773d19e04","datavalue":{"value":"W2166853829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348907$53289A0A-440B-42F8-9E8D-E708AD30C2BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68b667b5c2513eb1167b64e74ceb7956e1a344b2","datavalue":{"value":{"entity-type":"item","numeric-id":5234278,"id":"Q5234278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dc458fb33f8bb1ee639032fabf179bda2df53d2","datavalue":{"value":{"amount":"+0.9989101886749268","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":"Q5348907$1F24F33D-4964-420C-860F-7F3F41B43AC4","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":"7d2d1f2a42a03db1260128a48f4aca7fc0f3c665","datavalue":{"value":{"amount":"+0.8259216547012329","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":"Q5348907$B486DAD5-FADB-4679-978E-68D893027F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5382aead0fa5c8a0205b1bc26de14b9d794e4a1c","datavalue":{"value":{"entity-type":"item","numeric-id":964003,"id":"Q964003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d2d1f2a42a03db1260128a48f4aca7fc0f3c665","datavalue":{"value":{"amount":"+0.8259216547012329","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":"Q5348907$2822411D-449E-4694-9EC6-5F95BB7CEC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fb7522e68507b50e361e96f29d7c73bb4c21563","datavalue":{"value":{"entity-type":"item","numeric-id":4236864,"id":"Q4236864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d990c74805e36f6a1ded5523a4cb3dcc7abb4b5","datavalue":{"value":{"amount":"+0.8151161074638367","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":"Q5348907$D4631398-7D48-4189-9D86-F1EB214B018E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e5c26a41c23e8e974fa6ffcb8c0028186dbbb04","datavalue":{"value":{"entity-type":"item","numeric-id":3520145,"id":"Q3520145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be352b9d05c6db6bc728983fef54e49fd2590365","datavalue":{"value":{"amount":"+0.8125616908073425","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":"Q5348907$F1ADB653-E26A-4515-A964-916E388A8FB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A non-deterministic call-by-need lambda calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_non-deterministic_call-by-need_lambda_calculus"}}}}}