{"entities":{"Q964003":{"pageid":965851,"ns":120,"title":"Item:Q964003","lastrevid":79796258,"modified":"2026-05-06T14:43:47Z","type":"item","id":"Q964003","labels":{"en":{"language":"en","value":"Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5692854"}},"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":"Q964003$62B0B0A1-29B8-49FE-9D48-9D37EDD3FBBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ccb91b35881443276e45b113e32372b85fd5310","datavalue":{"value":{"text":"Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q964003$0E5E7C77-A15F-42C5-B6A3-F98E72C5BA93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0effffe5f5be8654a0bda232e94d39473144c3c7","datavalue":{"value":"1187.68129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q964003$1EEDAC25-3CD6-4087-9C1A-E132153047E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"132fd1ede8b81ae9e77d60fbea8d3a7f678420e6","datavalue":{"value":{"entity-type":"item","numeric-id":964002,"id":"Q964002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964003$B297A32B-8781-4A23-B741-81AA48A7F195","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":"Q964003$FCE87E4B-FDD5-4C57-AD61-2F391B3A54F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964003$5FD80753-3E96-4B51-B94C-3759BD0D13A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f1f3c5f1227f28145a4ba8e4248ed28c6c84855","datavalue":{"value":{"time":"+2010-04-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q964003$93562B8C-CB99-4D08-A7BC-5CF34455A07C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q964003$873837B8-9013-41F4-9B71-F399A91F1A40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2a1fee7a66ab02d1e5319c3af34ce725698607c","datavalue":{"value":"5692854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q964003$72A21C28-2793-4B19-A84B-79ACB630E7E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q964003$CDBC96B5-441E-45A6-A843-B7304A79C537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b6692564b9126396903952c44aa98b86a268b23","datavalue":{"value":"contextual equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q964003$1E38043B-4381-4C09-BAA4-C6C92CD8AEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"306babe488cfa3a591cfd4ed12d529826135f187","datavalue":{"value":"call-by-need","type":"string"},"datatype":"string"},"type":"statement","id":"Q964003$62075006-507D-4A17-88DA-E52CA6D4F7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q964003$399CF1D1-25D1-4F6B-B3C3-3D3521365DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef30aab581976184f17762a9f599ef510abbde66","datavalue":{"value":"non-deterministic lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q964003$A631C3C0-D945-4233-9913-2F93BCD53B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c897aea47c5e32af103c34b406dd9d47282fcbd1","datavalue":{"value":"higher-order programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q964003$1472BBEB-B4B9-4F3B-A697-7857012E9AB2","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":"Q964003$446CF977-95CD-4778-93A9-97E94413B619","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":"Q964003$3C58F8EF-7A57-48DD-A9F7-04E351C5F080","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bfa58b38447998e0bde13584e7bcf9bd7294bc81","datavalue":{"value":"https://doi.org/10.1016/j.ic.2009.11.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q964003$3EE4B2EE-9222-4394-B686-6F71F0BE92C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f1c6eae95f769a78af649e69129d7d1df6ad6268","datavalue":{"value":"W1967481987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q964003$522F933C-2EBA-482E-AC6E-F0F4488DA4B2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ccc72b985f5b63d7bda2fc930c55fc8251f9bf","datavalue":{"value":{"entity-type":"item","numeric-id":2943366,"id":"Q2943366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964003$14B9C87B-55CD-4889-9A6C-A145AD7FD285","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":"Q964003$6D828C76-2041-4F49-9C99-90C8A9CA18AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ff8d61329145c82d13d9d25665563352a89931","datavalue":{"value":{"entity-type":"item","numeric-id":5348907,"id":"Q5348907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964003$8274805F-C665-4891-9176-92A4B6EA7218","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":"Q964003$00574005-7325-4422-927A-6F00C65C5B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6fe3949a60e4535ad5a0b04a8726d37af9ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1249567,"id":"Q1249567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964003$22E1858D-9C24-4C3C-A79D-D6718C344D35","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":"Q964003$033EC4E1-C814-4DE6-A88F-A95270F01FF0","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":"Q964003$F6D28F5E-27F7-4D7E-A6D9-85BF4E974D88","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":"Q964003$5386423F-44BA-46EB-9AE6-EC4C0CB576EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"634969c7735e685aeb8a1782172ac61025af3861","datavalue":{"value":{"entity-type":"item","numeric-id":1575889,"id":"Q1575889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964003$FFFB2229-1281-4145-B023-7B953360438B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"234ca72d36654d00b6e8980f7c7e9a102739c5e4","datavalue":{"value":{"entity-type":"item","numeric-id":2852102,"id":"Q2852102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964003$5E4D61FD-C571-491A-88D2-388064A9378B","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":"Q964003$EF9F2FBA-C9E3-4A4F-8B7E-9409FACCA3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ab98f9144c6732b53f94131308e4bb8bf4b801b","datavalue":{"value":{"entity-type":"item","numeric-id":2704324,"id":"Q2704324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964003$AF3CF8BA-5A59-48EB-9930-4047E91C679E","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":"Q964003$CC67ABD3-208F-427F-ADD0-647A17268D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc937e27d5d0efb7afbe95dc3a7e3d054e3183c1","datavalue":{"value":{"entity-type":"item","numeric-id":4358458,"id":"Q4358458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964003$7B4B41DD-70CC-41C8-8AEA-D623D4E1F908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbfe4964a46d9b5ae61ca298ddf701e390f98625","datavalue":{"value":{"entity-type":"item","numeric-id":4236864,"id":"Q4236864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964003$E9FFC78A-B78E-4169-9268-30A46CE7E5F3","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":"Q964003$22077CC3-569C-4FB8-992A-77F308543801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e931bab6524c19df841d82e431acbd0726513d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4856176,"id":"Q4856176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964003$D09F090C-2565-4107-A1AF-BD33E3974620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964003$A76ED860-D84A-4468-B7BA-A73EF93F1827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964003$DE8E2EEA-C22C-4464-B712-A6B67D91F68A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fcc654d5fd80aa1848a0e5437d716d9eea838465","datavalue":{"value":"10.1016/J.IC.2009.11.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q964003$BE17B604-DDDD-4481-ACFB-80B43F382CA8","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":"ad4503e231a4a210771b44bd5e7d8512dbf44241","datavalue":{"value":{"amount":"+0.8379407525062561","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":"Q964003$8D8838AC-A111-4F88-B1B2-4237C6809408","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":"dc6d538935cd5437ffe0e171379e44caf8fadec2","datavalue":{"value":{"amount":"+0.8335580229759216","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":"Q964003$DBFF355F-344E-4466-BF59-E12479A5CA7E","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":"168a9c90dc2e526fad265010fa7b0a5dbc729341","datavalue":{"value":{"amount":"+0.8201959729194641","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":"Q964003$E73D6789-CE5E-4416-9A5E-7342E1D8745F","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":"e0c6d23eb4d6b37e42b0fbc4dad173c01bf89b8d","datavalue":{"value":{"amount":"+0.8043115735054016","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":"Q964003$6E7CE8EE-FF6F-4187-BFB1-6993E4A3B439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad96146fbb65bf27352de10af474d2e6dddf63be","datavalue":{"value":{"entity-type":"item","numeric-id":1944119,"id":"Q1944119"},"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":"Q964003$845DC8B2-DFEE-49C3-A1D2-9660FCDAB19C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Similarity_implies_equivalence_in_a_class_of_non-deterministic_call-by-need_lambda_calculi"}}}}}