{"entities":{"Q5240138":{"pageid":7269706,"ns":120,"title":"Item:Q5240138","lastrevid":91673996,"modified":"2026-06-04T23:46:40Z","type":"item","id":"Q5240138","labels":{"en":{"language":"en","value":"Contextual equivalences in call-by-need and call-by-name polymorphically typed calculi (preliminary report)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7121850"}},"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":"Q5240138$695EA009-F25F-4C64-BFD6-5EC9B9419AAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd5209ad49495e9aa0b1fd51c6f7ce12f106649e","datavalue":{"value":"1428.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240138$F03BEDD0-73C5-4384-B1C1-FCB8612027F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3211ec0fd031f0134e24af3ce5cb141879b2940d","datavalue":{"value":{"entity-type":"item","numeric-id":352944,"id":"Q352944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240138$DC4CB9FC-57A0-4104-89D4-50D08B57DCEC","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":"Q5240138$0138CFAC-FEFD-4EE9-9700-72957B744D19","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e90ac164b640d95b457d4445ab6f8939b3dacb1d","datavalue":{"value":{"time":"+2019-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5240138$D9A1E492-24ED-4671-8A5E-819D93324013","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240138$6B606CB3-B617-406C-9E70-8A239B180F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240138$AB85E8E3-4AE0-42C2-AAE7-E3D0B8E778CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae7f9b07aabfc7a46bd80f1239675d35c167b7e2","datavalue":{"value":"7121850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240138$D3D6B9CB-3B9B-4E23-8016-11E701CF501B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240138$C6F07BC4-2A1E-426E-9664-155E4810B35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e61c81cab6681beecc26672d96a19bcf0f79110","datavalue":{"value":"polymorphic typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240138$FA53A00D-5822-4C21-B8B3-26C890F6AFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b6692564b9126396903952c44aa98b86a268b23","datavalue":{"value":"contextual equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240138$97E6FEF1-A18B-4A0E-9F87-32FD4DEF1E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240138$BAA1242B-E445-4B3C-B8E1-973B7CFCC693","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240138$1EC907DC-A168-40C1-B1E0-F60E2B345A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8f141167345ead0a6453756dbcc4af8338476486","datavalue":{"value":{"entity-type":"item","numeric-id":22046,"id":"Q22046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240138$E9AE7F4F-1411-4807-9813-E749E6796916","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":"Q5240138$64404F2B-B0F0-40AA-B70E-31753229CB4A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97357ae73dd852c1a8a9666e049a568a84a9a4e2","datavalue":{"value":{"entity-type":"item","numeric-id":1383145,"id":"Q1383145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240138$D067091D-D00A-4572-90D9-82BD9BA0091B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"978af8987770da9ce87981964976dc7a47a0da09","datavalue":{"value":{"entity-type":"item","numeric-id":3204055,"id":"Q3204055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240138$D97EE4D6-4B27-4887-83A0-B35011DAE198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef8e8a1bd6a36d7048ab6f3cc2d1559d18184388","datavalue":{"value":{"entity-type":"item","numeric-id":1917068,"id":"Q1917068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240138$4305D898-5082-4AD4-AE7A-E877C327B031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52abab17d5a3b8f01a07edbbf5fb601777486c87","datavalue":{"value":{"entity-type":"item","numeric-id":1870854,"id":"Q1870854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240138$8B87E21E-69B4-427C-A01C-055C2E228C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08d6a93b5519fe40946b3c81233b0a486a55307","datavalue":{"value":{"entity-type":"item","numeric-id":4414308,"id":"Q4414308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240138$F62937D5-1003-4E16-A099-877B1D4CB221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240138$84938C48-95C4-461D-BDDF-263DDC893E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98edad3dda6c3e0d16bb29f0b88b1d7d3ea29372","datavalue":{"value":{"entity-type":"item","numeric-id":5411983,"id":"Q5411983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240138$6CDF0E4C-5931-458C-9F32-006FA24C153E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6de6c4baa2462148dc7c1421fca878b906d1cfc4","datavalue":{"value":{"entity-type":"item","numeric-id":3520145,"id":"Q3520145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240138$CF6D3D83-36E6-4117-B405-7980EA83D57C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b19bf7feba0c135c84f8ebdf410d332e9e0992b","datavalue":{"value":{"entity-type":"item","numeric-id":2986833,"id":"Q2986833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240138$63E5D533-1625-4231-9A77-658D80312F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c7c820bc2a28f2e8b4d3dd872364743bfeebf91","datavalue":{"value":{"entity-type":"item","numeric-id":5432349,"id":"Q5432349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240138$1497B03F-3A9D-4B6E-8B80-1F38265713A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"103d6e176bc7f6ae8cc5ade00021a07ec84cef03","datavalue":{"value":{"entity-type":"item","numeric-id":2958387,"id":"Q2958387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240138$DB1D3CD0-E8D3-4905-9F14-B03B809E6FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e6b5d8c44f3e9428846dab903f2a3cb13d0c931","datavalue":{"value":{"entity-type":"item","numeric-id":960863,"id":"Q960863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240138$E925AFBE-AB76-4D78-BEEE-CBF30C7CCC74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b175533d446d839ceaf9f41483a9b382575054e9","datavalue":{"value":{"entity-type":"item","numeric-id":1944119,"id":"Q1944119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240138$D3F0A2F0-6F35-44F5-B52C-454D6B24BAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f946c053530a04fa412c64a6ef328700d1a459d","datavalue":{"value":{"entity-type":"item","numeric-id":5178823,"id":"Q5178823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240138$1AF80EE2-45B1-4640-92A1-B5B3B22C9D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4642fe9dd95a3568249d225c054225fb40d2512","datavalue":{"value":{"entity-type":"item","numeric-id":3520168,"id":"Q3520168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240138$EB9362E5-223E-4C94-96D6-4C54149E7827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82492b21c24abfdefd72b1558ed58e412cb1efbc","datavalue":{"value":{"entity-type":"item","numeric-id":2464947,"id":"Q2464947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240138$0E6C1E31-FA89-40AA-9F53-60672CD10987","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a238a10767d7c4b5465a5fa44d56c34a2807696","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2014/4583/pdf/p063-07-schmidt-schauss.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5240138$9B941DE7-97F9-4B8A-9FCC-22FCF8DD8445","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4025e72cb6628dc10372233c2b3927b45de82a73","datavalue":{"value":"W2244650903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240138$02B207F3-382A-4211-9C67-9A5A943A1A7A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d296feb4bfca19826c70def0929b797e31d8849","datavalue":{"value":{"text":"Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5240138$3559BB8B-7800-4F28-A05B-CDF2773A9201","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7e3472b81a3d7f1c3f623ff377a704b58e8ea03","datavalue":{"value":"10.4230/OASICS.WPTE.2014.63","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240138$E7B7B425-A3E4-4FF4-B36F-5BBBD12B8891","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a03ed687f5abed1c333e3840f1002c5dbf87379","datavalue":{"value":{"entity-type":"item","numeric-id":5178823,"id":"Q5178823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ca4ecc67ff34caf665f1244896aac0592d1202e","datavalue":{"value":{"amount":"+0.8243054747581482","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":"Q5240138$8D1ABAD6-AC28-4915-B13C-5ECC60202AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2329b1899e1a9fe4d0570e6fdc31ffd696f45c09","datavalue":{"value":{"entity-type":"item","numeric-id":5389151,"id":"Q5389151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44aa66b7bae270d684df4a9706eb616e6ad0c277","datavalue":{"value":{"amount":"+0.8210578560829163","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":"Q5240138$E79AA8C8-A78B-4B5F-9AB4-06096899103F","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":"3f0c8d128b89435b7fa034c19f5f678ee7d21ba9","datavalue":{"value":{"amount":"+0.8150126338005066","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":"Q5240138$2F4EBD93-B4A7-48A4-8622-DACE8FE18E67","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":"72b6a8f62234f11a413e31c46d9e19cf3cd036dc","datavalue":{"value":{"amount":"+0.7915688753128052","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":"Q5240138$57AA71AD-E96C-44B0-BCAA-AC38557517AC","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":"f608348dd5c179ea9ef50cdf7d0a1d4557b5bda2","datavalue":{"value":{"amount":"+0.771375834941864","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":"Q5240138$F896E7A8-985D-405D-9F5E-D3DAF5821C90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Contextual equivalences in call-by-need and call-by-name polymorphically typed calculi (preliminary report)","badges":[]}}}}}