{"entities":{"Q2871844":{"pageid":2882564,"ns":120,"title":"Item:Q2871844","lastrevid":79529924,"modified":"2026-05-06T14:07:45Z","type":"item","id":"Q2871844","labels":{"en":{"language":"en","value":"Imperative LF meta-programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6244373"}},"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":"Q2871844$F5ACAC84-29C9-4AE4-9927-6E87E80FD806","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10bde98bf5380e2f0ead6fd910e9d1e9009e85a0","datavalue":{"value":"1278.03067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871844$7848B341-99A7-46E4-9251-3619CAF46E24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7daa8e19dd762c08a3fe86309cfbf3893a62423c","datavalue":{"value":{"entity-type":"item","numeric-id":286782,"id":"Q286782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871844$86B102C4-6FF0-40BE-9E86-195CA54E5BF7","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":"Q2871844$39C19F8E-71F6-47BE-A15D-FCA79DA06F5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c704b287c68a3d4d8361a025642d6eba13574eb","datavalue":{"value":{"time":"+2014-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2871844$23206A3C-C976-4EAC-961A-DDAFD37A9DC7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871844$2F8B105E-2DC1-4840-90C1-CEC4260529B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871844$00AE84EE-6496-4550-876D-D2B94904CCCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871844$991494D0-1249-49A2-97AC-CEA06B48F539","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"913f940c92475a9239c054440058e60910755e84","datavalue":{"value":"6244373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871844$83E584DA-C902-464F-A743-BC8CD106B37B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0ba66c71e3c9c370a93e15446b7b1c42c576db0","datavalue":{"value":"meta-programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871844$F0160355-6185-4CBC-8B92-7205176BE4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871844$4A8FD762-155F-42E1-9B99-E569471C240A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b74fe22d4ed0d835a4cfc9c85842d7120e79ea1d","datavalue":{"value":"rewriting calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871844$83505C72-9668-43E1-A00C-D5B53124FCD1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05e19126d9e9907924a4600d0a5598afdc2c5f70","datavalue":{"value":{"entity-type":"item","numeric-id":20609,"id":"Q20609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871844$7ABA806A-0A6F-4755-B4EB-89CA3086C0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871844$54B022E7-180D-4257-84CC-AD63C35BEE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f94973da57644d5293cf3c9ac6633e23f2b0fa3a","datavalue":{"value":{"entity-type":"item","numeric-id":21445,"id":"Q21445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871844$3D898A97-D8DA-4683-BD2B-B0A25177E110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e41927344b9397ba2eb05288d661d38c0f0d55a6","datavalue":{"value":{"entity-type":"item","numeric-id":21665,"id":"Q21665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871844$0B876884-C1C1-4D7D-ABD7-6CD3D15BF661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"091afb597137a7394f385e7dbf90c0531f47e478","datavalue":{"value":{"entity-type":"item","numeric-id":25504,"id":"Q25504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871844$1AC33975-72C0-483E-81F2-0FD6EC39C43A","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":"Q2871844$98577630-CD9B-4F72-AE93-C6C8F5F4F34C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"593df2e0da66315c93265c3d9d98cc760a2ce60c","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.11.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q2871844$1EA69C7C-E9D1-4B40-906C-62B1E824BC44","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e6f560c13a9cbef1fe3d9af17bbd015acacac2e","datavalue":{"value":"W2132259423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871844$96356E4C-56FA-44E1-A3F5-F4643125421D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a94721e1e032fbadf18e9bc1327b35c58351cc50","datavalue":{"value":{"entity-type":"item","numeric-id":4819651,"id":"Q4819651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871844$769556DC-2D95-4153-AA68-9C7DAE42D889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b327cf916e5c8f52b90b371017428a40a2b3f26d","datavalue":{"value":{"entity-type":"item","numeric-id":5348900,"id":"Q5348900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871844$D9C7EBFA-5DDA-4F2B-BF4F-37D38E8FED29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db81cf7e79e54426ef60a161c70f4ae06ee9844e","datavalue":{"value":{"entity-type":"item","numeric-id":2942930,"id":"Q2942930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871844$4BF7E143-8369-4096-BEA9-3CEB806C0479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e0ad9049f6fe82451e2b7d8bdacba443a464251","datavalue":{"value":{"entity-type":"item","numeric-id":1826465,"id":"Q1826465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871844$7299FF9B-C0EF-4726-A15A-0DFB131C83EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871844$E9EF9042-4194-46B4-B513-EA237869F411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1ff3f699fb32cc9d2c446a339d7f9239ca62cd8","datavalue":{"value":{"entity-type":"item","numeric-id":2723407,"id":"Q2723407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871844$F878811F-4FDC-4857-B5C9-DE8E7295A487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4d4048d68302ad95851d7b1bf999b446bba869","datavalue":{"value":{"entity-type":"item","numeric-id":2751369,"id":"Q2751369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871844$2EE54BB6-8EA0-4CC5-8509-C088CD25CD50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a55620229a723772a6f28df349b35435b565020f","datavalue":{"value":{"entity-type":"item","numeric-id":699688,"id":"Q699688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871844$3DFB311D-634A-488B-B59D-556560DC5B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309a715ecfe3fe3e4ec0e698ae13dce021cfc93e","datavalue":{"value":{"entity-type":"item","numeric-id":2724150,"id":"Q2724150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871844$454C18A2-36C7-4C88-8C9D-AC1221015B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c3c1a158830a2778411fa5226697dec873e2e7c","datavalue":{"value":{"entity-type":"item","numeric-id":4783333,"id":"Q4783333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871844$0C6BAE9A-AF30-47FD-B0D6-B65E73628845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bfd62865a78026bb5cdd8ce719227f1e763aff7","datavalue":{"value":{"entity-type":"item","numeric-id":4804919,"id":"Q4804919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871844$774360FF-C27E-49D1-8D69-CCAB5C1AAC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d899fb238e690bd1e680bc6f22ee287602056777","datavalue":{"value":{"entity-type":"item","numeric-id":2849859,"id":"Q2849859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871844$61F97957-353F-406D-8590-CF101F973B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871844$7D561D0D-C3CD-45CB-BC95-0B999E712E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb97a01d1b2fb36defd5091f2c371db7c8e89d6","datavalue":{"value":{"entity-type":"item","numeric-id":2936790,"id":"Q2936790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871844$CE35A6AC-54AF-48F7-9A6F-820E00E71BEC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99129ea12c681335ebef711ac8893f16f6dcbdbf","datavalue":{"value":"10.1016/J.ENTCS.2007.11.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871844$36C771DF-3458-45A2-843E-D2564979E3DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"388d7ff07f91b2b8532a00a89e62a064d580af15","datavalue":{"value":{"text":"Imperative LF meta-programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2871844$4D7178CD-59EC-4609-A918-2EB1C7B1462D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0474a820aa477245d719307dd6b245e63ef2e649","datavalue":{"value":{"entity-type":"item","numeric-id":4012879,"id":"Q4012879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a6447b6598ad1b8f5490411d88d6476e2a5140a","datavalue":{"value":{"amount":"+0.7593666911125183","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":"Q2871844$EF8641F0-22A4-415A-B847-A9C5E0CA519B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f5dca2022576c86f12ae33856a5e185eb91ce2c","datavalue":{"value":{"entity-type":"item","numeric-id":5108530,"id":"Q5108530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a6447b6598ad1b8f5490411d88d6476e2a5140a","datavalue":{"value":{"amount":"+0.7593666911125183","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":"Q2871844$5E2C1BEE-83D1-4E3F-A8AD-69A3BC10DB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"733864c161ef4d49db793b22052233c0cf4d18cc","datavalue":{"value":{"entity-type":"item","numeric-id":5308009,"id":"Q5308009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"707dd26485a7029d2068f2bf1242106cd448fc48","datavalue":{"value":{"amount":"+0.7515050172805786","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":"Q2871844$51F8EAF3-F537-43FA-9DC0-259D46ED1B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6850f32c4cd09c5f2143a5206e88925f5c5e9079","datavalue":{"value":{"entity-type":"item","numeric-id":4823135,"id":"Q4823135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d66d96ab815974214b09ad97e2a188c73749c62","datavalue":{"value":{"amount":"+0.7489123940467834","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":"Q2871844$C637EBE0-4766-4D16-88AE-D2CF830206BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e94d4fc14cc076354ae9542efb419bfde442389","datavalue":{"value":{"entity-type":"item","numeric-id":3204068,"id":"Q3204068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ff688938bd99fccb2042a5c0527020e249fd7ed","datavalue":{"value":{"amount":"+0.7442299723625183","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":"Q2871844$05895345-7852-4FF3-89A9-7FED38406AED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Imperative LF meta-programming","badges":[]}}}}}