{"entities":{"Q1944119":{"pageid":1954861,"ns":120,"title":"Item:Q1944119","lastrevid":71945889,"modified":"2026-04-14T01:36:39Z","type":"item","id":"Q1944119","labels":{"en":{"language":"en","value":"Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6150427"}},"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":"Q1944119$4DB21974-4F10-4511-943C-BD6533CA4B3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7343074c8c3451a3405ae7be44ac761cdb2c672f","datavalue":{"value":{"text":"Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1944119$5CF470B8-F97B-4AA5-B530-9AEE598B6636","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7757f17032b4341884b8e24fd97c68bee4dd8388","datavalue":{"value":"1260.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944119$291AB1AA-2AC7-43E6-B769-F621951979DF","rank":"normal"}],"P16":[{"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":"Q1944119$A0ED688E-3807-4DE0-94BC-C3B46057DCB7","rank":"normal"},{"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":"Q1944119$D7A00783-1B08-42CA-9CF0-C56E9C173A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e75e6c6f66519d5f920f67697b30cc385084e2f","datavalue":{"value":{"entity-type":"item","numeric-id":1944118,"id":"Q1944118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944119$3A8E2066-B541-449E-A90D-860E7018656F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944119$6EA6C3A9-F4B3-4FC8-AA17-26A336B3C63A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed03f72b49df8968931f2c7d2aea5cd917c04029","datavalue":{"value":{"time":"+2013-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1944119$F56B773F-BBD6-41EE-B47D-0C7160EC49E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944119$BE480614-FE2E-456E-BC8E-FA22541D8A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944119$D3AE1600-85F0-4457-911B-9F955DBC5505","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d5d7a94a431da78ae20c9d90657fd0c255c18ff","datavalue":{"value":"6150427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944119$FA188ECF-470B-416D-882B-77B68830AE3D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca6198398c997d826be16e356ed3e9cc8b7dc2b5","datavalue":{"value":"contextual semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944119$461E8F41-423A-44A6-B582-3AE0B1614D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944119$9CDCC488-95E7-4F81-9D9D-A970ABC32706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ff5bd607face98a8a2d144348430666abf8ebc2","datavalue":{"value":"programming calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944119$A09FA623-6EA6-40FF-A477-83798F93E2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944119$4FD266EB-3165-4E01-B21E-01DB233250D7","rank":"normal"}],"P1463":[{"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":"Q1944119$0ADDF7F5-AC9A-4C1F-A346-C2E233E7DAD8","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":"Q1944119$E88A5FA7-1591-4308-B86D-F79E21AB7D12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ffd540da93b0aabc9cc9fbad6abedcd7ee556325","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2011.04.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q1944119$14F0A2DA-A962-45A7-BAF9-048847847C28","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6eb68b44da065e510ddee38648d6f0086d40df67","datavalue":{"value":"W1967442686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944119$1A0DFD06-EE8F-4139-969E-190BBC73D4C9","rank":"normal"}],"P223":[{"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":"Q1944119$92DB3625-1383-4AB5-BA0C-AFF9F405AA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f77f5138710937c3cdab35ca1195dc22490dfd5b","datavalue":{"value":{"entity-type":"item","numeric-id":5262940,"id":"Q5262940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944119$EC150B60-B489-478B-B305-B501A7A31ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a02f6e0adf6bfe100b05d0be6ec432037951f37","datavalue":{"value":{"entity-type":"item","numeric-id":2848130,"id":"Q2848130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944119$9237C5D4-82AB-42B9-B51F-2C146A9D12C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a47f4149a5fefe53cc151fa66b583bfcf9de98a5","datavalue":{"value":{"entity-type":"item","numeric-id":964003,"id":"Q964003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944119$A0458301-C3D9-4EF3-8C09-4F5ABC2B4691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cfd9276b29fad8afcdadbaa91529b52a92d469","datavalue":{"value":{"entity-type":"item","numeric-id":4939702,"id":"Q4939702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944119$FF9DE681-9BDA-4EEB-9BFC-69DB713445FB","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":"Q1944119$9DA96D3C-F917-4705-B7B3-7E0E7AF8E585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3bc2bc08bcdb1bc245647e02c25034347db60b","datavalue":{"value":{"entity-type":"item","numeric-id":2956679,"id":"Q2956679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944119$9429EAF1-30EC-40C4-A6ED-8A9E83219EEA","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":"Q1944119$89C5ED8B-829F-4B4A-909C-CC710DFD51B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"751f2fa34fbac456e2da26444f9ef616956f5368","datavalue":{"value":{"entity-type":"item","numeric-id":3522027,"id":"Q3522027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944119$B0DDC4C2-C3A7-49CE-B94E-38BEB432012A","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":"Q1944119$80BC1C85-A365-4B09-9613-88DA545A00DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50ac1ed6f49d0bfc901528f36d022b829502ff3c","datavalue":{"value":{"entity-type":"item","numeric-id":5389151,"id":"Q5389151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944119$6789097B-B8A4-433C-9019-F6CF77B93847","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":"Q1944119$9EC0C175-70F7-4587-AEEF-7C1A50E6FA4E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e7d241b2811f82a82fb29b4f0f83e80d634e8b50","datavalue":{"value":"Q124810604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944119$4DCB4DAB-0CC8-45AE-942E-98E74AEFD66F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f4c16777e9be01c9d804fbf8595e1785924b3f5","datavalue":{"value":"10.1016/J.IPL.2011.04.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944119$1931EB98-D400-4650-9AAD-EA40F6759812","rank":"normal"}],"P1643":[{"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":"1a4245d16b48c085155e398b041f2cd1d7c9da0e","datavalue":{"value":{"amount":"+0.8209901452064514","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":"Q1944119$6E9DA7F6-3ACF-47DB-8D69-708C20B3B63D","rank":"normal"},{"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":"d664819dc693d5e4814010433d6fba2420769a56","datavalue":{"value":{"amount":"+0.8063250780105591","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":"Q1944119$562355ED-4FFC-426B-84B7-A227A0CC44E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07f16d33dc06994c1e8253b3e6cdf1336fcadfdf","datavalue":{"value":{"entity-type":"item","numeric-id":2848130,"id":"Q2848130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa13bb58bf2a530fc66162e85736c8f7c5d93d64","datavalue":{"value":{"amount":"+0.7954643964767456","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":"Q1944119$1DCC041E-2D2A-4D08-BECE-965EF76030C4","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":"055598151a44ce4f4156f5472bbeb6e3bdaed172","datavalue":{"value":{"amount":"+0.7945014238357544","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":"Q1944119$9D5FECE5-5422-49D3-ABB5-E316E4DB462D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2123257a62b6602d69b4a76c434cf0cab81756d4","datavalue":{"value":{"entity-type":"item","numeric-id":3522027,"id":"Q3522027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc75ce295c79001ad852e3eb364cfc6f525a49ec","datavalue":{"value":{"amount":"+0.7867036461830139","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":"Q1944119$274E9A02-5429-455A-B89D-B7C1C3C1BDDA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Counterexamples_to_applicative_simulation_and_extensionality_in_non-deterministic_call-by-need_lambda-calculi_with_letrec"}}}}}