{"entities":{"Q1887170":{"pageid":1897912,"ns":120,"title":"Item:Q1887170","lastrevid":69552186,"modified":"2026-04-13T07:47:15Z","type":"item","id":"Q1887170","labels":{"en":{"language":"en","value":"On the call-by-value CPS transform and its semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2118432"}},"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":"Q1887170$9654516B-F021-44F1-AECF-5377F4673799","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46c45bb4a33c534b061ded1530c2148adaaad9d7","datavalue":{"value":{"text":"On the call-by-value CPS transform and its semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1887170$AC44C56A-A0B6-4B0F-A832-B63A7BDDF339","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5fa4ba341eae79542894096a51315ebcc41336a8","datavalue":{"value":"1078.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887170$E6395BDD-CF67-4753-8F2E-4E3F32ECD5A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b7ef1733c276d7b71a41a1ae09428b7b77bf220","datavalue":{"value":{"entity-type":"item","numeric-id":1398460,"id":"Q1398460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887170$AE490C01-1ED9-480D-A3B4-2673EC2D0E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e624fd73ff116c5eb47d362d912517eeff5bc33f","datavalue":{"value":{"entity-type":"item","numeric-id":1290328,"id":"Q1290328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887170$C7C61BC4-F02F-4885-892F-329A48AB92B8","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":"Q1887170$334A36BF-19A6-4016-B382-CBAFC2A17638","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9270318d08aee06ff5ad0dd5710c08e39d64ffc","datavalue":{"value":{"time":"+2004-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1887170$50CE402C-7C4D-4269-98B7-3877E4ACBA73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887170$661A6042-A6B7-48E0-BB92-61B5B773352C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887170$85451845-F22D-4744-81BF-5F41D7132B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887170$ECAAEECD-10A9-46D2-86EB-1F57F7006EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887170$8109CD00-1ECD-48B6-A145-D4A7A6F5668D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7046dd471d67755f19d9fafd5dcf3b9ab32fd26a","datavalue":{"value":"2118432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887170$4B4AC27D-F74C-4909-BC7B-69FB6F891B1A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"043dfe2a5c81875d794037dd0df823b7d84166e0","datavalue":{"value":"Continuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887170$C615AC27-78A3-47CC-BAF0-C9DF10F968DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9b6f999d95ff8c21d42c74db6f102df64501e26","datavalue":{"value":"Lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887170$86BC46A8-633C-4A05-B028-53B633A1F3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e701bb48ce6c9960ab09d79f6d35bcf4e4041541","datavalue":{"value":"Semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887170$55B1CA6D-6C69-4A3E-93EA-5A2D19EDAC5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ecd8c5f52db48b54bbd7593eef699c9cafee12","datavalue":{"value":"Categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887170$9DF2F5EC-6423-464F-85D9-3D25564D7671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33a82d7871e07901806055f2f2c7c5017b8624f5","datavalue":{"value":"Monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887170$50C320FB-26F8-4BDE-83C6-E2C8FAF89E1F","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":"Q1887170$6858FF91-DC2A-4699-86CE-4506858D1E60","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9f917629e7839ca62cc2416f11066df6088efe9","datavalue":{"value":"https://doi.org/10.1016/j.ic.2003.08.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1887170$A3C1494A-9F37-404E-A4B0-85CBDD732BF6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b87614f04a92da5f7eaeb5b06d4773deb345adf9","datavalue":{"value":"W2035102150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887170$69FD9952-32F2-4EBB-B4C8-B08D4A528A3A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b88e260db34f519c1460bc034e109bb9ee84bd5a","datavalue":{"value":{"entity-type":"item","numeric-id":1280731,"id":"Q1280731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887170$CFC2A0FC-5CDC-4662-A086-812729067110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599958f2e9ba27ac792764284a326d4daac4c4f5","datavalue":{"value":{"entity-type":"item","numeric-id":1290334,"id":"Q1290334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887170$B7F23FFF-D3BA-485D-B883-6269EF5985AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28b66b617498b4af7bc3942e7919608e518b1a77","datavalue":{"value":{"entity-type":"item","numeric-id":5096263,"id":"Q5096263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887170$0CB0DAB0-6780-4335-966D-65119576DCD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe258aca9d701a17778a2826193bb7d0179c4234","datavalue":{"value":{"entity-type":"item","numeric-id":4261086,"id":"Q4261086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887170$CBC648B5-EB8D-4ACA-8988-7B0E50B536B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e9e74444c8d384de071d7896bd036140e8ba38","datavalue":{"value":{"entity-type":"item","numeric-id":4738223,"id":"Q4738223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887170$0D0403AA-0F34-4A5C-BD19-4EA782007FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6544ead3434126c26616b109836ffb75c27c358","datavalue":{"value":{"entity-type":"item","numeric-id":1870494,"id":"Q1870494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887170$C1DEEB0C-5DCB-4C0B-AD66-D22B6ECC7625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"526bed8032ccb2cb82ed669a4b9ed1af4bf2a6cc","datavalue":{"value":{"entity-type":"item","numeric-id":4358459,"id":"Q4358459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887170$CF468721-1888-4686-AE29-4E3EA62F6DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"194a40413ca3307ac571256f8d43587a3148fbc2","datavalue":{"value":{"entity-type":"item","numeric-id":4882487,"id":"Q4882487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887170$1B545BBC-366C-41A2-8439-44B4E96C8C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8716b1148a9dbe24a05ad0d0a2835c92db37f5d","datavalue":{"value":{"entity-type":"item","numeric-id":3277720,"id":"Q3277720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887170$9A7FFC40-4AF4-44EF-B71C-5F9B653B718F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc0cab4051b08c21877e1d6824729137cc44bcf1","datavalue":{"value":{"entity-type":"item","numeric-id":1290331,"id":"Q1290331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887170$6FF9A372-1B3E-4175-BAC9-C861065DEA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887170$DB322DBF-256A-418C-B23F-626DE19BC81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887170$3C11147D-C875-48B7-9322-E80D46D5ECD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887170$F7810931-7EC8-4783-A0D8-C2619329E772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887170$5C8EE45E-CE07-431D-BDAD-3484C31046E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce2b804bf61899331ed3cb80319b9e1347ffd3a3","datavalue":{"value":{"entity-type":"item","numeric-id":4366773,"id":"Q4366773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887170$CBB690E6-97CE-49B7-BAB0-862E04575D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26dc63de6fac7518d2b54610868cabf1dab2c4","datavalue":{"value":{"entity-type":"item","numeric-id":4938649,"id":"Q4938649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887170$34FC133C-5B34-4CD6-92FA-C72A37120DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d25189cadcfb01bfb85424fb5e34c27a9558087","datavalue":{"value":{"entity-type":"item","numeric-id":2719799,"id":"Q2719799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887170$C449DF19-6F98-475A-BCFF-6F53C868A8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b2e4f24d0cbbeb99bfdea518dac864a70fefd8","datavalue":{"value":{"entity-type":"item","numeric-id":1566886,"id":"Q1566886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887170$ADEFD434-1615-4819-A701-3D824B7EDCE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c23872fbde70c84ad31cbfe374313546fac35fd6","datavalue":{"value":"10.1016/J.IC.2003.08.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887170$0F96FD27-9FA2-4849-BCD9-A2BC01F1F8B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dffd7de9c660892c47ebdac538714c172f6221d","datavalue":{"value":{"entity-type":"item","numeric-id":1575687,"id":"Q1575687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8f586155ce20f5b0fbe43c00af6345542fd883b","datavalue":{"value":{"amount":"+0.8096548318862915","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":"Q1887170$7C283126-27AF-4F10-9098-FFA2B4970834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e896654c008c3bcdd5ca7ccf719d4582f7c57bb","datavalue":{"value":{"entity-type":"item","numeric-id":4222903,"id":"Q4222903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05f9df9a16cdcb71cef15976dc2b5139f5d3928a","datavalue":{"value":{"amount":"+0.8094842433929443","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":"Q1887170$5598F9D3-7C46-475E-8F9D-88EEF159838E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7920e007c1c0dce93cacc25b43ae82bd41f339ea","datavalue":{"value":{"entity-type":"item","numeric-id":4279251,"id":"Q4279251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebfe449d5697289691a7a09bf7b7b6446dd63370","datavalue":{"value":{"amount":"+0.808670163154602","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":"Q1887170$228AA51F-0AD7-451F-8D2A-AC1E204A9DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4584b4b8ecd236170bf80bc11cfdb348d2785b09","datavalue":{"value":{"entity-type":"item","numeric-id":4917068,"id":"Q4917068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63c53f2474a0677e4c6c1af8a63086d94394abb5","datavalue":{"value":{"amount":"+0.8048306703567505","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":"Q1887170$A02477BE-BF49-4D23-AB6E-07C3984604B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8bfc388b626f5d42cb9e646cc0c8378e99bdd24","datavalue":{"value":{"entity-type":"item","numeric-id":5308024,"id":"Q5308024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2dec8b87c14bb8a2461824e90c8fb01e32ff576","datavalue":{"value":{"amount":"+0.8037530779838562","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":"Q1887170$76C8CA85-1331-4BA9-AA78-C265A765116A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the call-by-value CPS transform and its semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_call-by-value_CPS_transform_and_its_semantics"}}}}}