{"entities":{"Q5178905":{"pageid":7208477,"ns":120,"title":"Item:Q5178905","lastrevid":52226666,"modified":"2026-01-21T05:04:39Z","type":"item","id":"Q5178905","labels":{"en":{"language":"en","value":"Systematic design of program transformation frameworks by abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6416267"}},"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":"Q5178905$3891FE52-7F2B-4A54-817A-B88593CA8F07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3b3bf7fead10c099da667ebc8c4b35873dde910","datavalue":{"value":{"text":"Systematic design of program transformation frameworks by abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5178905$B4BF1A11-71E3-4E9D-84D1-722F0B9A69D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c899487f31cce617e726f428a5a5f67c414ae274","datavalue":{"value":"1323.68356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178905$48815C14-CFAC-468D-8B7E-94873FCB4951","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f76d7143ea5d311a1da753059d5e4d5f5c9215d6","datavalue":{"value":"10.1145/503272.503290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178905$CFFB3D7C-3152-43B9-BD34-239ACB1B06CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66475c89deaa1b82e2a733011ec9769bb2327168","datavalue":{"value":{"entity-type":"item","numeric-id":655408,"id":"Q655408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178905$1E1965AB-B9A7-4F04-A874-0B271C2AD8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aabe6d988e05fe3a7b00666b4b0ee76e06b180c4","datavalue":{"value":{"entity-type":"item","numeric-id":655409,"id":"Q655409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178905$3A98A854-7DC5-458A-A1E7-FEE6C3928D17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19d34c79dcb21ff5f6ae9d83e7c1b224cf605fc5","datavalue":{"value":{"time":"+2015-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5178905$4D763073-A1F1-45C2-AA11-0A6AF96524F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178905$9B3CBF19-E53D-47FE-B150-31D7CA6182A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178905$964BA1D7-ED7F-41C7-8107-8BC3A00CFF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178905$31FFC899-E721-4B20-B416-BC1E179E2374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178905$F45FA16F-6467-42C3-B7B8-0E44212948C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178905$A8E201ED-2E9E-4E1B-9BF2-BC69F0456A16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b91b38551d40c0984ca685359712ae4f0138b3d2","datavalue":{"value":"6416267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178905$A54BF6BB-8E75-4196-A144-65AAB6551255","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d24ec78a261f49887cfb0ce166351e47e3f1e89","datavalue":{"value":{"entity-type":"item","numeric-id":21931,"id":"Q21931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178905$5B706D16-C205-4CF7-A20F-2F05EB5F01B6","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":"Q5178905$16CE6238-C7E9-4C70-89B7-BF0C3E8D52E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ecf742cd398df7d60d698f5b850018082c9de21e","datavalue":{"value":"https://doi.org/10.1145/503272.503290","type":"string"},"datatype":"url"},"type":"statement","id":"Q5178905$90A070BE-4EA9-4B91-B21F-150C8EB4F683","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1166ec96565d57c6971b171f98a04d1504ffe75c","datavalue":{"value":"W2008609084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178905$7A0349E1-E9BF-42B7-8A9D-3769B37F1250","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8d9ca57d4fc9ba55a27a8df00198d7399d2b5a04","datavalue":{"value":{"entity-type":"item","numeric-id":5747527,"id":"Q5747527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178905$96CC662F-8344-413E-A003-A7A339EE5E9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"656486f250633abf5554fbc58fd9a379412b9579","datavalue":{"value":{"entity-type":"item","numeric-id":4736494,"id":"Q4736494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a19baee3af95e830c6ab855b7d34540b9050c8a","datavalue":{"value":{"amount":"+0.8596014380455017","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":"Q5178905$197BFDBF-6A92-41C3-AC9F-EFD8E31075FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81cce323cdb11b230e1dc1dc4283a8b46521c15c","datavalue":{"value":{"entity-type":"item","numeric-id":4511266,"id":"Q4511266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d86661fc21c1c11bca0321be1a11cd46fe6825c4","datavalue":{"value":{"amount":"+0.7430863380432129","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":"Q5178905$F33FAA06-D321-4E7A-92B7-0B571CF74B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6878179e3f157533e41a39e6600c515aa7b23048","datavalue":{"value":{"entity-type":"item","numeric-id":1065540,"id":"Q1065540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20a5f1659a1c7844ad573970a9c1e4057521a5b6","datavalue":{"value":{"amount":"+0.7430858612060547","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":"Q5178905$9E044A85-0502-4B98-8DF3-E99C50861948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84f496de04a30e47938e7207d2f431e788a57f9f","datavalue":{"value":{"entity-type":"item","numeric-id":3527300,"id":"Q3527300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecf968d82e10e88c9565f034221551bf5502fc89","datavalue":{"value":{"amount":"+0.7361817359924316","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":"Q5178905$39C21434-239E-4B55-82EF-6C4ED5651380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30c6407bd166397d7230c433ce203b5500c8c930","datavalue":{"value":{"entity-type":"item","numeric-id":5714452,"id":"Q5714452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b30832c77a78d61d9c211f24613411527b915d1d","datavalue":{"value":{"amount":"+0.7353598475456238","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":"Q5178905$ED3C961B-D622-41F6-A9D4-019C5657AAB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5178905","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5178905"}}}}}