{"entities":{"Q3522082":{"pageid":5551986,"ns":120,"title":"Item:Q3522082","lastrevid":50438927,"modified":"2026-01-14T01:36:35Z","type":"item","id":"Q3522082","labels":{"en":{"language":"en","value":"A Calculational Approach to Control-Flow Analysis by Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5317394"}},"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":"Q3522082$21AF2996-8C30-4984-A5B9-1012DEDA68FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aba8e99bb2df355a359736a0538c1e7946765b73","datavalue":{"value":{"text":"A Calculational Approach to Control-Flow Analysis by Abstract Interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3522082$FFCA10BE-EE2B-4E14-9786-1EBBFD8171B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1aa3bf2b8607f9fa0c3adaa56836a830cb01207e","datavalue":{"value":"1149.68359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522082$E278E6BF-41BB-446A-BD79-5788F1EDB899","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3fc2dabe96fc9cc377a267da740b88df2747a6c","datavalue":{"value":"10.1007/978-3-540-69166-2_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522082$D4555272-36CC-43D7-AEDA-C22C03BF7897","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81a1364d41851f19faa185d9d68284ae8b9bd596","datavalue":{"value":{"entity-type":"item","numeric-id":418129,"id":"Q418129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522082$6E6C42CC-4D36-4B24-9490-8FAA1365C929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"227c5371761dcbdafbc69daa6a90de25777d0416","datavalue":{"value":{"entity-type":"item","numeric-id":418130,"id":"Q418130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522082$2A2A23C3-5FAD-45C1-A035-944EBF675AA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522082$0B339602-D6F9-4B7A-B124-AC066FFE75B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a6f30c96b939eda7f5ad6004e94c006250dd509","datavalue":{"value":{"time":"+2008-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3522082$34BCA957-AB8C-407D-ABA5-1A9B2E1CF4F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522082$75D70F80-27DB-4809-B841-5ADE72D68EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522082$9237C7B6-E824-4D7F-9C8F-7A2CD54223E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf66b208d14082b1e039cd39135a1074c76156e9","datavalue":{"value":"5317394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522082$33A7FCFA-6418-471C-A151-F13B57F6ADEB","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":"Q3522082$10188AC2-EF40-4EDA-9B3B-4EA73EBB1B90","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ea52b28b566452dfda060feb1f70fe1964fb23e","datavalue":{"value":"https://doi.org/10.1007/978-3-540-69166-2_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q3522082$87C8D36C-2AE1-4033-9CAA-649D602AB693","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1aacf94911a68c0e3e2f6ae5777ee9499b288bdf","datavalue":{"value":"W1521434182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522082$4B677F8A-9033-4484-B93B-CF2F6E7949D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98f2b6e19b30714af7ef301bbe85f749bd6d0ba1","datavalue":{"value":{"entity-type":"item","numeric-id":5891553,"id":"Q5891553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ae60d06c715967b5bc1d643765423b1391605db","datavalue":{"value":{"amount":"+0.8029431700706482","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":"Q3522082$9B9201E3-8F5A-43E2-93E1-FD8C804C75D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d08663dfabd2a018de177a419857d743dcf9ec6","datavalue":{"value":{"entity-type":"item","numeric-id":5892027,"id":"Q5892027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4aa729827a24d31ebf3a88660276f1859c5307b","datavalue":{"value":{"amount":"+0.7869685292243958","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":"Q3522082$376EBC29-3C51-457F-80B8-F444287B6BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e560e4649efcc4c96e3815fa4c6919be81d61dd8","datavalue":{"value":{"entity-type":"item","numeric-id":2287086,"id":"Q2287086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2089e3215d4736bdc5a92f53293d6cf5c0fa7307","datavalue":{"value":{"amount":"+0.7741212844848633","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":"Q3522082$E7301A44-9969-44C0-B294-BCEAD0411DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dded964e035f1732cc7e69ce615f21447f9d3589","datavalue":{"value":{"entity-type":"item","numeric-id":4930742,"id":"Q4930742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51dd4921b85b35763a26e85a08c50f68009c86ef","datavalue":{"value":{"amount":"+0.7697290778160095","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":"Q3522082$50036EED-8DDC-459A-9034-2E3F900AC45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac202c4b4678a43f028362efb729beb06ced3655","datavalue":{"value":{"entity-type":"item","numeric-id":5408396,"id":"Q5408396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"450b2021cf873077109a07aa93c2e9a0a10b750c","datavalue":{"value":{"amount":"+0.7598330974578857","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":"Q3522082$F4BF3F47-1F20-412C-BD58-7A89C77D5967","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3522082","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3522082"}}}}}