{"entities":{"Q3452245":{"pageid":5227906,"ns":120,"title":"Item:Q3452245","lastrevid":52391786,"modified":"2026-01-22T13:10:50Z","type":"item","id":"Q3452245","labels":{"en":{"language":"en","value":"Symbolic transfer function-based approaches to certified compilation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6507251"}},"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":"Q3452245$9ECDC3ED-D201-433A-B2A8-0AC7947E37E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"198a057ac641125a9b29006b91f73de9f28e9a61","datavalue":{"value":{"text":"Symbolic transfer function-based approaches to certified compilation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3452245$CE3E2A99-A061-499A-B657-E885B8259B27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c78b836c9d950adf35d0eabd4b4ff83f3d22b20c","datavalue":{"value":"1325.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452245$0C99C3D5-FCAA-4C4D-BC94-595E235C63E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"956e23edf6f573d51888b91af1585e76e3ff86ba","datavalue":{"value":"10.1145/964001.964002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452245$873BD5A0-BC59-4BD0-988D-0A96FB51A618","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aac153c7f5276ccb8d4b5887e76c2d988e6dbdbb","datavalue":{"value":{"entity-type":"item","numeric-id":681351,"id":"Q681351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452245$ACC27DA5-CC25-4719-A01E-1ECA8FB17AE9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0852588251a756a8ac86204eccc7b587f97246ef","datavalue":{"value":{"entity-type":"item","numeric-id":3452244,"id":"Q3452244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452245$52EB3B77-93B0-4F7B-B05B-B5B47D5AC088","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c539994eb381dc1a629fdee36492e4b7f4d8928a","datavalue":{"value":{"time":"+2015-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3452245$C6E5FF1B-ED88-43FC-94BF-7B97C2048EAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452245$DFFC57CA-384A-47FB-948F-5E006D28F856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452245$4A8AC5E6-16D1-40C2-A6D2-3B396A97CDC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a84a1fba9cfce5e8e6f78e58626871dbd12e1eb","datavalue":{"value":"6507251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452245$840AD4F1-CC16-45DF-A0B8-1E681336021E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452245$8BCA5DAA-52FC-4BD1-9D4A-5028973E6F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58d5c9c0cf89b4b4891f5c481837b69838035e8a","datavalue":{"value":"certification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452245$903F40C6-46D1-4371-B428-F7CF301FD439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30465c7253323499b5cce6c4f064def1ef2d4445","datavalue":{"value":"compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452245$5F953B47-2C92-4672-8D4A-DA0AFAA16959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452245$7DF888D5-D83A-4941-9F33-5081AB63D337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0431edf0fb60c2a23ef932b3f3d1331939ae37ad","datavalue":{"value":"translation validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452245$563D8B57-6FCA-407D-B793-04AA31CD3876","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":"Q3452245$D4131CDD-061C-41D4-88DC-90D32C15E0F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77e2038c6f4d8266761f62f4d52e1b69c94e3c53","datavalue":{"value":"https://doi.org/10.1145/964001.964002","type":"string"},"datatype":"url"},"type":"statement","id":"Q3452245$8B960A84-F939-4735-8FA8-1ABCE5BC8DD0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bbf614499bdbfcc8b6415952b11e0bbaf17204ee","datavalue":{"value":"W2088514859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452245$4EB88643-9284-4F44-9576-8215752B56D5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8e477802b29344d1e5b3e0c035cafdedc63ee754","datavalue":{"value":"Q131126900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452245$F9B489B1-D56D-4372-91BD-9531A1F15C02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31c27102979ee9eaa73ed3882e987d6345b4be12","datavalue":{"value":{"entity-type":"item","numeric-id":3613391,"id":"Q3613391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6538486522a8edd53b994ddbf9fda9200682808","datavalue":{"value":{"amount":"+0.779830276966095","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":"Q3452245$A8D6F485-8E27-4475-B9F6-4E3DECC330A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c692e4c37c0674c33839cb0a8a1ab50912d2566","datavalue":{"value":{"entity-type":"item","numeric-id":4414379,"id":"Q4414379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a45d8f2899d4d135e7075659daab83162e88a6e","datavalue":{"value":{"amount":"+0.7780749201774597","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":"Q3452245$6DA0A51D-1403-4832-AAE9-A7A6BF81BE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4416e7a2bfb53bba4bd8f14753ece40e47c88f5e","datavalue":{"value":{"entity-type":"item","numeric-id":2418653,"id":"Q2418653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d352716b6ce794f71c7b4b57a828d5153df85ee","datavalue":{"value":{"amount":"+0.7455980181694031","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":"Q3452245$37CE0221-825D-45FA-BDFB-AFC51562375C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaeaa7a94fa6005ac226917f077263a1dcc70589","datavalue":{"value":{"entity-type":"item","numeric-id":1974452,"id":"Q1974452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df46265d221cecc4609d99d3e8209da0d5f7badf","datavalue":{"value":{"amount":"+0.7455881834030151","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":"Q3452245$9AD1248D-F36F-4A6C-9750-CC96AFD470AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3353af92dd78cebd40747392ca6e9e8796f8b63","datavalue":{"value":{"entity-type":"item","numeric-id":5716568,"id":"Q5716568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df46265d221cecc4609d99d3e8209da0d5f7badf","datavalue":{"value":{"amount":"+0.7455881834030151","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":"Q3452245$16964E88-906E-40E8-B512-A39E1EA632FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3452245","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3452245"}}}}}