{"entities":{"Q4917048":{"pageid":6946629,"ns":120,"title":"Item:Q4917048","lastrevid":35331312,"modified":"2024-07-06T08:22:27Z","type":"item","id":"Q4917048","labels":{"en":{"language":"en","value":"A Case Study in Abstract Interpretation Based Program Transformation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6158643"}},"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":"Q4917048$C42DC319-ED65-44D5-82B5-DCC6329791EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9209e2edd734dfa0e75cfd0ad6b61fefd5e0450f","datavalue":{"value":{"text":"A Case Study in Abstract Interpretation Based Program Transformation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4917048$288F62D7-F2B3-4DB6-8242-5130858A1DF9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1843914df3c5444c319a0cbe4044fcc6399c316","datavalue":{"value":"1260.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917048$3B0CD5AB-E314-403F-ABBE-BB1D317BBAC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cda5130fc9800a74922bfcebe2d27e3b0d160da5","datavalue":{"value":"10.1016/S1571-0661(04)80954-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917048$1FF866D5-F053-4A93-A2E3-E2E7D6B67B4F","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":"Q4917048$150289F0-067F-49CF-8EC0-9CC2E3ABD2C2","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":"Q4917048$3578078D-1E73-4BAB-8BDC-C2B5ED607859","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917048$44497049-1158-46CB-AB66-B172CB549AEF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bbadb60043d42aba50a817a1c8ceda2c9fd41cc8","datavalue":{"value":{"time":"+2013-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4917048$5F05FD95-6783-4D0E-885A-F3566FA80457","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917048$E16E65B7-E539-4196-823F-66291C189717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917048$B5BC9611-A1AB-4A7A-9A3A-95A29F081D96","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52b2a37ac592fe4a665cb66876f950b8c0f8e23d","datavalue":{"value":"6158643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917048$87D8F092-0B61-494D-9822-F6D561CF4A33","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":"Q4917048$EFB84704-3855-4320-BED2-E2D675143AF1","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":"Q4917048$7B070CE7-B618-4F8C-96CA-9720EB047180","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"51168937b953606ba438f51561c83b743d0cfabe","datavalue":{"value":{"entity-type":"item","numeric-id":4843177,"id":"Q4843177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917048$BC9998B8-9FA6-496E-8204-8706CD2988C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2204ee7d30bcfa8fbee857183801f78bafc2ef2","datavalue":{"value":{"entity-type":"item","numeric-id":3763571,"id":"Q3763571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917048$4522B8B3-A176-4641-BE11-B2316CD80DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917048$41D0F65C-CFF2-4916-8433-14F239C17E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"498e9f122ecd76dd7e75a65105a3a53c0ea6ff3e","datavalue":{"value":{"entity-type":"item","numeric-id":4222883,"id":"Q4222883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917048$6007211B-6A73-4A45-9705-43B2E495386C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ea812d12ce2adb0254bf62517c7cdc2d1bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1260047,"id":"Q1260047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917048$A49C5C07-97CA-42AD-A9D1-2BAC87710401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dcaba85eaf9b02283987ee8f5ec2f8f6402ce65","datavalue":{"value":{"entity-type":"item","numeric-id":689297,"id":"Q689297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917048$BFE75FE1-A994-4AA2-8FBA-59B813E0AC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3109868eabc348164df54dfbc4d510999bf50764","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917048$56AE9143-0097-4D32-AC9B-78C0EABEA9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afadfd81a93e0bf93af07b69aaaa8e8e310cb160","datavalue":{"value":{"entity-type":"item","numeric-id":789892,"id":"Q789892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917048$CF709278-B6AE-4A79-8C5A-B8847E12B0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab124a7373ba82029ffdcc597bda7b4f27aee620","datavalue":{"value":{"entity-type":"item","numeric-id":5287559,"id":"Q5287559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917048$77C68299-5A83-47BB-BBF1-4E16226ACF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c67c1af8188e320ba0299a6df2df39f5b6e776e","datavalue":{"value":{"entity-type":"item","numeric-id":4068060,"id":"Q4068060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917048$5406C97E-BA55-4C1D-B47B-554D7D838661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35838c32d188bd66cc45703c606789db71b97ead","datavalue":{"value":{"entity-type":"item","numeric-id":1865858,"id":"Q1865858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917048$55BCC093-7237-4F2E-8770-70E8FEF3D033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917048$86C16550-74A9-4B24-A9A2-390A74E5B0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fcf4186c4480f5d344cc9880618b00ccbaf1502","datavalue":{"value":{"entity-type":"item","numeric-id":914358,"id":"Q914358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917048$4171736A-84D0-4ECB-B414-AC805F9EAE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"841df77b5e5e2d994ab30d1be873a76e763763b2","datavalue":{"value":{"entity-type":"item","numeric-id":3345745,"id":"Q3345745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917048$52FEA8B1-6454-48B6-ACED-0A0EF9BE95FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4917048","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4917048"}}}}}