{"entities":{"Q2655323":{"pageid":2666066,"ns":120,"title":"Item:Q2655323","lastrevid":79303496,"modified":"2026-05-06T13:36:39Z","type":"item","id":"Q2655323","labels":{"en":{"language":"en","value":"Rewriting conversions implemented with continuations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5662154"}},"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":"Q2655323$9E326294-0EE9-475B-B5C6-3B72D6A1D7F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d60a2de5902d8f6ee46bbcfa8ecc31929e3ba741","datavalue":{"value":{"text":"Rewriting conversions implemented with continuations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2655323$F735B8FB-0231-4D76-9573-52D1F26FF3C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25f04cb36ab01cda12c273a6380063a0c6cc471a","datavalue":{"value":"1185.68632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655323$8A989D9F-248A-40AF-9534-F6D08B8F65ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"145fb4ab3c36a5f99f91a0be2758a779e5bceae8","datavalue":{"value":{"entity-type":"item","numeric-id":386031,"id":"Q386031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655323$3051187D-A238-4AFB-9344-999E59DE1B2A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655323$EC084FA0-5901-4406-B7C0-25BCF76C771F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eeda675146eaac960e312504b1b7dd784f800a08","datavalue":{"value":{"time":"+2010-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2655323$DCFBADD9-C95F-441E-8E2D-5F9BCA4D6EB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655323$825C9045-08FB-4437-8C73-8CFC966A8A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655323$A7A4DD09-E656-4D00-9263-04F55E9E33A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7d6c39ba6659f9c348360ce1b9945a1e2bc7b12","datavalue":{"value":"5662154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655323$580AF955-F78F-4CB6-B15F-024704D5AA4A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655323$58B3C51A-3389-4D86-99C2-3D80983B1DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11ac3b0084c9481de0061f03afecc4bd96971021","datavalue":{"value":"interactive theorem-proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655323$2B84A4B2-8283-4872-8E69-CDFF31D4C6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab87aa835f8252208f84aeeed9d52ac88067f31d","datavalue":{"value":"continuation-passing style","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655323$B13D12B1-6F40-4B81-83A3-4CC5B010D16F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655323$AAA4DF95-5969-4D89-96FA-9591A413F6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655323$FE255E8C-3504-4D1A-8A42-50C0477FBAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655323$462B2D14-6C24-46C4-8539-8181A2E4B074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b2040a476017b43b21bd352cfec0a67d631d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":18467,"id":"Q18467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655323$11BBBFC9-C92F-4572-ABF9-27F3F72923B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655323$A47D4865-A027-4A17-BD91-2B57B1873E04","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":"Q2655323$CBFC5A2E-5758-4B19-A741-CC8653A2DD97","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f19cc5704ab5a4a15b614524aa6b9b7223fdbb57","datavalue":{"value":"https://doi.org/10.1007/s10817-009-9146-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2655323$1CC67477-EC57-4CE8-AE65-1CC873044F7A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"798e2c3192a4a5c61afcedbeede4f3ddfbaa8921","datavalue":{"value":"W1984052416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655323$C2D1F776-F4D2-4F90-99AA-1DCDCCBEA525","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc984cdec628cc7f36b386f0c4b014ff5e947f6","datavalue":{"value":{"entity-type":"item","numeric-id":2754029,"id":"Q2754029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655323$F83A3169-07F5-45C4-A3E7-A2538EFB7D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3e1d51906565a89ff0371f44397b9aff5039a00","datavalue":{"value":{"entity-type":"item","numeric-id":2757081,"id":"Q2757081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655323$0123BE8E-E7CE-4F84-A6B0-DEE240028D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b550219ca103dca975ba776e3b51cc81637e4e50","datavalue":{"value":{"entity-type":"item","numeric-id":4267719,"id":"Q4267719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655323$0722AC2E-F900-4651-8172-857361CA4372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655323$37287055-5667-4CD5-B67C-64D1008B11D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35852691e725c71cf8e921b7748b4e2b09da6624","datavalue":{"value":{"entity-type":"item","numeric-id":800739,"id":"Q800739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655323$901FD227-F8CD-4718-B09C-F88CEF499D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655323$F73F3EA1-E554-4384-832A-0C9369DADE3E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2636fde2915fe96dcaf3843761dbd332a8bb3ee","datavalue":{"value":"10.1007/S10817-009-9146-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655323$F7BCE03F-4C33-4C7E-9CCF-94AD4ADB042A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4975addb4905a856dc84fcaa166c071e9d04c5e7","datavalue":{"value":{"entity-type":"item","numeric-id":800739,"id":"Q800739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98b168ff12b12b9e2b40f7c89227192885031fc1","datavalue":{"value":{"amount":"+0.8009746670722961","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":"Q2655323$C4DEEF2C-A0D4-4CBB-9E16-22785CD81A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"650505a09ddf2840499c2c56a919f1ccf617ebc0","datavalue":{"value":{"entity-type":"item","numeric-id":1112601,"id":"Q1112601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e477c6591217610ab23f118c7b11f49d918dd4cc","datavalue":{"value":{"amount":"+0.7439635396003723","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":"Q2655323$E2FCCEC6-6A37-43CC-BAF8-FDE2CC480B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc0e98d6ea69a920c4f3a62964fb5cf0912921a6","datavalue":{"value":{"entity-type":"item","numeric-id":4267719,"id":"Q4267719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b51c961cb70b4815c37bbf2fb4f3fbf69d8ac0bd","datavalue":{"value":{"amount":"+0.7365831732749939","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":"Q2655323$591E19F6-3DB0-4B32-B7AF-895B62010324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35118182c5285401d51865409eb83c09cf1ecae0","datavalue":{"value":{"entity-type":"item","numeric-id":2956709,"id":"Q2956709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1478634aba5d2f10dcfbf5440682d2d435c1eea4","datavalue":{"value":{"amount":"+0.734920859336853","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":"Q2655323$1E734D05-C78F-4F7C-B2DE-9A2392F8B7EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80da2311e24f203113d173f62f7fb303bd7ca4e3","datavalue":{"value":{"entity-type":"item","numeric-id":3024889,"id":"Q3024889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82b650850243f88763e156f88aec9073077f7290","datavalue":{"value":{"amount":"+0.7335564494132996","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":"Q2655323$57389E31-7AB4-48DD-988D-3B0177C350E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rewriting conversions implemented with continuations","badges":[]}}}}}