{"entities":{"Q3066091":{"pageid":3076807,"ns":120,"title":"Item:Q3066091","lastrevid":79961681,"modified":"2026-05-06T15:07:04Z","type":"item","id":"Q3066091","labels":{"en":{"language":"en","value":"Program Logics for Homogeneous Meta-programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5834033"}},"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":"Q3066091$C7A97A04-F572-4E34-BB94-FE6436D7FD91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7326ce87aef8e47aa3a28d2d9df5488273b1421","datavalue":{"value":{"text":"Program Logics for Homogeneous Meta-programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3066091$60E3343F-54D1-4D7B-B098-4B78706FD951","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0ac86c1226e13816e04962c12ddffcdcd86cd96","datavalue":{"value":"1253.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066091$DAB1E545-8C21-4563-B339-F72E48383A2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6cdb3a4c0f8e83e55757d2085f24aec2c8952b5e","datavalue":{"value":"10.1007/978-3-642-17511-4_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066091$CA06BA42-58ED-4D1D-BF70-2C4F18ABA3C5","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":"Q3066091$CB55CB41-79DA-4C74-9513-39C237624232","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":"Q3066091$5A115AD3-D87C-4CCD-A117-5C0F693E4AE2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066091$B7F82482-00F7-4414-94C1-358405582466","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"156b753d324324fc03cf856ff2e3142887c3187a","datavalue":{"value":{"time":"+2011-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3066091$0F42A612-2845-43B5-96BD-F01C01570AF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00d78360d2f25ba7892527d7d366ce12ab72007a","datavalue":{"value":"https://eprints.mdx.ac.uk/5929/1/Tratt-Program_Logics_for_Homogeneous_Meta-Programming-.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3066091$930C2FE2-30A5-4551-9D13-868A59E191E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066091$3F8C0FDC-2785-489B-ADFC-E6F10AC4EC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066091$3BB518BB-F6C4-4384-87EA-F7F54A3B8874","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80ac52bc3f30046bc6a07b9e7b239e205c1c45f2","datavalue":{"value":"5834033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066091$3DF7AD62-51BE-451C-A334-D4A2FDDD11C0","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":"Q3066091$DB349402-0864-4833-B498-DBAA028803F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4609309e35d52612056296f3b6e4afd84339d4f","datavalue":{"value":"W1481546108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066091$D85F6A03-08AE-4011-83FB-2A514FF6F072","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd12c8b4fe414796d46bbfb22c071b3730ce712d","datavalue":{"value":{"entity-type":"item","numeric-id":5177336,"id":"Q5177336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54ddf1fa9035550e589abb5b15c6aebfefb56c5e","datavalue":{"value":{"amount":"+0.9483806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066091$71629864-CA5A-491D-9052-B66CF04E917A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a51fc3a2f1bf1ad50d72f1613d9d470d8df09c69","datavalue":{"value":{"entity-type":"item","numeric-id":922715,"id":"Q922715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"052b909598c38d12651b187de31aee9d3eea6ec8","datavalue":{"value":{"amount":"+0.90779305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066091$F779D6A0-110D-4D07-AA11-988FF16D927C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95f497033002862d477ced48aff1b33a9767428d","datavalue":{"value":{"entity-type":"item","numeric-id":1183842,"id":"Q1183842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1f700a46b8510ea703a445a049f56c42060e22c","datavalue":{"value":{"amount":"+0.905841","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066091$9ABED9FF-7F15-47B9-B91D-5AFE41164E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1267172c702e6cb33f5b3bbf89ee4b7dd8d8980c","datavalue":{"value":{"entity-type":"item","numeric-id":4305334,"id":"Q4305334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59e1cbd18b62558647742661764d562ca1e41079","datavalue":{"value":{"amount":"+0.9040662","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066091$4718771B-92A1-4985-A4CC-A46CDA81C5FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"112e503c64cd24f85e53786dbcefcd75040e593e","datavalue":{"value":{"entity-type":"item","numeric-id":4357066,"id":"Q4357066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da1f0badc7f6459527c63779fa6e316c5cdcb546","datavalue":{"value":{"amount":"+0.900061","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066091$7F4C2562-9907-4FF7-AAD2-37EA558E516C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8714fe66fd9b2b847f30a9555ee1f4e296969507","datavalue":{"value":{"entity-type":"item","numeric-id":4335795,"id":"Q4335795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1847d2210fba86898857e1093ea1eb79399a7ae5","datavalue":{"value":{"amount":"+0.8973261","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066091$18464743-80E5-4D10-BA0E-BF15CE1CB5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fee10d282ff2fc3fce33a7dab740b6dc62ff8b0d","datavalue":{"value":{"entity-type":"item","numeric-id":3631203,"id":"Q3631203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"774bde5a5843131d771b47593d49779ec6edf3c5","datavalue":{"value":{"amount":"+0.89151365","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066091$C474B1E4-0990-4E6A-AD11-300A02DA85B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72cd9d726c12e65ce0b03b54fd0a5c2a6b99873e","datavalue":{"value":{"entity-type":"item","numeric-id":3358245,"id":"Q3358245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83e5084d5d54b4bc41cafbaac6f9e00a0081dd8b","datavalue":{"value":{"amount":"+0.88886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066091$55F2A61D-9B70-445E-B518-BF68ACBB000A","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":"bcd1b87cf6a1c4541585f79f393fdb74f9e909fb","datavalue":{"value":{"amount":"+0.8874039","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066091$FF78CD32-5D6A-493E-85C9-B33BD0DF4D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce72023bf37bd6d6716e6ad2b8d6c692ef995673","datavalue":{"value":{"entity-type":"item","numeric-id":3806789,"id":"Q3806789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"643523196f62a4a66ecd7b079511925acb2b515b","datavalue":{"value":{"amount":"+0.88665855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066091$93282AC4-0B35-4FD7-BED6-89ADDAFAD899","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Program Logics for Homogeneous Meta-programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Program_Logics_for_Homogeneous_Meta-programming"}}}}}