{"entities":{"Q1887677":{"pageid":1898419,"ns":120,"title":"Item:Q1887677","lastrevid":69194547,"modified":"2026-04-13T05:23:49Z","type":"item","id":"Q1887677","labels":{"en":{"language":"en","value":"Automatic validation of code-improving transformations on low-level program representations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2117340"}},"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":"Q1887677$2EE1B45B-D5DF-4B6E-8323-DB352D01CAE9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e77872c7df5a17b0928bdfd16b6520e9ed5fe41","datavalue":{"value":{"text":"Automatic validation of code-improving transformations on low-level program representations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1887677$1A4BC3C8-012E-41CD-BFC1-DCA736A225C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5aebbda5965f49f78d2dbc43ffa72149a7d979a","datavalue":{"value":"1072.68524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887677$1A1E8D5C-C699-41AA-838F-D2B9036ACF05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4eb86190b458d00ebc9614318276a92ba8ef89f0","datavalue":{"value":{"entity-type":"item","numeric-id":990998,"id":"Q990998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887677$3AD6CC84-93D8-4084-A8FD-F5E577AFCA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9930b809ddffab22610fd819a2ca0109e6876fcc","datavalue":{"value":{"entity-type":"item","numeric-id":199284,"id":"Q199284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887677$BD611D08-E8A5-47E0-AC3D-EFC82CF2D98C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c2dd1b74acd4736099062305229b3d53e2e979f","datavalue":{"value":{"entity-type":"item","numeric-id":185125,"id":"Q185125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887677$9DB4BB97-F755-4C14-AF94-A441E90D3080","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887677$0ED5E9F9-91B4-4146-B0E1-8795A3DCA23E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df3f0f81c599b7f3be622e55e11802c61c03707a","datavalue":{"value":{"time":"+2004-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1887677$03BA3514-4ACD-484F-91FC-9DC383A98046","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887677$079F8E0C-A2BB-47D5-A6AE-79B387D3B610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887677$39EC2114-86EC-48A1-B231-C2D7F7F6C767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887677$1F7AF999-B268-42E4-AD35-7E80E29793E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af3339ee5c5ea460c15d66d565b865e8f0af7e54","datavalue":{"value":"2117340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887677$D98B5900-E9E0-473C-BADE-1470EBECDA41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97bbf83b2e827bcac64aa11041c495016f5fd6fb","datavalue":{"value":"validating compilation system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887677$8ABA222B-FED3-4B47-966E-E7744295561F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd13a39f949a878ae43460edab2afa12eed40d0d","datavalue":{"value":"compiler transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887677$A598CDDD-1612-4CC8-8158-5858E498BAB3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cb092323d1907357fc7178a9825d7e857a72e51c","datavalue":{"value":{"entity-type":"item","numeric-id":14747,"id":"Q14747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887677$56B977D4-B7BE-48E4-8D8F-84D2B1CDE61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86ef5b0d92ed5cd124bea16e149650596f7682b7","datavalue":{"value":{"entity-type":"item","numeric-id":15211,"id":"Q15211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887677$A1262691-6081-4B84-BB21-B2B2186E98B7","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":"Q1887677$BABB4B94-F8FD-42A5-B477-E18BF5CEE07A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c3355a4f9ba2e2e689b259543b22e34941b9586","datavalue":{"value":"https://doi.org/10.1016/j.scico.2004.03.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q1887677$2CB0D8A3-902A-4A97-96AC-52A68981A583","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9e5de8c0d34e6f6ce114ba5cd2a5d5dbf65db3e","datavalue":{"value":"W2044436475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887677$C2AEA637-74CE-486F-A699-3BC3A68454FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"128ea2296808e9af9c3b4bc65a758f260852c3a0","datavalue":{"value":"10.1016/J.SCICO.2004.03.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887677$5650D81B-35E7-4298-9E61-64A1A3BA726A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df7a2be34ae3ea4bac90f21bd4f4bc1e9bbcf001","datavalue":{"value":{"entity-type":"item","numeric-id":5394193,"id":"Q5394193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"744b3a47222662ef78e3e2f7fa8a5e4d3b08c06c","datavalue":{"value":{"amount":"+0.7351870536804199","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":"Q1887677$7515793C-099E-478E-9C44-4E1AF130714C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86411324ca28b2808ef4d1738380c1c5c9a73bdb","datavalue":{"value":{"entity-type":"item","numeric-id":812060,"id":"Q812060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e5e7f67a3512c850d6faf57043299ca536d47bd","datavalue":{"value":{"amount":"+0.7325562834739685","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":"Q1887677$58927AA1-99ED-47C6-8160-D546F319B252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"287eb63ee6363dc7751d47680d1c8482e6914666","datavalue":{"value":{"entity-type":"item","numeric-id":2828296,"id":"Q2828296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3c68b7f3746faebb7d43867f302e3a6ac9cafb9","datavalue":{"value":{"amount":"+0.7214219570159912","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":"Q1887677$5A9A1ADD-6752-40E5-ACC0-CBBF431F8CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e582f858bd35925726a755a13af036eb880c2eda","datavalue":{"value":{"entity-type":"item","numeric-id":3189822,"id":"Q3189822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2664bb68c94e1dd444270fb2380f5befa8557e9","datavalue":{"value":{"amount":"+0.7181416153907776","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":"Q1887677$F89C19BB-7D92-47A7-BF35-D6537C9E8AB6","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":"a8e35f756072364a347a955720bf7714ea7fb03d","datavalue":{"value":{"amount":"+0.7149797081947327","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":"Q1887677$080A7E4E-ED7A-49E7-BE12-438062DF256C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic validation of code-improving transformations on low-level program representations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_validation_of_code-improving_transformations_on_low-level_program_representations"}}}}}