{"entities":{"Q2982006":{"pageid":2992731,"ns":120,"title":"Item:Q2982006","lastrevid":52799393,"modified":"2026-01-23T13:01:40Z","type":"item","id":"Q2982006","labels":{"en":{"language":"en","value":"Fully abstract compilation via universal embedding"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6713897"}},"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":"Q2982006$F5BDCEA8-7CD6-4A30-B544-5BA639EBA34D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ef804a27609fcee588a74a7a417af574fc5c10e","datavalue":{"value":{"text":"Fully abstract compilation via universal embedding","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2982006$ACECEAFF-773C-4EBB-8896-146EE3B58DF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"148d40f1ae7d5a35ff97c90965ca9de8cadb3ca3","datavalue":{"value":"1361.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982006$27334265-0318-405F-A372-FE6FEDB374CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d138fded78b1bcd6036e4d3c0d70b4019e9d5e86","datavalue":{"value":"10.1145/2951913.2951941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982006$BA970541-6987-4C9F-99E8-4DE670957317","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9023456920f3725fc5e923a1a4f7ca676bf7411","datavalue":{"value":{"entity-type":"item","numeric-id":1652974,"id":"Q1652974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982006$9F2FC0F9-71BE-42D0-8D27-D96D9037A5FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc954abb829f8162fe28ea7f93e0beade330925b","datavalue":{"value":{"entity-type":"item","numeric-id":2981947,"id":"Q2981947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982006$D4874349-36E5-4361-8048-3F9D10F21892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba9eee2345936039a069f18114ac67b7e6d3777f","datavalue":{"value":{"entity-type":"item","numeric-id":1652976,"id":"Q1652976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982006$628EE6B3-D2FF-41EC-AD24-89B6F8F022A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"423c52aacdf5e1820397bb95b30ee85c088ba9ab","datavalue":{"value":{"entity-type":"item","numeric-id":2981996,"id":"Q2981996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982006$BA845AF5-4110-4B48-A31F-EE5ABAAA1A62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81927d6a17a89da4e5bba03bf491f09d50a9b6e5","datavalue":{"value":{"time":"+2017-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2982006$4B242864-CFF8-4AF5-85E9-AFEE0B3D2EB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982006$65470986-5FC0-49DC-B246-E54D7B141B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982006$5A1ECAF6-8700-4451-8549-93ADC3107E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982006$C1B3CCB5-0845-4C66-A3D4-F49A9047EFA8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d335b797e8eb9a490a85a62f895f1de0a23d6fae","datavalue":{"value":"6713897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982006$84EC160A-52D9-4443-AF69-92C6858B652A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86846aac19589c2541a6ab94856c258c329fd601","datavalue":{"value":"back-translation polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2982006$D2CAD886-07FD-4C03-A526-DFADD7886CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"554e56f6b3eb5603fb7e329780a9669c7d8d8e6e","datavalue":{"value":"fully abstract compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2982006$77FF657A-5038-4981-AA96-2EE7D1E94E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e2bd1176be2ca24a8b368e42bc8812510b3ef7","datavalue":{"value":"logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2982006$854D45D8-2D11-4899-895E-1EA096F6C176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab9d52db41acd3758c3831c2e10e4fbdf483111b","datavalue":{"value":"multi-language semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2982006$AEEA3775-B3F7-4D59-B3F5-C06C6C676473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fe810434f585fa0203aea78467c3725c30107f8","datavalue":{"value":"parametricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2982006$752562EA-CFC2-4E1A-AB4C-C114D4ADB6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"150b2e037b5286405a7e2506c558d6bb7d520c61","datavalue":{"value":"secure compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2982006$5D0A1C2F-879C-4347-8AB6-E94B3CD32769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50d5ea4ddb9e1c4edea9219ea9527d12fac47f33","datavalue":{"value":"universal domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q2982006$52FBDEA2-3DA2-46EA-AA64-100DB93711A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"756494b685863e4bcac76dba52050b1db5855ff0","datavalue":{"value":"universal embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2982006$1000BDA5-DCB9-4061-9422-CEFAC5D4BA8C","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":"Q2982006$4F6BFB15-0D82-44A5-BF36-8A24AFE38418","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b51c754a6157eacc9226724a2481ad0b84d92c2","datavalue":{"value":"https://doi.org/10.1145/2951913.2951941","type":"string"},"datatype":"url"},"type":"statement","id":"Q2982006$E82DBC94-A80B-428B-AC82-77E037A5D3A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"242e2e1d06217d6504bd5b4b5caeea9b8247acf0","datavalue":{"value":"W2514838807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982006$B67EDE9E-463E-4893-8ADE-18B488794A59","rank":"normal"}],"P1643":[{"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":"c77eb57ada1c956b4ff08d3b318b4faf65071e05","datavalue":{"value":{"amount":"+0.8995723128318787","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":"Q2982006$F52C6A1E-E04B-4121-8495-15210B6D4058","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":"3a9eca7950b54feae10abd6b5858c07261d5b7e9","datavalue":{"value":{"amount":"+0.8935489654541016","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":"Q2982006$EB09A0F0-3A32-4348-A33D-AC187DB8A12B","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":"d6971d3d2c7677904d812033b811704c8dd2ec73","datavalue":{"value":{"amount":"+0.819713830947876","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":"Q2982006$BC5C4CB1-44CB-43E4-801B-C9E5FD586BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68ec36cdf8a9fe05714032db7f69f7d00f55348f","datavalue":{"value":{"entity-type":"item","numeric-id":2931813,"id":"Q2931813"},"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":"Q2982006$D983C53A-DB9F-4BD9-90A9-3B04C5D244F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3970b49b781d3bf83689498debbe49a8f3c3fa3","datavalue":{"value":{"entity-type":"item","numeric-id":5176993,"id":"Q5176993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cadbc4df1020c08a7f489b0a35e5615acd9647af","datavalue":{"value":{"amount":"+0.7697464227676392","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":"Q2982006$E1D6D54D-5A74-402A-8584-56CE8816FF27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2982006","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2982006"}}}}}