{"entities":{"Q5177336":{"pageid":7206908,"ns":120,"title":"Item:Q5177336","lastrevid":58470780,"modified":"2026-04-05T08:56:26Z","type":"item","id":"Q5177336","labels":{"en":{"language":"en","value":"Program logics for homogeneous generative run-time meta-programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6413635"}},"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":"Q5177336$FFAA81A8-87AD-4F59-BE1A-BE06EF0C8CC6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc7b4ae6c3cf06506b3d8ed019e8d422130b9fdb","datavalue":{"value":{"text":"Program Logics for Homogeneous Generative Run-Time Meta-Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5177336$57F13FCE-C6E8-4590-8CAE-7E24A99EABEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d431a53b4cde6ee1f794542b3b6d7d721329b9ec","datavalue":{"value":"1448.68217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5177336$27156D60-178C-4E8B-AC24-779CE9C1A2C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7272e1155ed66231fdd06d5c504bb70234ff6e79","datavalue":{"value":"10.2168/LMCS-11(1:5)2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5177336$B54D5AB9-27F2-4CCF-8BA8-1B14F45A5078","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d282958e04681531582731636278bb22489808b","datavalue":{"value":{"entity-type":"item","numeric-id":387993,"id":"Q387993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5177336$1EC9DA79-C614-48F6-8436-2B98B757BCA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb50624886d08831670a51d635e65169c7e962cb","datavalue":{"value":{"entity-type":"item","numeric-id":2462428,"id":"Q2462428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5177336$241F11D2-B0B8-4C75-B357-72563213381E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5177336$76631095-F079-4EED-A60E-E71F0D156860","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aaa340ae51925f6905d18399dfd97774b2ad90cc","datavalue":{"value":{"time":"+2015-03-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":"Q5177336$3A3A01F6-1E8A-4755-80DA-AAE0FC7BB1A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab7f5bddaac1d5c74afbaa80f7bdf30ef99b6873","datavalue":{"value":"https://arxiv.org/abs/1411.4256","type":"string"},"datatype":"url"},"type":"statement","id":"Q5177336$8ACF53BA-7068-488B-A2F0-38A1FE150266","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5177336$E292E88A-8E50-43DE-9130-FFC7AABD751F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5177336$00ADB47E-25C7-4A13-B08E-FEB2E083601C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5177336$CADB2F9A-EB4B-4253-A1C4-3AF94389B2C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b650b5040511a8e28041ccbc089accfe325d11c8","datavalue":{"value":"6413635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5177336$B54D864D-8A01-4F54-813F-D77D4E48698D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bf8a6acc7c8f0e1d4c6a6f8a79bc23cd97bca04","datavalue":{"value":"program logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5177336$E7D6DE9B-16A0-464A-AB98-6EEB4AF9A0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5177336$92317157-6A1C-4D00-A939-369B4CB70867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5177336$8799DB1E-F086-4843-86AF-A6352B26313B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0ba66c71e3c9c370a93e15446b7b1c42c576db0","datavalue":{"value":"meta-programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5177336$C152F736-D978-409E-A07E-D4AB35F91B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5177336$AC66BC5B-B757-4EE3-BC4E-7DA1799CB86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42b87b590b3449e877057a7d1246499511ecbfec","datavalue":{"value":"observational completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5177336$ECDBFEF3-84BB-4BE3-8542-7A3D756BE172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3f774b365bd2ea97176177c73281994a4756bff","datavalue":{"value":"descriptive completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5177336$7185A2AA-2368-45E6-AFBF-B38B66AB3CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25934b97f87e8c922bf6010d126ea3b3acd3bc1a","datavalue":{"value":"relative completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5177336$585572FA-ACAB-4CB5-95D3-21D43EB939AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dc3bb38d1bb4e53db1fb8a5d4376abe101185c8","datavalue":{"value":"characteristic formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q5177336$D44CB9C9-BF79-4C31-A7EB-DE998C2AEF8D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6111489034643139b6436054b44d6250e7c1756c","datavalue":{"value":{"entity-type":"item","numeric-id":41339,"id":"Q41339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5177336$81F515DC-A6B0-43F6-AC77-061E8D351EDD","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":"Q5177336$5A1CBBA3-DA64-4F7C-94D0-8CEDAB6557A2","rank":"normal"}],"P1643":[{"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":"a4044f2be3a206c6e14ca325b2b172412535022d","datavalue":{"value":{"amount":"+0.9164001941680908","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":"Q5177336$8D9A5C2D-5E38-4C9B-ADB7-25002DA6AB70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e73e2fe893ef7d73584c767f20df8e33109720f","datavalue":{"value":{"entity-type":"item","numeric-id":2949207,"id":"Q2949207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a6102d7ea14a41e6c33a0103e42bc6c0183be5d","datavalue":{"value":{"amount":"+0.7221985459327698","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":"Q5177336$A30DC829-82FF-4970-8E10-BFA2D99C0218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef397023edbf57fabcb9805682531f7e5c9d29c5","datavalue":{"value":{"entity-type":"item","numeric-id":2986014,"id":"Q2986014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b2b3d975b12fa08158d8be0215fed63a9b43926","datavalue":{"value":{"amount":"+0.7199805378913879","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":"Q5177336$EE17D2D4-24C3-463E-ADA2-7C04FF025557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb64ed0fa04da9262603cf49b1de8e41a5ff05bd","datavalue":{"value":{"entity-type":"item","numeric-id":2871844,"id":"Q2871844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43c124efd9211e81639683c6fb1ce61bd6e26a12","datavalue":{"value":{"amount":"+0.7169511914253235","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":"Q5177336$9A1DAA38-DBD2-457B-A7CC-DFB6331ED5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01b27f67e627b638775a86e9b3c225396a9e523e","datavalue":{"value":{"entity-type":"item","numeric-id":5897452,"id":"Q5897452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0931430c04b668ebc21c1515f42c2e72e61b8390","datavalue":{"value":{"amount":"+0.7147295475006104","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":"Q5177336$609BB63E-9157-44C9-9FAD-D274DD1AAFF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5177336","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5177336"}}}}}