{"entities":{"Q2949207":{"pageid":2959927,"ns":120,"title":"Item:Q2949207","lastrevid":85395776,"modified":"2026-06-03T07:45:17Z","type":"item","id":"Q2949207","labels":{"en":{"language":"en","value":"Meta-programming with names and necessity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6491311"}},"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":"Q2949207$9533039C-F0E5-4FF5-8972-8DAFC1BBAF70","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18612c9ab5d987ca5a30c370004b8eea45a12380","datavalue":{"value":{"text":"Meta-programming with names and necessity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2949207$BEA6583F-9969-4FE8-AC80-805855156D41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a024ae0d4f729dcf53f4b56f1d678466ae5239b","datavalue":{"value":"1322.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949207$A26AC32C-B6DC-47CB-AFE5-1812DB08AE01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2ef1b68ed41414b88351d2b16328007476390f9","datavalue":{"value":"10.1145/581478.581498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949207$50850FFC-C8DC-4F57-92E1-EB1C90844C0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b248d705e0b51ec4722970eaa46ae5f39664514d","datavalue":{"value":{"entity-type":"item","numeric-id":1426867,"id":"Q1426867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949207$F1ECA159-1930-4651-9077-45180EB905CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f0ff6c8c606e0505c72a89b79dd6eac67f258031","datavalue":{"value":{"entity-type":"item","numeric-id":2949185,"id":"Q2949185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949207$DFB16516-6818-4A47-99E6-91CB89338611","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"388a42d0e99a3473a403c82b3d4a19525d2c5416","datavalue":{"value":{"time":"+2015-10-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":"Q2949207$AE50A196-AA99-431B-B61F-00DD05873ADB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949207$46CC4677-552F-48A3-93EE-C5B0AADCFD7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949207$5E959C31-F962-4C25-A467-429978C68BE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee2db9f8d8eebf91bb5119c05a2a6507e94b64e2","datavalue":{"value":"6491311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949207$490F2C37-29C2-4D33-A906-3AC731803F02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8026960d6f36428821b4502bc1641829b1806e7e","datavalue":{"value":"higher-order abstract syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q2949207$7A7AEC80-8DD4-4E7F-8EAA-782BE28CDAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82715965e4692ca59f8fb843ca43cd76a5515509","datavalue":{"value":"modal lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2949207$F57F0865-9FAF-4645-ABD1-521640EDD8A7","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":"Q2949207$27656A17-82A9-4C11-9FB9-A54B245159A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a4b82d0ba4aadf4e0d99c080f46fe02ed13bf8c","datavalue":{"value":"https://doi.org/10.1145/581478.581498","type":"string"},"datatype":"url"},"type":"statement","id":"Q2949207$F6904663-A3C9-4C2E-BD8C-0111B0091E34","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ba94cf44834f9280da25e0135e6a582abca122b","datavalue":{"value":"W2041562780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949207$401F7862-8E4F-4FE4-9C10-84B85725C17B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74ee266ea62b479e74532081f8c0b373e0e7df6d","datavalue":{"value":{"entity-type":"item","numeric-id":848742,"id":"Q848742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46cfc0c02904a83af704fe5efff6967c86b61821","datavalue":{"value":{"amount":"+0.7493066191673279","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":"Q2949207$F1E4F927-F98F-4F4D-A856-099905B86B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"280ff5da0b6a56e216f1e104adb0f723ff18ffce","datavalue":{"value":{"entity-type":"item","numeric-id":5244790,"id":"Q5244790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40ceb1b32d4bc104e8d5598299cca0c17994b899","datavalue":{"value":{"amount":"+0.7334221601486206","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":"Q2949207$A3DCC3F4-EC2C-46A4-BD8E-09824E9B8AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"176e4ff9693737151ac7835ec72684b212573e9d","datavalue":{"value":{"entity-type":"item","numeric-id":4408681,"id":"Q4408681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37fba5955e006502fd0cb3d86f5b217834e21a75","datavalue":{"value":{"amount":"+0.7319644689559937","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":"Q2949207$B72322C8-58B2-4B73-8754-8CC6DA097F4A","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":"867a684e19e68f67f8443933a504a68f6131c56f","datavalue":{"value":{"amount":"+0.7263914942741394","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":"Q2949207$8475A93B-58B0-43E6-9BCD-CF0180999D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eab6da95e87d94f0b7be05b75369f4318f468c53","datavalue":{"value":{"entity-type":"item","numeric-id":3034801,"id":"Q3034801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41f5b634cec7b3df8adc1f6161c48ce63fa014cf","datavalue":{"value":{"amount":"+0.7232201099395752","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":"Q2949207$BCAB4076-AFFB-4641-AE15-B882DB1FEB56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Meta-programming with names and necessity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Meta-programming_with_names_and_necessity"}}}}}