{"entities":{"Q2693299":{"pageid":2704043,"ns":120,"title":"Item:Q2693299","lastrevid":82750094,"modified":"2026-05-06T21:51:56Z","type":"item","id":"Q2693299","labels":{"en":{"language":"en","value":"Program equivalence in an untyped, call-by-value functional language with uncurried functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7665441"}},"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":"Q2693299$6885BE8C-E395-461B-9EEB-7240C02DCFBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3fd7d8aef32e52ec3ce36983ad2f19f72b6f6b2e","datavalue":{"value":{"text":"Program equivalence in an untyped, call-by-value functional language with uncurried functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2693299$40A24CAF-CD08-4AD9-99F7-FEA37A55DCB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693299$411A6F12-F29B-48E2-A1CD-B519460F256D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693299$BA0998CF-FF51-4B97-9EF0-C944295AC3F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d6f899d4c7bf101307e9ed859fa217eb5616ba0","datavalue":{"value":{"time":"+2023-03-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2693299$13EFAF2F-EDBE-4AA2-BD5F-A688A1442462","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff2507867950b723eb8902524c512a0eb38ba4ee","datavalue":{"value":"https://arxiv.org/abs/2208.14260","type":"string"},"datatype":"url"},"type":"statement","id":"Q2693299$576A6314-2FF0-4935-A7AA-D9AFC5D308FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2693299$929F0F52-62E8-4A70-842E-9FB601F1525B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae51d6940e2fdb8a9efe30a0f93aaee9fdd2f7fd","datavalue":{"value":"7665441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2693299$818877D1-E0AB-450C-AB58-94F9C765FC1E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b6692564b9126396903952c44aa98b86a268b23","datavalue":{"value":"contextual equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2693299$055D2343-F43D-40CB-A60B-72B2CA51E597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dac5de8e537c71cd90df166682399621b2f7fbf","datavalue":{"value":"program equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2693299$BEF7E8D2-44B1-49C2-BEB8-CC268B3F6A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd09c797952a268ece59feabb30b339489339461","datavalue":{"value":"logical relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2693299$DE3198FE-64B6-4654-B0AB-564153BACA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2445ca738926c95ec1b5b67b14d42bd3e9e6b399","datavalue":{"value":"CIU theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2693299$C1D9697F-1FC5-4391-806D-3AC16183AC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40119052f3f3d9c0011b2219c60ece7472002e1f","datavalue":{"value":"Erlang","type":"string"},"datatype":"string"},"type":"statement","id":"Q2693299$FDD7154B-50CB-4988-AC4F-C27C0A114B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2693299$FE466D7F-8F70-4711-AE97-986B1FC9E5D2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b687213a8375e65a3248834735a16b100440644","datavalue":{"value":{"entity-type":"item","numeric-id":19254,"id":"Q19254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693299$4BE8B183-EE3A-401F-A72C-9C9E0CE0F832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab152b757a9a33f97b564118c3c5f6c33b04143d","datavalue":{"value":{"entity-type":"item","numeric-id":55103,"id":"Q55103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693299$7C5B19FD-CF12-4E98-8EA3-8404E39CA3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693299$A5650AC3-783D-4173-9C35-5D4B52B1D30B","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":"Q2693299$0EA19FD0-DF98-49F6-8A95-A04471ED91A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b939f35aac92cfdebd597a7da766ab109f18db97","datavalue":{"value":"W4319756006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2693299$3BD2A2B8-13FF-4807-B136-2BD011EFC585","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a3832b0c7d5dbd4a20b3b3c5eae088a1374ce93","datavalue":{"value":{"entity-type":"item","numeric-id":4708513,"id":"Q4708513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693299$EB1269CA-B284-468C-BE3A-8B14717AE08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb1999a2a08f75a05ecab0870f366cc024084dd","datavalue":{"value":{"entity-type":"item","numeric-id":2037429,"id":"Q2037429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693299$6BBA90EA-4C0E-4483-9A2F-28263F651629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca8e84233097140277b284dcf67324b3ae9eb585","datavalue":{"value":{"entity-type":"item","numeric-id":4813228,"id":"Q4813228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693299$391509D2-A5EA-481B-9E06-BDFEE1BD5CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d6c670858c666964a1760602fe084699e2f1b79","datavalue":{"value":{"entity-type":"item","numeric-id":1785852,"id":"Q1785852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693299$C47B3BE2-CD90-4F9C-ABCF-7684AA993CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b499d373d3e1fef9dfa9765dc61a243dacacb02","datavalue":{"value":{"entity-type":"item","numeric-id":1648893,"id":"Q1648893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693299$5370CA58-8CB1-4DA6-9A89-EACCD4586DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"278127aa2eae3e30d78f12ddab9b5b2634066421","datavalue":{"value":{"entity-type":"item","numeric-id":2409740,"id":"Q2409740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693299$66DC0AEF-E0B7-4EC9-9325-BA1DDAAE9078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca101d97ed551b886cb31338fc3878673147a5fc","datavalue":{"value":{"entity-type":"item","numeric-id":3455085,"id":"Q3455085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693299$BD5FEAEC-9649-41C7-B6D7-B6D1E2D43573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"232426b4a336ce9f56636b166cfd296a7cb0f2d0","datavalue":{"value":{"entity-type":"item","numeric-id":4225152,"id":"Q4225152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693299$4A526323-3896-4A11-AD90-345B0D98D1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faaa5594e2abc159e6f86d7e94e792da18998f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1261291,"id":"Q1261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693299$006ECCE5-EAD6-456B-8532-2E3F261DA6E0","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":"Q2693299$2F4EE433-141C-43B1-80A3-320DD81BE189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b2764b08fc9c2cf581a3f76188486052f05ac78","datavalue":{"value":{"entity-type":"item","numeric-id":5408426,"id":"Q5408426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693299$11F0B1A0-CC38-4835-B704-7AA2E612ACE2","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":"Q2693299$4176E16A-D964-4B51-966E-8035402146D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34fb9ecbfae88829fc85b064240ac621c4f435dd","datavalue":{"value":{"entity-type":"item","numeric-id":4943358,"id":"Q4943358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693299$667F85DF-AA26-4B20-AA54-916600330E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d3bdce3682e835566f985e4cf194f60d508078","datavalue":{"value":{"entity-type":"item","numeric-id":2988648,"id":"Q2988648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693299$B5A3CAA0-73D3-4F0C-B314-85B0E72EF7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e540e9037d6b40bc6045b99bb685bc55f586971","datavalue":{"value":{"entity-type":"item","numeric-id":5899009,"id":"Q5899009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693299$FC621ECC-7CD0-4276-BC21-020C8A1BF61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5043e724b4109507199e666f83385ead2d40874","datavalue":{"value":{"entity-type":"item","numeric-id":2851672,"id":"Q2851672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693299$DB228835-4665-49AC-A606-9C84CA9FF4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e5bcb5e38837625eaefdbdcd77b2a3f1031d23b","datavalue":{"value":{"entity-type":"item","numeric-id":4499197,"id":"Q4499197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693299$438892FD-83FA-4BD7-8573-BB7AF246ECEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693299$A591A0CC-F4F3-4F80-9628-F3B7F8FD205A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19d66ddfbdcff9769d947d25dd1850066d3bb8a","datavalue":{"value":{"entity-type":"item","numeric-id":2873779,"id":"Q2873779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693299$42B8C1D3-5F4D-48C6-8BEF-8EFB5A50FC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2421034b2e5b8c9a4605f25882b5ef4d7bb9c2","datavalue":{"value":{"entity-type":"item","numeric-id":2704328,"id":"Q2704328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693299$04F17E77-54DA-47C8-AFAA-15CBC0FD1013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9543099d29498fb493d6710c0dfdcb215b2f6a6d","datavalue":{"value":{"entity-type":"item","numeric-id":1273578,"id":"Q1273578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693299$753003FA-A29C-446D-95A0-7CDF45BA0061","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe27e8a0036aab6af285c98f5ff6c1d504f79f29","datavalue":{"value":"10.1016/J.JLAMP.2023.100857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2693299$6DDFCB6D-CE08-4F2B-A3EA-AC607FAFE495","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba5024f1487f1b52b640ac23bb45fd81639151ab","datavalue":{"value":{"entity-type":"item","numeric-id":6602500,"id":"Q6602500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"154d9de510a911cd9ec86f760fef7e85422b3e83","datavalue":{"value":{"amount":"+0.7783612012863159","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":"Q2693299$F8DB613B-424D-4CBC-8EA0-2913F8DF3D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d79778a34e3f1a8e33421ae10a25b57b7339105a","datavalue":{"value":{"entity-type":"item","numeric-id":2037429,"id":"Q2037429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"465f634247cd2f43bda2fefb8fa222b3667fc756","datavalue":{"value":{"amount":"+0.7412371635437012","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":"Q2693299$22981978-2D9D-4A24-AC76-FE3971532672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"995530fbce58947803e63e9c81a911c424ab6ecc","datavalue":{"value":{"entity-type":"item","numeric-id":1791198,"id":"Q1791198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4342751854427d5d6cd6ba84bc98c5dc300ac12","datavalue":{"value":{"amount":"+0.7286741137504578","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":"Q2693299$C0CA4343-52BC-4976-AF08-58EA39D4EF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08bddb4a79f7ee198ff8c99d161d63ff5788c0ce","datavalue":{"value":{"entity-type":"item","numeric-id":2939022,"id":"Q2939022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"074e00f4caddf6fd6aabdf8d6a442cbed695aa9d","datavalue":{"value":{"amount":"+0.7225002646446228","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":"Q2693299$1D557380-21FE-44F6-816F-4F7F8ECDD654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0245c41ff55e3359cbb4e4959dbf45e9198789d","datavalue":{"value":{"entity-type":"item","numeric-id":2873779,"id":"Q2873779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d86ecad06cae0bb94635f1bf504e2136966bd4a3","datavalue":{"value":{"amount":"+0.7208759784698486","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":"Q2693299$820274CA-1DD6-4F99-8FCC-48C900152988","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693299$A29829E8-379E-42F4-BF89-BE12783ED123","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Program equivalence in an untyped, call-by-value functional language with uncurried functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Program_equivalence_in_an_untyped,_call-by-value_functional_language_with_uncurried_functions"}}}}}