{"entities":{"Q5261274":{"pageid":7290842,"ns":120,"title":"Item:Q5261274","lastrevid":41595991,"modified":"2025-05-06T05:31:03Z","type":"item","id":"Q5261274","labels":{"en":{"language":"en","value":"A sound and complete axiomatization of delimited continuations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6455112"}},"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":"Q5261274$53DFCA75-98CF-450F-9110-930F2CC232D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7687a3575075c1befb592fec34ffce2bb7ceb1e7","datavalue":{"value":{"text":"A sound and complete axiomatization of delimited continuations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5261274$1C178EFB-ADFC-43C4-943C-022A3098388D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"590c63dac9e6a5588d1f49fd8b2ce8d483c7a504","datavalue":{"value":"1315.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261274$2097E67A-EDA5-4FD8-9370-D5FA915F85BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bdc0ce2953fcfe1ed9e5f59b0f6e67a16444c380","datavalue":{"value":"10.1145/944705.944722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261274$C634D03D-2B83-44AD-ACA3-2528593056A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c79719327e302b2e8896050f22e092a513d420ee","datavalue":{"value":{"entity-type":"item","numeric-id":235614,"id":"Q235614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261274$67C72A4D-9FA3-4C8F-B9BB-295EDAD4E871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8053a0e50a8d9785c9cd466338bb7b75651c1407","datavalue":{"value":{"entity-type":"item","numeric-id":1769598,"id":"Q1769598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261274$D739A135-2148-44B8-86F1-F69A774ACFC0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94171c1d9483ba92f553ba0e2b86a3a8cb6d7f94","datavalue":{"value":{"entity-type":"item","numeric-id":5261261,"id":"Q5261261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261274$F7B605EF-4388-4EAF-B2B6-9A28638B5EB1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"574af01bec34fab94fbd05c1ad16d21d195c1ca6","datavalue":{"value":{"time":"+2015-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5261274$F4C88C78-BA93-43B7-9A78-4E2DC606FEC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261274$513B9FC9-23A8-4203-9696-846E7EA69768","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9f02e4ea2ec73e06f15006e4ce21effb07e774f","datavalue":{"value":"6455112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261274$9DE919EA-93CF-40B3-92A4-93F5725DB5B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7547b0f63b18775f2a3e5101db1500e9847e1299","datavalue":{"value":"CPS-translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261274$2465AF41-9455-47E6-A0AE-3C1F726F6738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261274$8356087A-18E5-40EA-BDC1-2E6E95C86734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1d25e20c0482078eadaa7ad2ed9897358d4d26d","datavalue":{"value":"continuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261274$1C0C8E48-8A57-40A5-A66D-606F8C6A9F43","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":"Q5261274$93E19C06-A70C-4DE1-95A5-9F8402C072A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ea6ad69c55c94929a3e813d832bfdf047a156e1","datavalue":{"value":"https://doi.org/10.1145/944705.944722","type":"string"},"datatype":"url"},"type":"statement","id":"Q5261274$37FD508D-8C25-4409-9519-2FF6FFF692E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b62bbd5f31833a78d95a4a7c733f1e5055047c4c","datavalue":{"value":"W2092112509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261274$BF911F22-2AFF-4DE3-82D3-73CCEBEA09EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"722a85784f6eb74d947848e4dd6484eb95f053d6","datavalue":{"value":{"entity-type":"item","numeric-id":968364,"id":"Q968364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6c113f1b8e8960e01e9245769f881b372ff3b3a","datavalue":{"value":{"amount":"+0.894686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5261274$30368245-D45C-48A3-9846-B31C770ABA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5183e744e63ae7c97be1bd5046b1a9d9f968b9b","datavalue":{"value":{"entity-type":"item","numeric-id":5311275,"id":"Q5311275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4830badff4b9580737d92023dc7ae29ca179e201","datavalue":{"value":{"amount":"+0.8910229","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5261274$EC10BF6D-C26C-4457-8324-D8C058872757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be6debc361aafc11475b0d26d64badcaca2d6301","datavalue":{"value":{"entity-type":"item","numeric-id":2958543,"id":"Q2958543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1807a2c7550df09839d4dbd562c02cef97853a6","datavalue":{"value":{"amount":"+0.8846406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5261274$5A7FAAEE-1C14-4B7B-A736-9B71247399F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f2586c0c8321a58e1f196f4db484f4018867cc9","datavalue":{"value":{"entity-type":"item","numeric-id":2495550,"id":"Q2495550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfafa3946868ee41ea18c709cc2290f48fb92532","datavalue":{"value":{"amount":"+0.8765058","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5261274$62788981-A139-4BE6-84A9-90DCC302CBDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bf115b0df17c63f2b07b7935ccc0f678cfb339b","datavalue":{"value":{"entity-type":"item","numeric-id":1044694,"id":"Q1044694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3e3d03dd362de60dee1831ffca907ddea9e86ab","datavalue":{"value":{"amount":"+0.86990637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5261274$163DAE7A-3566-475B-ADF8-3157D81885B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"283010728c148e1dfef698dc6d7bf955c2286839","datavalue":{"value":{"entity-type":"item","numeric-id":3717039,"id":"Q3717039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb077e81af044d8a9bb34096a4488d71b6fa1843","datavalue":{"value":{"amount":"+0.8661148","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5261274$4930D932-D645-44FD-9294-F8D514338E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85087fbbc5f5d3cfc467b374926460afc8cc2f0d","datavalue":{"value":{"entity-type":"item","numeric-id":5190194,"id":"Q5190194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9ad947f017fa2ff286263edd174d606dd09e339","datavalue":{"value":{"amount":"+0.86319804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5261274$9296E6A9-75E4-4944-8CDF-EDB7B7B5F6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0a4c9052c3c5fcca1553c23ad84aba33160b517","datavalue":{"value":{"entity-type":"item","numeric-id":1963096,"id":"Q1963096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96f23874bd7220d88f732470f8069746514f5859","datavalue":{"value":{"amount":"+0.86190623","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5261274$C80AF9A5-9231-4111-B40B-2A26338F72E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4430c31b3f52c5b357439e156f29a37f6233b46c","datavalue":{"value":{"entity-type":"item","numeric-id":5855752,"id":"Q5855752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d90e8d29a31159d27b35727d3ff02cea3aa044c3","datavalue":{"value":{"amount":"+0.8604038","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5261274$F08E569D-21C0-45CD-9980-E9816B572DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9aa3edc1e984c6c6cd5b68653fd6400988663c8","datavalue":{"value":{"entity-type":"item","numeric-id":5939844,"id":"Q5939844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"445160338ddcd4083b7fc4bed0ad441d2d8ee389","datavalue":{"value":{"amount":"+0.8599269","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5261274$5D34490E-B0F9-4745-8815-B2760A1F7A46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5261274","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5261274"}}}}}