{"entities":{"Q2958543":{"pageid":2969262,"ns":120,"title":"Item:Q2958543","lastrevid":79804964,"modified":"2026-05-06T14:44:49Z","type":"item","id":"Q2958543","labels":{"en":{"language":"en","value":"Axiomatizing subtyped delimited continuations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6680156"}},"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":"Q2958543$3AA3CE70-E314-4973-A42B-644B3911CCD2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7eb65c2df08c01a4cc4495ef5289ab270a0eac2","datavalue":{"value":"1356.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958543$8FAC80ED-C298-47AF-AE16-416F9C745B79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66e1f33ae088fc1a63abf8a193e314e5b79ea7cc","datavalue":{"value":{"entity-type":"item","numeric-id":2958542,"id":"Q2958542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958543$95B5468E-1A8E-4D01-BE97-AC68477EE7FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fbf1e12e524523bcb26fd2bf4306fb66c1e3cf9","datavalue":{"value":{"time":"+2017-02-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":"Q2958543$7BA63E2A-C2E5-4C1A-8D1B-130468146F05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958543$BD6DFB76-E30B-4CC9-8A4A-98281AF8ACDE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8efae72716fb44b8436287c5ce4baac5682b6550","datavalue":{"value":"6680156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958543$6A52B837-141F-4FA1-B213-1EAD989C74AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c424861acb017bbf5cca63f4aac94773a4982ff","datavalue":{"value":"delimited continuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958543$3E9902D5-0140-4E18-BD2A-6F0FE8165DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfc7cf659829b5ff8330cdf848220217c6cbb58b","datavalue":{"value":"continuation passing style","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958543$4E945A98-9A6E-4816-9DD9-59913B32A88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958543$287B739B-180F-45FE-82FC-5BFE9C337AC5","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":"Q2958543$F86E4674-80BD-43AC-A96F-C3E26623128E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0428d0457bf70a5014d45ec0b83edf3bbfa63a54","datavalue":{"value":"http://dx.doi.org/10.4230/LIPIcs.CSL.2013.521","type":"string"},"datatype":"url"},"type":"statement","id":"Q2958543$59E84B66-0324-478C-8437-F8B8EEAD6637","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1e6e7d2defa069954d22d0dfb0372ededd49c98","datavalue":{"value":"W1917416321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958543$DAD47627-700C-4B96-AB7D-03BCB9507303","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ef1e608c63bbc247fa143e1555b347c8158243f","datavalue":{"value":{"text":"Axiomatizing Subtyped Delimited Continuations.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2958543$3DEB4356-779A-48C7-B3E2-3AD252F8539F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2fc7a611c4314e6735404a8d89b59f6f1d96ce2","datavalue":{"value":"10.4230/LIPICS.CSL.2013.521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958543$3733F529-0D0D-4B52-9F1E-2873DB9F09FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7a9dbe986fbc6b6f779ffedeae3787f0b2a5f23","datavalue":{"value":{"entity-type":"item","numeric-id":5261274,"id":"Q5261274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"776a57e9abdd2b1b96b9c071cf252f3be6880966","datavalue":{"value":{"amount":"+0.8753649592399597","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":"Q2958543$59D7B3F2-B4BB-4976-B14D-2E31EDF5A763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7c5ef4d1ad8e3dc5fad5fcb3990e537ed9d7b67","datavalue":{"value":{"entity-type":"item","numeric-id":5176965,"id":"Q5176965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7855cefd0d71ad3094eeff079ff103e6da00fc9d","datavalue":{"value":{"amount":"+0.8606647253036499","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":"Q2958543$E936C322-B061-4867-BCB0-D3C7B3385FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c66fb77e37a0e78e13ebc8286d61843550042d08","datavalue":{"value":{"entity-type":"item","numeric-id":4882487,"id":"Q4882487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b63452305c33ece123d7a6870d646acd0083a02f","datavalue":{"value":{"amount":"+0.8233648538589478","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":"Q2958543$3169633B-A9ED-469F-8FF8-5B3D6B0AA8E3","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":"d82d4869bdb97bad86b5133e922b1f34bd6850b3","datavalue":{"value":{"amount":"+0.8172013163566589","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":"Q2958543$18B513C1-46B0-4204-A7CC-6AADD9DC139D","rank":"normal"},{"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":"32eee067f1dfb8d9ae11de2f3124bce5b27f1fb2","datavalue":{"value":{"amount":"+0.8108765482902527","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":"Q2958543$629AE235-97FD-4319-98C3-FA661FE6EE04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatizing subtyped delimited continuations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Axiomatizing_subtyped_delimited_continuations"}}}}}