{"entities":{"Q2873799":{"pageid":2884519,"ns":120,"title":"Item:Q2873799","lastrevid":83960411,"modified":"2026-05-07T15:10:18Z","type":"item","id":"Q2873799","labels":{"en":{"language":"en","value":"Using Template Haskell for abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6250551"}},"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":"Q2873799$406BF52F-5C1C-42F5-858F-35B3168A2D13","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33d2792d67dab00fb992a404ed496e8482ec5b5a","datavalue":{"value":"1279.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873799$169EA63D-1FBE-4C8F-B884-C3229A254E4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7fe0d5d94c9e0413608077b92ea1c7fc83d2414","datavalue":{"value":{"entity-type":"item","numeric-id":2437793,"id":"Q2437793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873799$1989256C-4CD7-4FCF-BD7D-E02AE728CACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33418189bc9d297d7ccf94a77838823f2f937428","datavalue":{"value":{"entity-type":"item","numeric-id":2873798,"id":"Q2873798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873799$67EB51CB-2EA9-4E8C-819A-D15D6F072F2F","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":"Q2873799$172E5A65-1443-4CCB-9C95-141DCCACC360","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec1d1b5de12363b743dc1edf0b2d387c6f9a8806","datavalue":{"value":{"time":"+2014-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2873799$48DD67DD-2A12-4EDC-AF8C-3C5DE94AD242","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873799$0693C6B8-B84A-44D0-AEBC-09E2EF044D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873799$D23FE625-25C7-467D-8A1A-5D9C0C68DD53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d00bd11139fd8ce21e8fca57e30af3d25f2c53a5","datavalue":{"value":"6250551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873799$BB5528F0-CFA4-4869-8A3F-B0C751FF4724","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0ba66c71e3c9c370a93e15446b7b1c42c576db0","datavalue":{"value":"meta-programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873799$3F006765-79F9-46C8-8389-8140C5DACF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0df7cf2bde380d2032e99b41d92ae8067104d10","datavalue":{"value":"Template Haskell","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873799$A6853B6E-C5D5-43AA-A095-BE872F1A6306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873799$EB0E7436-98EF-441A-BF73-E7A91A367C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5a54bfe4160c4136119f69df3dba514b7baad5f","datavalue":{"value":"strictness analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873799$3219128A-9440-4BB2-9885-8C96390F9519","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873799$CD0C5C59-DC84-409F-B1BD-FC5C90E2E82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3566ceaa607ff2880dbbe400f3e2dbce0394438a","datavalue":{"value":{"entity-type":"item","numeric-id":18773,"id":"Q18773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873799$EF1F34DF-747A-4A1A-BC91-E28045989FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3893e0ce793c9528ea5b2aaf59f97586c50e6414","datavalue":{"value":{"entity-type":"item","numeric-id":33981,"id":"Q33981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873799$193FF932-2CB0-4491-83E8-66335E2FB2B9","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":"Q2873799$CE762100-FE42-4377-B69F-38C6DFE28F9F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"204c877cf6c211e3187c3c99b24cbe2b0eafabab","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.01.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q2873799$51B2104C-F483-417A-9035-CB332F299C42","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ede28734e0f55f601b26acc3f59e97306b0fd9e","datavalue":{"value":"W2129129872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873799$7FDF303F-85B8-47F7-B5A2-F4137172CE70","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de880688783f8430991fcd8dea08e941fcd50481","datavalue":{"value":{"entity-type":"item","numeric-id":3729991,"id":"Q3729991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873799$B54DE887-F6C8-4D8C-B0B1-E77C6EE35CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88be340d600860ee22e08c4a6c9810f1c62ceba1","datavalue":{"value":{"entity-type":"item","numeric-id":4460216,"id":"Q4460216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873799$BAA9E770-0651-4D55-A291-7C955C09E549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873799$6FF71D1E-233C-4C84-BA5C-AF34F60DB2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be186e0c139dca295fb01410010e552d526e1046","datavalue":{"value":{"entity-type":"item","numeric-id":4736971,"id":"Q4736971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873799$171A8559-477D-41CB-8CE1-0284929030DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bad398902774d214614996f79773446e76a3efed","datavalue":{"value":{"entity-type":"item","numeric-id":4664063,"id":"Q4664063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873799$F3FB4570-25BE-4C74-91CC-7E2DA6A16981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3b644b15a6886f262aec494ab05cf1502d49f16","datavalue":{"value":{"entity-type":"item","numeric-id":3028326,"id":"Q3028326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873799$D9863562-E5F6-4B9E-9914-8FAF6ED83AB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8cb60485ad7915eb04fdd5645149270f28ba201c","datavalue":{"value":"10.1016/J.ENTCS.2007.01.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873799$E00C1848-38B0-4A08-9120-E1B085ACE9B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cff88138b8791d6df53615de9375c4f5d0c6794b","datavalue":{"value":{"text":"Using Template Haskell for abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2873799$BA2F0BAE-3F4F-40B4-A9C2-5B5AF1FC0C75","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0d2d72b45de16824a31fa142186ea902538526a","datavalue":{"value":{"entity-type":"item","numeric-id":5313092,"id":"Q5313092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bf5ed1956b5e9859622bd041e6a4cb77bfa3e62","datavalue":{"value":{"amount":"+0.7508555054664612","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":"Q2873799$D8B79CA8-2CF8-408B-8C9D-4B906497C144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75a8b647fb3bcf954bb260f14b6078dcbb4fb8d4","datavalue":{"value":{"entity-type":"item","numeric-id":3654071,"id":"Q3654071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7571b37c4901c30f1988436c6dd3fbf4413f8f2","datavalue":{"value":{"amount":"+0.7184245586395264","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":"Q2873799$C43826A1-31AE-443E-96BB-7BFE52CF802C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0d414f707d90b603c6175b948740acd74299e28","datavalue":{"value":{"entity-type":"item","numeric-id":3653847,"id":"Q3653847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ec686839b4f7740438477a28264192d41358cac","datavalue":{"value":{"amount":"+0.6824650764465332","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":"Q2873799$33B28039-3407-4320-9C01-1FF1CF2B066A","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":"634dc3031f73a89d1847f837f5a7b7b265def35e","datavalue":{"value":{"amount":"+0.6809525489807129","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":"Q2873799$B12AF7D7-EA6F-4697-B8FE-5BA430614C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9721fe5188dd06d1b7da3b0262241616bf5c77ba","datavalue":{"value":{"entity-type":"item","numeric-id":1818319,"id":"Q1818319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4847c14aa31845b9d96114741d0d80bac357c7bf","datavalue":{"value":{"amount":"+0.6806443929672241","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":"Q2873799$5FED9557-FD49-4C26-A995-5972817FDCB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using Template Haskell for abstract interpretation","badges":[]}}}}}