{"entities":{"Q5408396":{"pageid":7437970,"ns":120,"title":"Item:Q5408396","lastrevid":51972014,"modified":"2026-01-20T16:09:18Z","type":"item","id":"Q5408396","labels":{"en":{"language":"en","value":"A Galois connection calculus for abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282407"}},"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":"Q5408396$EBCC7C0E-F4C6-4CD2-933F-907802CC9459","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a66abab24107717ef4f6ad7d9d2b708453c4cae4","datavalue":{"value":{"text":"A galois connection calculus for abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408396$CFF8F262-1423-48F1-830B-4E73665C46AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bccb0efe40558a5fe2f924aa1cae69642bf74a99","datavalue":{"value":"1284.68173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408396$9CD02600-DF43-446B-9A35-6FA1C7EBED11","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d6e7911376862ac348c9746d98e9b6c89fda708","datavalue":{"value":"10.1145/2535838.2537850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408396$221BE78F-4DCA-46D4-8BF8-D11E514C2456","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66475c89deaa1b82e2a733011ec9769bb2327168","datavalue":{"value":{"entity-type":"item","numeric-id":655408,"id":"Q655408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408396$16E3113A-2948-497C-BA69-808B46872812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aabe6d988e05fe3a7b00666b4b0ee76e06b180c4","datavalue":{"value":{"entity-type":"item","numeric-id":655409,"id":"Q655409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408396$FA6A6CC8-582E-4691-AFA1-314E26445D9D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"640f3283bf4ebaf19f5992b18fbb1bf0f8463c2b","datavalue":{"value":{"entity-type":"item","numeric-id":5408394,"id":"Q5408394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408396$E8126116-77E4-410A-B9AB-662C9B693DB8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-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":"Q5408396$A2DA0B81-4E34-4CAD-A4AE-5E0CDDA8FC02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408396$6E49F17F-3EA7-413C-B31C-724815862677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"798cc93af1af672fcddaa0ab93cef1e0a30d7b36","datavalue":{"value":"06A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408396$6E751067-6AA7-4728-B2A6-BD578773B6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408396$92A08411-A016-4B8A-8B06-818BABEB6008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408396$4E5EDFBC-8F26-4545-AAFD-6CB6D88F4464","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da06b8b90835b10e47836ec00a42bc7bc3d7a4d0","datavalue":{"value":"6282407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408396$FB7B37DA-F370-43F9-8097-A7EFF1324589","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408396$0731A59E-1137-4669-A1E6-905171D1D200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7578b038a259e5bc1908dc999ebeaa3bdad3b25c","datavalue":{"value":"Galois connection","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408396$768DF675-497D-40E6-8F6F-47DDCCD75937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408396$69FD0CD4-AC8D-47D1-A4F3-819D785862E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408396$1A5D468F-3D11-412F-9C4A-35AE40140BC4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"edcc5b773aefa12179daf9a302ebafdcfbdfdca6","datavalue":{"value":{"entity-type":"item","numeric-id":25620,"id":"Q25620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408396$CBEF64AC-C615-477E-BB41-285AF2F42D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408396$DFF044E3-E5BA-4AB4-951D-6405E53DECD7","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":"Q5408396$BB6ACB54-E5FC-4EA8-9573-05A9374BEC86","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28352b2ab7531c15a490d1fb03fad1b49aca896d","datavalue":{"value":"https://doi.org/10.1145/2535838.2537850","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408396$68ED44C8-E2AB-4CA7-9E89-3FFF1C6B7EAC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"06eddcd02502162d7e7110bcb764d0598dc8e5a2","datavalue":{"value":"W2015368796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408396$36A1C393-CDB8-4F05-AE0A-2E89E1247AA1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"183d6ea76e5de27bb97849a8f9f6b9f8b014d4e6","datavalue":{"value":{"entity-type":"item","numeric-id":3296346,"id":"Q3296346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"814c65f9641b271879588dce78aed38bb731938f","datavalue":{"value":{"amount":"+0.8225454688072205","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":"Q5408396$2E995231-16FE-4782-9FB9-7A4F9F19C08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1233d8feb996e112e2eb3a8541cc8ef050a18618","datavalue":{"value":{"entity-type":"item","numeric-id":4972068,"id":"Q4972068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8942b40fc920a1e9efd6c2756b788ab602e78370","datavalue":{"value":{"amount":"+0.8210917115211487","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":"Q5408396$E5BD4185-453E-49EF-9285-439D6D98FA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"285d3319dba03f411a2b2fc187b64a42e66830d7","datavalue":{"value":{"entity-type":"item","numeric-id":2985779,"id":"Q2985779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e08637686f61dec0dd09d97127c92ba54f2395f8","datavalue":{"value":{"amount":"+0.8125337958335876","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":"Q5408396$55C07E6D-F0A2-461B-B828-02AD98F58CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fafd7ba583356dbf1d65349a3b9747ff100dd1a7","datavalue":{"value":{"entity-type":"item","numeric-id":859954,"id":"Q859954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94057ed16177e94538ac4e8e15b881c99ae6b31a","datavalue":{"value":{"amount":"+0.8030852675437927","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":"Q5408396$BE23768C-DD74-4A3C-B172-FB88F194363C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92e99ac8ae7008d6bda0b3e33b5d83bb88c0e089","datavalue":{"value":{"entity-type":"item","numeric-id":1881270,"id":"Q1881270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2dc4d0134ddcee2a065324e7b46cde49cd6e86a","datavalue":{"value":{"amount":"+0.7826371192932129","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":"Q5408396$91C0DF26-0030-403E-A590-62BB7535E4D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5408396","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5408396"}}}}}