{"entities":{"Q2931813":{"pageid":2942533,"ns":120,"title":"Item:Q2931813","lastrevid":52145798,"modified":"2026-01-21T00:56:30Z","type":"item","id":"Q2931813","labels":{"en":{"language":"en","value":"Fully abstract compilation to JavaScript"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6374688"}},"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":"Q2931813$E7FA6B21-0C1C-4B63-BBEB-FBC333AF0694","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1eb46c290aa54e6dc90b8f3801a36b1a497268b6","datavalue":{"value":{"text":"Fully abstract compilation to JavaScript","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2931813$CE4A0D58-AF0F-409D-9878-ACE9A279274F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45c0386d479d7afe6b33ca74623da9641e2f38e3","datavalue":{"value":"1301.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931813$47880103-0D99-4C37-B98E-BE452AF21D9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"244de95b8f855d6cc6ed98a6037a9da1a5dca725","datavalue":{"value":"10.1145/2429069.2429114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931813$FD50F4A1-B3E2-4D7A-8E4B-35C70A00AA9F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9c43047206e58c5aa24afe8babee124065c6b77","datavalue":{"value":{"entity-type":"item","numeric-id":2819800,"id":"Q2819800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931813$E525DFC7-2A74-44D7-B87E-AB520215401E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ec397e593de103ace6cc267fdc2f5cfcaf93879","datavalue":{"value":{"entity-type":"item","numeric-id":315432,"id":"Q315432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931813$98B4C195-D48B-42A6-AC0B-B251A91F98E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4db996d04c31cf60b0d6f1dbaa6e0171d1c9f854","datavalue":{"value":{"entity-type":"item","numeric-id":2055656,"id":"Q2055656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931813$D02D62BE-D2D5-405A-A202-16CAED534006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1745bdeb092262739da6d0fd18a64d1c3c06446d","datavalue":{"value":{"entity-type":"item","numeric-id":2323969,"id":"Q2323969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931813$842FBA5A-59CD-414F-A9C5-B09921C538EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8522a85e12ea0b3203f8d9e495172f712a06e114","datavalue":{"value":{"entity-type":"item","numeric-id":2145356,"id":"Q2145356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931813$7B6B3F95-B3DD-4FEB-AC2C-96FC1E8340DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cc3bbc8146d8b3b4282d333dce118410bd01d27","datavalue":{"value":{"entity-type":"item","numeric-id":557893,"id":"Q557893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931813$103C7816-9C25-4B32-9914-6435C0F7311C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d480da44355e1cba6f97eb0f61979a1910561f9a","datavalue":{"value":{"entity-type":"item","numeric-id":2931775,"id":"Q2931775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931813$6264315A-9759-4EC7-B66D-964D97E8778F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2caf1be9256fb0d3734f25532efe298070e0f96","datavalue":{"value":{"time":"+2014-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2931813$3E053735-E78B-4314-9EED-219454725DF8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14504c4b14edd86d29605ba7b151f0f1198115d0","datavalue":{"value":"https://hal.inria.fr/hal-00780803/file/js-star-popl-2013.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2931813$CBA9BD72-81D0-4E74-B5BE-D37C137EF827","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931813$464A9BB2-3F23-4173-9207-34779C6878C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931813$D5847B82-5AF1-49BF-A49D-CA16D06D742F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44b04c3d5c5a75406775350459ac6a5d86ec7839","datavalue":{"value":"6374688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931813$3B9AC63C-5381-4DD9-8CD6-139F1EBCD25A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931813$B58F10DD-C911-4453-8F0A-516420DC8B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dac5de8e537c71cd90df166682399621b2f7fbf","datavalue":{"value":"program equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931813$79C28A49-C7AA-4B48-83DA-F8761664A589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc7bd49c269a3f606a00671736364203d653e836","datavalue":{"value":"refinement types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931813$2EEE9D9F-B815-44C9-93A0-3438B9D9B95A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"44bad889325630fa1fe7bc3b0aa9ed968ecf47fa","datavalue":{"value":{"entity-type":"item","numeric-id":18937,"id":"Q18937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931813$6891FD34-6FD0-4908-BC58-5FA9096D916F","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":"Q2931813$46888BB3-1A7C-42CF-BB81-D8833951C41B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce62b9e61768f28c7ea70be0a6c524afefbc3a31","datavalue":{"value":"W2108416936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931813$F6A51F91-3E4B-4AE6-8493-2BF391DBF92F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"32dc5b94a569f5b1ee3c42628e17c522384984f9","datavalue":{"value":"Q131115861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931813$B3DBF3CC-55FF-4173-B3C1-5D68ED8B1F26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57a48cad81368ee98af32efbe16ab58ad50164a0","datavalue":{"value":{"entity-type":"item","numeric-id":2982006,"id":"Q2982006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba779c95010508a31adb8d07f928de71a0ccd880","datavalue":{"value":{"amount":"+0.8046353459358215","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":"Q2931813$942DC89B-10DD-460F-BC26-DE8042F3ADC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e007ccbe793e5635d26738c6ed5466b353c8747","datavalue":{"value":{"entity-type":"item","numeric-id":4596778,"id":"Q4596778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"531c65862e59cf72d79ef72b8339857e76b0c313","datavalue":{"value":{"amount":"+0.7840008735656738","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":"Q2931813$B2A7BB37-7F80-4481-B53D-A83A7832EC97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c18b48955d5bacd38fbb0758b759ca19bc7c2d7","datavalue":{"value":{"entity-type":"item","numeric-id":2828252,"id":"Q2828252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7562e4648799acc6eede53e43a935c433387fbe0","datavalue":{"value":{"amount":"+0.7832151651382446","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":"Q2931813$BDE0EDFC-61E4-4BF2-A68F-0BFADEED5775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebec8f0674d74bd67a236c7a528430c2b2beb5b9","datavalue":{"value":{"entity-type":"item","numeric-id":3460898,"id":"Q3460898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1db13ff9618b1e089998a38f7813e57a44ba881","datavalue":{"value":{"amount":"+0.7412183284759521","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":"Q2931813$5AD04822-E878-4924-8F84-4F42AC7C5B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aa16b1dfd4b4b800d1e39aff63b0967bd4a56fa","datavalue":{"value":{"entity-type":"item","numeric-id":5178761,"id":"Q5178761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20fbd5b11e17a6096a71811863d6dc128fca3909","datavalue":{"value":{"amount":"+0.73433917760849","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":"Q2931813$876381CE-5F27-4057-8B7B-9AF0B1A09AA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2931813","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2931813"}}}}}