{"entities":{"Q6488145":{"pageid":14066914,"ns":120,"title":"Item:Q6488145","lastrevid":47833027,"modified":"2026-01-02T19:59:54Z","type":"item","id":"Q6488145","labels":{"en":{"language":"en","value":"Fully Abstract and Robust Compilation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7669389"}},"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":"Q6488145$3F63D51B-1736-4891-936E-5CB1BE3CAE43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc0858211d559ef7a4f630d389feb25fc94dac87","datavalue":{"value":{"text":"Fully Abstract and Robust Compilation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488145$51FA95AA-A04A-43A9-A94E-734B9B2E364D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b475a814ec1995217c133ad8dc269d77ff28f2c","datavalue":{"value":"1520.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488145$756AD1DA-1D5C-4AE2-B780-34BF99CADF81","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9620cc2e15a663aee3e97743b2b3bf00342f9b17","datavalue":{"value":"10.1007/978-3-030-89051-3_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488145$B8E1AED1-2ACF-43FB-8A22-91E9C682E1EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"834f1e062edb1731d31bed7e667e8c1fc249edc3","datavalue":{"value":{"entity-type":"item","numeric-id":5041083,"id":"Q5041083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488145$3AF7813A-90F3-446B-8C40-8A04C9A04C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76d5eabf616baa15a96de876431a228560e59be3","datavalue":{"value":{"entity-type":"item","numeric-id":2303361,"id":"Q2303361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488145$DB8D6B07-85B1-40E9-B4F9-9971F384E06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9224a7a4b8c2d79c81ee4a3648aed0c13fa1618","datavalue":{"value":{"entity-type":"item","numeric-id":2229233,"id":"Q2229233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488145$4DB94055-948F-4C80-90FC-77AC1860C0B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9392fc1373ca37dd9973a2f3b99144329cde46b8","datavalue":{"value":{"time":"+2023-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488145$00CF7AE2-730B-48FB-BEAE-982E95F31359","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488145$D06244F2-0368-4A66-9C04-B9FAF4A83C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488145$28DDDF00-2097-4EA6-8D49-28F3F627C92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488145$63DC06D4-A997-4CEE-968F-273DD0652395","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a5229fce19aa28b6e1e629af610232701132ee5","datavalue":{"value":"7669389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488145$2B705734-7B9C-4AD7-9106-C7A0E40341D8","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":"Q6488145$4326DADC-A364-457F-91E1-BBEEBAD71A4D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73b719b4a064549d92ff3842357a684a762dee7","datavalue":{"value":{"entity-type":"item","numeric-id":5041085,"id":"Q5041085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488145$8F2BB834-9D6F-48EE-A2BE-327E19E499EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed7710e539627420f23747ee6c71239684ca0050","datavalue":{"value":{"entity-type":"item","numeric-id":5739352,"id":"Q5739352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488145$5E407334-C274-4A1D-8C40-A78B56E8FD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a96493c7b77b8338a8aa19e96cffaf76fbe4c7","datavalue":{"value":{"entity-type":"item","numeric-id":2760240,"id":"Q2760240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488145$643CBC9D-AF34-4387-988D-1D741914371E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c272cb77173dafb0d34de2cd274218a5d71b84e7","datavalue":{"value":{"entity-type":"item","numeric-id":5178761,"id":"Q5178761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488145$2178A2EF-C03C-4EC5-ACE5-D418B4B9CCDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5eb51c5456ae3585313d725a7def586690a7bc9","datavalue":{"value":{"entity-type":"item","numeric-id":5176993,"id":"Q5176993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488145$114443C8-701A-48B6-984E-34F824FFA270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eda093be35707603c5944a085c326b23df7da0e","datavalue":{"value":{"entity-type":"item","numeric-id":1739908,"id":"Q1739908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488145$7B43C59E-79EC-4C78-9390-BD240B3ADE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b24d6af738b6fddfee72c9f0465a834de542cce4","datavalue":{"value":{"entity-type":"item","numeric-id":2981948,"id":"Q2981948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488145$F72F6BD9-0420-408E-A295-7799FDB25AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2d1d286e5853fa3db9356beafcf9fe3daff2e3c","datavalue":{"value":{"entity-type":"item","numeric-id":2828252,"id":"Q2828252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488145$3571821D-157D-4DD5-91CD-E0BA848F8BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501f3fbd705d11fcaeae25c1782faf1936afe5e3","datavalue":{"value":{"entity-type":"item","numeric-id":1061481,"id":"Q1061481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488145$CD0E481F-E626-4A21-905B-A8B3E2D6B658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"647d3a7d2a7f0ed9bde004babd371441cd6c284a","datavalue":{"value":{"entity-type":"item","numeric-id":5741573,"id":"Q5741573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488145$FAEAD376-4529-47D4-A565-81D0FEA5E6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ce10e2b1fb07550fba97d8e7cbd91e0c4a573e","datavalue":{"value":{"entity-type":"item","numeric-id":639646,"id":"Q639646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488145$03FE3F7F-A59A-4EFE-B12C-ECF6918391E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68cd30e72facb3a17c3ce130db42caf44e920c1f","datavalue":{"value":{"entity-type":"item","numeric-id":5458377,"id":"Q5458377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488145$AE66B839-019A-443D-9146-1863BC1C50E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f77790f3de0e7a5198a8f1c64a8023dd2bee09","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488145$2AF52C84-63CC-4AED-BB00-076434A72E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbc05b7ff29191db20dc48a43ae02a396f221bf9","datavalue":{"value":{"entity-type":"item","numeric-id":3758891,"id":"Q3758891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488145$E5BE1C1A-0E73-4A8C-998D-6A09826745C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38488e69c4726b0db499dab99288915763404609","datavalue":{"value":{"entity-type":"item","numeric-id":1330458,"id":"Q1330458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488145$32807D89-E373-4505-B6F9-98EBB7D98729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4ac9603abd6f7de6f4a20233ef4e949886e94f","datavalue":{"value":{"entity-type":"item","numeric-id":4068067,"id":"Q4068067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488145$C07F46CF-9BDE-4824-9856-40E5DC145C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71d4b3fa7e45928bcee6b16f759f549d80fde972","datavalue":{"value":{"entity-type":"item","numeric-id":884946,"id":"Q884946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488145$313F14B0-8B41-4CC7-BF34-45FB1D042A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"891378a0408b05480504c5f2a6ef39f382689180","datavalue":{"value":{"entity-type":"item","numeric-id":5741574,"id":"Q5741574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488145$EFC908AD-B0B5-4DA8-9571-D330E5598EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"166b8a531ce2889c5dec5aa73b5d33bff2a71da5","datavalue":{"value":{"entity-type":"item","numeric-id":1749116,"id":"Q1749116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488145$FFD25E99-8350-4C14-8C39-D01FD72156B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488145$EC2904B8-C611-4541-9CD8-7BE9095980B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fce7fd90eddca2321bf359269ac32e43f8175f5","datavalue":{"value":{"entity-type":"item","numeric-id":2819813,"id":"Q2819813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488145$8F151BB9-6404-4550-B2A2-B8FDB507833E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d93e889c52c36a6fb58e10f9eb9b5078b5353ce","datavalue":{"value":{"entity-type":"item","numeric-id":4972072,"id":"Q4972072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488145$4EB3B5BF-8E64-476D-A74B-602D91370469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8e5fa246c4a1dd0e92aeba5b5568c11bf653f35","datavalue":{"value":{"entity-type":"item","numeric-id":2229236,"id":"Q2229236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488145$53BE02D7-A276-4666-B456-70ACE3606EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"881b85c54254a99d57525a41dec86a49f187bd5f","datavalue":{"value":{"entity-type":"item","numeric-id":4362964,"id":"Q4362964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488145$C72E1A35-B3D3-48D5-9AB0-9013963862A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f6b90f6f52b12a1d9d4b32a8b2b37a90b2e1941","datavalue":{"value":{"entity-type":"item","numeric-id":2842565,"id":"Q2842565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488145$3BCCBCAD-8E16-412D-B4ED-53954F8181EC","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":"8fea2b8e2953732c97fb350ed3bbdf47415ed8bf","datavalue":{"value":{"amount":"+0.7603654861450195","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":"Q6488145$B95E04C2-F841-4163-B571-D72C8919DD31","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":"13a15cfa16ff0fc6e4b483f2caa3dd890e5644c7","datavalue":{"value":{"amount":"+0.7530243992805481","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":"Q6488145$2953D5F2-1C8F-48A8-8EB3-18530E8990D0","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":"55061de72998a6962b40eab47f3c7f2f34868aab","datavalue":{"value":{"amount":"+0.7505130767822266","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":"Q6488145$D4C95970-1E75-45C8-AA7B-74329F7651EE","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":"40ddda84912180762d2efc983e45b3d386a51d06","datavalue":{"value":{"amount":"+0.7144029140472412","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":"Q6488145$1967365E-F97C-4711-91AE-02573CEB0629","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":"42c851413c969c053685bab30dbca37bec7bdced","datavalue":{"value":{"amount":"+0.7008513808250427","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":"Q6488145$E753B22C-01F3-4EF6-95C8-FE07E5CB87C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6488145","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6488145"}}}}}