{"entities":{"Q5452615":{"pageid":7482174,"ns":120,"title":"Item:Q5452615","lastrevid":50326928,"modified":"2026-01-13T20:11:06Z","type":"item","id":"Q5452615","labels":{"en":{"language":"en","value":"Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5259442"}},"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":"Q5452615$36C4371F-A191-4596-8392-B8A5E953D20D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2678ffc90f08fc231999e56af227ec3bb1cd7f9","datavalue":{"value":{"text":"Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5452615$96B7AC94-6DD0-4722-BDF0-E57FB3946A9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"567ca42b2d0271f5f1f21c23c1784c586ff17c48","datavalue":{"value":"1132.68329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452615$748B2FB8-4802-461B-92AB-27A26BA4480E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66928c85c53345c54ed2dacdf640c652a8a5aa5f","datavalue":{"value":"10.1007/978-3-540-69738-1_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452615$C4605D0E-BA2A-49CE-89A8-006216AE999B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e49a0ecb14865a5b433d1cf738812e937a4ed0ef","datavalue":{"value":{"entity-type":"item","numeric-id":988563,"id":"Q988563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452615$A9E79E39-95EE-4FDA-9768-222D27EA2A60","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452615$2806E3EF-26ED-4A34-B135-CC8789F39712","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"283c808929f873b84bd7c8d7eb4dc979113b8f01","datavalue":{"value":{"time":"+2008-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5452615$D8CEF1A8-0727-42DE-894F-56A75E95A045","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452615$FED2F048-C67A-4197-8D5C-C6119DA63BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452615$F8D078AE-977D-47F5-8141-67220A88E6C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f15642698eb38f4b4fe087c6d20b8b4abbe74bc5","datavalue":{"value":"5259442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452615$EF383C77-C45F-429A-AC92-B4E7BD902AF7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86bf5cc71543d37d3d4e0d2b65764ff2a2ea238d","datavalue":{"value":{"entity-type":"item","numeric-id":19894,"id":"Q19894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452615$FC4CC7DA-89A8-45BA-801C-78D64A12E2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452615$9EBC42D0-2FE6-44E6-A1F0-BEFB90D3268A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe5077d712c4f7a91829b6a22ef0e0039cd600ea","datavalue":{"value":{"entity-type":"item","numeric-id":15691,"id":"Q15691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452615$D583F8D4-9145-478A-8114-08D346B6BA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"332f296aaae9d4de9f8bb547239196c5fdde9be4","datavalue":{"value":{"entity-type":"item","numeric-id":19311,"id":"Q19311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452615$B3A18159-033A-4899-B56F-F372A2C6CA70","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":"Q5452615$ABA1C271-CBE0-41DD-8D0A-7CAB9D7DE606","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d246e80ec4c7187a03e6b4b1a7dd2ffe3d483b6","datavalue":{"value":"https://doi.org/10.1007/978-3-540-69738-1_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q5452615$A110AA48-6748-4171-91EB-86398B6CA44B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"924e9cdc709256c535944b03fa40f0feffe4a057","datavalue":{"value":"W1776599990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452615$EDE0DE2C-58F0-4829-B1B5-E34A803612E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea995edccac5da0953e656bb0c95a322b8422b8c","datavalue":{"value":{"entity-type":"item","numeric-id":3593074,"id":"Q3593074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452615$2EB2E46F-BF80-4AAE-BB4C-A6B6B3E9E835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3109868eabc348164df54dfbc4d510999bf50764","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452615$A596CFC5-AC52-4ADF-81F3-B888A1F95558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472cf19de10139786f8a962564dd8595fa33649b","datavalue":{"value":{"entity-type":"item","numeric-id":3122694,"id":"Q3122694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452615$BF5DF25F-FF4E-4B20-9DB7-B4587B0A2F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"597d271d459ad49c44f0c067941d38f82a26164f","datavalue":{"value":{"entity-type":"item","numeric-id":5312991,"id":"Q5312991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452615$28CF3688-EE2F-4710-B7D5-D1CDA6B26C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62a2228970ea3904820da7843bc62eaa9d3b6218","datavalue":{"value":{"entity-type":"item","numeric-id":1749225,"id":"Q1749225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452615$8529685E-9915-4242-A985-355AC5C6C1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eddd8cbb64d539857cacbe7cdb050d3d43884a13","datavalue":{"value":{"entity-type":"item","numeric-id":1881670,"id":"Q1881670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452615$8D0BB6CC-C60A-4099-BC94-CDCCBA8D69AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c32f716a89d889d8580cbbf755ea41f18177dd7","datavalue":{"value":{"entity-type":"item","numeric-id":4371400,"id":"Q4371400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452615$106C5B32-0DB0-4563-947F-FFE9E73CD745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452615$A048FD41-FCE3-4404-A46E-39DAC52F54B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c391e86babb27a06dbe621e4f1613ccaa7042e9f","datavalue":{"value":{"entity-type":"item","numeric-id":2938072,"id":"Q2938072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d0fee33cdbfa79e68d279042b757a5074896819","datavalue":{"value":{"amount":"+0.7585785984992981","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":"Q5452615$ED608E71-C86D-400A-AA55-120D07EEB32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41e23bb9a622502f6acd0710499181aa0f8a2584","datavalue":{"value":{"entity-type":"item","numeric-id":4738384,"id":"Q4738384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a47efda72b01eb05663c31060e148669683886a9","datavalue":{"value":{"amount":"+0.7428632378578186","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":"Q5452615$5F98B9A6-7B42-4079-B9BA-61C3C4B553E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1b6d56566321adca77f28726083b293374f4088","datavalue":{"value":{"entity-type":"item","numeric-id":3578394,"id":"Q3578394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37718ef3c6d3e78e8181ba305e59ae92fd1521e9","datavalue":{"value":{"amount":"+0.7406150698661804","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":"Q5452615$4DC9275D-9DE7-4A00-87BE-8F05A50FA48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25f595f1f3162ee239095e0c417d87d9af99cb19","datavalue":{"value":{"entity-type":"item","numeric-id":2769434,"id":"Q2769434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a55a8504fd0ef1e4e48445598ed66632180e3993","datavalue":{"value":{"amount":"+0.7346414923667908","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":"Q5452615$3A6BC426-497D-42B3-8D9E-28086E73E75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cf4cc98e354fb0a43b976c9b90536575083ec81","datavalue":{"value":{"entity-type":"item","numeric-id":4813390,"id":"Q4813390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a4e87252cea68191191eca9f7e0664fe3db2295","datavalue":{"value":{"amount":"+0.7327072620391846","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":"Q5452615$79844739-4ED6-48CA-A72C-79F49FE94C59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5452615","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5452615"}}}}}