{"entities":{"Q532402":{"pageid":534169,"ns":120,"title":"Item:Q532402","lastrevid":51236813,"modified":"2026-01-17T09:33:51Z","type":"item","id":"Q532402","labels":{"en":{"language":"en","value":"Statically safe program generation with SafeGen"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5883962"}},"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":"Q532402$A43DB97A-FCF9-40A9-AE68-6155F58B2FAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6733fddef0423d6ca58a46cf248c583abc31e8f7","datavalue":{"value":{"text":"Statically safe program generation with SafeGen","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q532402$CFCFDF0D-0099-4F82-841B-A4B9502AF23E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"401a4119f50bb909ae86b5fecd3d8bd508e78f0a","datavalue":{"value":"1215.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532402$BF0F086F-835B-4928-8AA9-224F8A214F6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0738c23f5c2db71e79bc5f81256c1d785f7bac2","datavalue":{"value":{"entity-type":"item","numeric-id":532399,"id":"Q532399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532402$FB6235F2-BEEC-4A5A-8070-F6E97EFAE1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc1f9a2ee9e17faeff7ab565eaeabce224630784","datavalue":{"value":{"entity-type":"item","numeric-id":532400,"id":"Q532400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532402$DF15955B-7069-4974-8006-25BE9275C00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"615712a0f431d688c44fc3dd3cf90c1e4b83e922","datavalue":{"value":{"entity-type":"item","numeric-id":532401,"id":"Q532401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532402$4B294A79-A0C9-4F99-9A0D-CFC53AD983FE","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":"Q532402$DC2BC8D3-65E9-4DDA-8141-1A22536CA3AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e8cf336a281775d77f65d41085e5a0ff9f89f4f","datavalue":{"value":{"time":"+2011-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q532402$7A73C580-A9A4-4054-A8E3-ED520DE4B676","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532402$51085232-B4FE-47C2-B110-C1FB6F620EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532402$AE64179F-9EEE-4E7F-99ED-448F32E6B939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532402$FD63469B-1650-467E-A8BE-F2BA077CEE9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f42ee0ab01cdbca17124c6aff30df1a29f01f88","datavalue":{"value":"5883962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532402$B5C38073-2A14-4BFE-A1CE-3B19CA5F7D64","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0ba66c71e3c9c370a93e15446b7b1c42c576db0","datavalue":{"value":"meta-programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q532402$194112B7-16F7-494E-AC41-720F6E00D48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea481ac2a707a0dc73d563ecec76d3e7a185fb49","datavalue":{"value":"domain-specific languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q532402$7A90AA71-354D-4300-9E6F-A309E9F8C45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"494d156040abfff3e3f250d6b6a3278e1786e972","datavalue":{"value":"language extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q532402$2EF32266-9B4F-4C76-A870-9E1E72C9CF17","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f7204312a5a366856d3beeaec254109ddc63fff0","datavalue":{"value":{"entity-type":"item","numeric-id":33635,"id":"Q33635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532402$69A309B8-6219-4976-A855-C2C76F8BE5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532402$83F44202-DB3D-4A4A-8794-502C9C7E2A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532402$FF6A0BE0-745B-46F8-8EB1-6A3E14943658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7829cc13ae3989cc1c0108f19b9d35747b5ad4a1","datavalue":{"value":{"entity-type":"item","numeric-id":16602,"id":"Q16602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532402$64C7AD7B-62D8-4B0B-9B1A-0FDD4317B7E7","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":"Q532402$F94E85A5-C45D-4C68-8D83-66C706B22B3A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8df58dc1e2769c790735b9ca5302b8d9c4b20746","datavalue":{"value":"https://doi.org/10.1016/j.scico.2008.09.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q532402$F3CB89A9-702E-4784-8074-809E210133AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc47273d5535281fce0eaa69998c9ab2699aef3d","datavalue":{"value":"W2013770653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532402$EE980B8A-E290-459D-AE53-600C34CFB7C3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49b20b1506647b1c87e6ed6310fb943dc6407f8","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532402$CC9D116E-2463-4F75-857A-124CEC19A8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1464111d495008f58ff1db444c773fe74f2c973f","datavalue":{"value":{"entity-type":"item","numeric-id":532406,"id":"Q532406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532402$68810CD1-7BD2-452B-8D30-068A2350670D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472cf19de10139786f8a962564dd8595fa33649b","datavalue":{"value":{"entity-type":"item","numeric-id":3122694,"id":"Q3122694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532402$AA7F23A4-B634-4BCF-B378-74EDC41B1A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cda84f1186bec09435dfc877a73fb4609acd616b","datavalue":{"value":{"entity-type":"item","numeric-id":2779263,"id":"Q2779263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532402$61651B8D-B570-4EFB-B92F-6583D28E2D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc99abfb008ffcdbb916270ada6a830164c4bc8c","datavalue":{"value":{"entity-type":"item","numeric-id":2949208,"id":"Q2949208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532402$5B9D95D6-53FB-42E0-B4AD-10E1310F7A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cecd4cf00bc8e024448b12f96273285315a1e3f","datavalue":{"value":{"entity-type":"item","numeric-id":1583363,"id":"Q1583363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532402$E87F8A78-37DD-4C2C-BAD5-3C10C5F526EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea94779146273f1102745f87bc163c41bd4716fc","datavalue":{"value":{"entity-type":"item","numeric-id":4440344,"id":"Q4440344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532402$FA4DC2CF-2E2D-4990-8EC0-A7DB72C50729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f49bddd3d8758939d2c56cea336fa15d4d01af13","datavalue":{"value":{"entity-type":"item","numeric-id":4809064,"id":"Q4809064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532402$0154EF17-1D01-4102-A784-6F44E4E91969","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2bba8101d4618c0568cc3daedc201341715b4550","datavalue":{"value":"10.1016/J.SCICO.2008.09.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532402$73ECC73E-7EEF-43A8-BA32-9C46216BEF4B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7fafd61e2423480a9739b82f311fd7c43b4cd7c","datavalue":{"value":{"entity-type":"item","numeric-id":5466574,"id":"Q5466574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"040d40a0501e259d36c3757826c0104cabe42dae","datavalue":{"value":{"amount":"+0.8265179991722107","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":"Q532402$4A7F19D3-C39F-44F0-9CA2-4602DD9E1579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74c6eef8832514760855960e9f45d9444cb78cec","datavalue":{"value":{"entity-type":"item","numeric-id":532406,"id":"Q532406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"248ed92c42f1d9cd93dbc65751653028ca3669fb","datavalue":{"value":{"amount":"+0.7705693244934082","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":"Q532402$3F0209CA-AEA2-4EFC-B94B-0AC578B1B9C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd8d73c942198168275be8460e4e9a1c0058bc1c","datavalue":{"value":{"entity-type":"item","numeric-id":1583363,"id":"Q1583363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"562ec24a348015bce0071c2004da5a2ea7228eba","datavalue":{"value":{"amount":"+0.6825319528579712","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":"Q532402$46F15CB7-9E7C-43D5-B1E0-0FBED784FC16","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":"dae6353c162829141af58ac079dbca84416978b3","datavalue":{"value":{"amount":"+0.6785575151443481","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":"Q532402$DA463E93-C0E8-4572-B463-DE1F0BD446E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4e2b1c4d46981713f238ea894fca6e4f0978ff7","datavalue":{"value":{"entity-type":"item","numeric-id":3066091,"id":"Q3066091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dae6353c162829141af58ac079dbca84416978b3","datavalue":{"value":{"amount":"+0.6785575151443481","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":"Q532402$A7D0A68E-3AC2-486C-AA07-3E7EF7A45F83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:532402","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:532402"}}}}}