{"entities":{"Q5395699":{"pageid":7425273,"ns":120,"title":"Item:Q5395699","lastrevid":51926663,"modified":"2026-01-20T13:36:49Z","type":"item","id":"Q5395699","labels":{"en":{"language":"en","value":"Theories, solvers and static analysis by abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6258097"}},"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":"Q5395699$50AB80E9-E8A5-4875-88FF-360215519A1E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3e6e406eadcd7c05141c602865298208e5590d8","datavalue":{"value":{"text":"Theories, solvers and static analysis by abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5395699$5280E240-2717-4E77-87E8-E4FA08501E6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4984d679c6368d269d4f4af883cb4891237491e7","datavalue":{"value":"1281.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5395699$879BFB2E-4BAF-427F-ABF7-1508082235C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2974294067397701b345d1bb53fbeec687fa455","datavalue":{"value":"10.1145/2395116.2395120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5395699$B5099BC7-7C12-4783-B616-C55A16F5057F","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":"Q5395699$7CABD3F2-4BCD-4A38-8B91-FB12AE26F935","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":"Q5395699$99C89A5E-E8A5-4FC3-9BD9-68B68E91A6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b24ff82e9eaca3758943fcee7e982a45635141ca","datavalue":{"value":{"entity-type":"item","numeric-id":845248,"id":"Q845248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5395699$4B6936A6-FF28-4FEF-B1B8-3DC647CF9F4C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5395699$7A05E190-0237-44EA-BA5C-095FD1E454D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0123b277c5975b0a4fe70678b24ba478daf7402","datavalue":{"value":{"time":"+2014-02-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":"Q5395699$1FE26A39-BC77-4551-811C-97376189BE16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5395699$E4C38AF7-399B-44C4-97C5-8F9F56262650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5395699$773A9B51-73E1-4E16-9E76-7D93918CFF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5395699$8223B955-40BB-4E8D-88C2-08551602C97A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5395699$201FE14F-B549-430C-8EFD-37C9F5E326AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fe920177d6add4fa230f9a8b4ec18b002e8c241","datavalue":{"value":"6258097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5395699$01502DF7-AA2A-4D1C-8867-D5E80C5507BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5395699$8433CC05-D11F-40E1-AF70-8A425503B873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cfcf2f65407398de9c10f01dff83870941fc709","datavalue":{"value":"SAT modulo theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5395699$F262BBDA-E58C-409E-89D3-43D13F598F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69915e018ed669c5d09bb1f8b68333ef5bbefe95","datavalue":{"value":"SMT solver","type":"string"},"datatype":"string"},"type":"statement","id":"Q5395699$3030F36D-4E2B-41EC-86D1-AF44B20DBE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5395699$EB7EE249-5955-4E7D-AB38-3AF9017350F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea0d299920022edce35db71b9ef58e865e2cd3d4","datavalue":{"value":"program logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5395699$41777DB3-66F7-439F-9D70-023ED03CB33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5395699$4B670138-06DF-472B-BC04-FFAEE4ABE18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5395699$1EF7B72D-7B71-47D4-AAAF-8CF9289252C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5395699$ED372992-4031-421C-AFCE-7142D3E2DB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5395699$43359D5F-DC6B-422F-81CD-378CA2CD942A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fbed10bee046678d6f472e9e7c0efde19c97b8c3","datavalue":{"value":{"entity-type":"item","numeric-id":25616,"id":"Q25616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5395699$781CCBD7-D05A-43B1-A44E-36992D28B536","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":"Q5395699$1C01E146-BEEC-4B12-AF24-B8BE97227677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5395699$AA44E828-6997-4065-8BB2-1D140AF55BBE","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":"Q5395699$7C41ADF8-69E4-4FA5-8108-8923F3FAE4D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd99bfc90f6095fb42e4be0fabedcc50f45a8973","datavalue":{"value":"https://doi.org/10.1145/2395116.2395120","type":"string"},"datatype":"url"},"type":"statement","id":"Q5395699$BFE8A4D4-28E9-4031-92A4-59594B0721B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c79b55325520810e3849038f7bf2c13ce55afdc8","datavalue":{"value":"W2044110501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5395699$48ED240B-3625-41EB-B269-8C38B9940896","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea6ab9e5c04c365c0fd59b2ba6634900e475eeff","datavalue":{"value":{"entity-type":"item","numeric-id":3000629,"id":"Q3000629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc3eb5136a8915328d1cd924f0b31a06024d2291","datavalue":{"value":{"amount":"+0.8965266942977905","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":"Q5395699$0DA38D70-E910-4B9A-B3A7-82111FF933D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34b87172d3a030e82a30d7b6ae77c17dc6df669a","datavalue":{"value":{"entity-type":"item","numeric-id":436376,"id":"Q436376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58eed7e936f2e8db180b2ac05dc6a99a851e7c13","datavalue":{"value":{"amount":"+0.7324827909469604","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":"Q5395699$47EE7CF3-D58F-4B18-8AF2-6D8F4037687C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5a670809610521a970d1b9c4190ab763d68a9f3","datavalue":{"value":{"entity-type":"item","numeric-id":5179357,"id":"Q5179357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f2d92537ceee2455fd9029c7da1b6b45eca4dd1","datavalue":{"value":{"amount":"+0.7233670949935913","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":"Q5395699$15623322-8DE4-4272-AFC3-8819B746BA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70c1734539f185b588a6dc63233d5be8e98210d2","datavalue":{"value":{"entity-type":"item","numeric-id":5758134,"id":"Q5758134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c218d34fa73929ee402e8fea1940d938ca441ae9","datavalue":{"value":{"amount":"+0.7217212319374084","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":"Q5395699$D053E2A1-0986-43DE-B295-691D315BC207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"454da0640ef8bf5884cd6e6c7b7dedebe8ad02eb","datavalue":{"value":{"entity-type":"item","numeric-id":2864402,"id":"Q2864402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69f21e27f9a1f65dec4531abc08b4c1f6e6d44a3","datavalue":{"value":{"amount":"+0.7171680927276611","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":"Q5395699$E7A5ED8D-E71E-422F-818B-76C3AFF3BCDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5395699","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5395699"}}}}}