{"entities":{"Q2946584":{"pageid":2957304,"ns":120,"title":"Item:Q2946584","lastrevid":52347116,"modified":"2026-01-22T10:11:22Z","type":"item","id":"Q2946584","labels":{"en":{"language":"en","value":"Sup-interpretations, a semantic method for static analysis of program resources"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483094"}},"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":"Q2946584$86D78627-69F3-45C1-866E-A3871A307C86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5342eaa857076e0574b7fb2bd9295b48a684c9e","datavalue":{"value":{"text":"Sup-interpretations, a semantic method for static analysis of program resources","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946584$3173B268-F65E-4076-BD35-E4E4FD2DDE1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"878e13dc4b9b7f823a2c101499f341657e00bbe7","datavalue":{"value":"1351.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946584$301E321E-2582-4311-996D-F9D06854EDB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d316010f4bb9a4c3f7b7b9649e803e2198cf5de2","datavalue":{"value":"10.1145/1555746.1555751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946584$F58165B8-994D-40FB-9E8D-CBCDDE32454B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c0eb116a547edc17bbfb9c1cfbeb5854620c839","datavalue":{"value":{"entity-type":"item","numeric-id":235589,"id":"Q235589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946584$5CFB73A7-CE19-49D4-A45A-427A55828E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fff50a7a9071a09e7be8e0564680a871ad9ef12","datavalue":{"value":{"entity-type":"item","numeric-id":1640982,"id":"Q1640982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946584$3FF91084-2E80-4590-B8C1-47EA240BDD3C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946584$5E1F52F5-37AE-41B9-8CCC-0D85D64A100D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946584$A68EA35B-500A-40C3-80A5-DC8BA91B37B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a3a7fadb209d297d2d534b8328dad58e5d6579f","datavalue":{"value":"https://hal.inria.fr/inria-00446057/file/333pechoux.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946584$AA6BDDEC-5174-4487-99C2-92291263F522","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946584$EB95FA98-351A-4760-BCD0-A0D5D4786657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946584$61D38319-EB83-40DF-A09F-058E386729EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90defc7d1c16736c6b9438f359f052ead2942de6","datavalue":{"value":"6483094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946584$315ACCE9-0C84-49B6-AF29-6ABF64D9D4A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"713bcba4c34b67d138d09d98ac76cc9dac041f8d","datavalue":{"value":"resources control","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946584$171053EE-6204-482D-A2CB-824A49A2725A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41275b5b0a1010c9e2c256973931db97b13568a4","datavalue":{"value":"static analysis of first-order languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946584$68A99214-6DD7-4B84-948B-5A396669F5EA","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":"Q2946584$5BB6CB94-E5B9-4C14-BED3-10DB64BDD11F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe69589a8515b54ddd0528ecc1614ca4762cb700","datavalue":{"value":"W2033656559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946584$6A5F1BD8-5770-4D66-B7C2-0B7B3B5A9333","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6de2d413dcd3df904f451eaff232eb4290254a25","datavalue":{"value":{"entity-type":"item","numeric-id":3434631,"id":"Q3434631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d96fa961abe4821d12c0c64a97231d461b8a76e","datavalue":{"value":{"amount":"+0.9453611373901368","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":"Q2946584$ABA54227-C745-411A-9294-E2C7148B3FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea7137b5069f7610a392321e89c99cc3e81c2de3","datavalue":{"value":{"entity-type":"item","numeric-id":1935778,"id":"Q1935778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5efcaf3c97f44ad344e49891a53edbfdfc6dedc2","datavalue":{"value":{"amount":"+0.8515280485153198","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":"Q2946584$9CDF0168-64F4-49DF-8711-ECDB3B56F797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34e54aa5e33dca239b91d5f665160fe1aa599649","datavalue":{"value":{"entity-type":"item","numeric-id":541228,"id":"Q541228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c0030a855b9ed11208c1aef0ade1825a6fd6cf9","datavalue":{"value":{"amount":"+0.8024629354476929","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":"Q2946584$2E982529-E040-47D3-ACC5-C547C45047FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9a1725efbd68e51171ef4e1cd33947ed37410a2","datavalue":{"value":{"entity-type":"item","numeric-id":5747629,"id":"Q5747629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f3b0637a58119e8de9a232dfca4976ad9e944cb","datavalue":{"value":{"amount":"+0.7910988926887512","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":"Q2946584$28F4CE0F-D532-43A3-B947-8F28FB407A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16fce8d878ff5e36239c3fe80d9355c8bbb8df26","datavalue":{"value":{"entity-type":"item","numeric-id":4457446,"id":"Q4457446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53c7a733f80e472db7a062af56655c5364d2073e","datavalue":{"value":{"amount":"+0.7545530796051025","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":"Q2946584$98A93A68-EDA9-41E1-B322-AA7AB113EDCA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946584","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946584"}}}}}