{"entities":{"Q5395670":{"pageid":7425244,"ns":120,"title":"Item:Q5395670","lastrevid":51926555,"modified":"2026-01-20T13:36:45Z","type":"item","id":"Q5395670","labels":{"en":{"language":"en","value":"Compositional shape analysis by means of bi-abduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6258067"}},"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":"Q5395670$3482153B-A9F1-4EA3-82DB-A354BC6DEAC8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b381d17d5ab0e272b7d26a7b87ea121c818c2d7a","datavalue":{"value":{"text":"Compositional Shape Analysis by Means of Bi-Abduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5395670$ED66C74C-200C-45B8-A2AE-0976A136C2F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79f9ffb60ccfddab756f2accc6081e6fa11b2166","datavalue":{"value":"1281.68155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5395670$0A56F8FA-6717-4B0D-99BA-988918735EC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4344dff6c88f70e55cd03a2ded257287cb1dec2b","datavalue":{"value":"10.1145/2049697.2049700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5395670$58AF0D65-A642-4338-8195-0163066B06C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a7aa3b44f4693179521a8497c029ed5d3d49964","datavalue":{"value":{"entity-type":"item","numeric-id":964497,"id":"Q964497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5395670$BBFA4DB4-A7A7-43F8-BA03-87A55304AFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a934115107c80a08190abc99377349337d8bd7f","datavalue":{"value":{"entity-type":"item","numeric-id":2852077,"id":"Q2852077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5395670$9276971E-A87C-4914-8DD5-93367B26B828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc2120a534f513a754fc1f7bac3ebe0b6f755e7a","datavalue":{"value":{"entity-type":"item","numeric-id":300406,"id":"Q300406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5395670$74A45044-860D-44E7-AF56-4E6A3D1EEE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c4e228a29afeb420d031832419eeb44a6dbdbe7","datavalue":{"value":{"entity-type":"item","numeric-id":736796,"id":"Q736796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5395670$01F17B35-BF1C-47FE-85B4-0437C6BE329B","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":"Q5395670$1C8A901C-16F5-45A8-9E2F-E0394DFACA3B","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":"Q5395670$56A858D2-372C-4C79-845F-A598EEC13322","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35ab661a64bbd4e008362e8f6493d56bc6b957ee","datavalue":{"value":"https://ora.ox.ac.uk/objects/uuid:bcfefe74-a79c-4155-8160-c51f92f05466","type":"string"},"datatype":"url"},"type":"statement","id":"Q5395670$3EAFA702-B0DE-4A9D-9DA3-C0F221E9330C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5395670$43D56BDB-A2CF-40CE-8292-8865D3F648B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5395670$4A20C167-1494-4DA0-B466-50AD8E750FE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1bb0acb55c8f212b620174e35cdf9c2e00c99b9","datavalue":{"value":"6258067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5395670$7641321C-9042-4632-AC5F-0A2AFC928C7E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5395670$C62328FA-F96A-4480-97CE-D2935AFCD0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5395670$0DC9BC84-FA98-470B-8F04-8D45B92CE683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae9160ab6ebf0e806fbfec0faad1a85a9eca617","datavalue":{"value":"program proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5395670$B802E45E-7BF9-4D4A-9B4D-40FBE14F9041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5395670$1A5AA5A2-25B0-43C2-B317-2E19B78C9E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5395670$BF386224-0285-497C-93CD-10A4F60438AC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5695ccde4f493ae427d2aaff82d404cadc0c8c9d","datavalue":{"value":{"entity-type":"item","numeric-id":23207,"id":"Q23207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5395670$3BF70F92-1CAB-4EC1-918B-73DFE054447C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"493c4272f3e5f72c11a4ab08cd3c037673ba4268","datavalue":{"value":{"entity-type":"item","numeric-id":21766,"id":"Q21766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5395670$4A1E0976-5631-4897-9BDF-FD21659A6117","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":"Q5395670$933A9581-FFDB-42F3-B5BE-6FA06A809356","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94e46c9bf4eb27e0dace69b0cf5887cb2fba757d","datavalue":{"value":"W1992012690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5395670$1E189643-47FE-4249-A24A-B43249F3EEC3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6890f45934c764e6aad226f38defae808b1f6499","datavalue":{"value":"Q59410746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5395670$9C05B63B-6CD3-4CF4-9916-029762D90814","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"eb0b02d4c73ce7c2ef57444a3a0f85041af11c33","datavalue":{"value":"journals/jacm/CalcagnoDOY11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5395670$99098774-7934-4411-BEBF-E80886D451E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"871b6e0bdb97b3db8683b63b6eea1ba2f2027b12","datavalue":{"value":{"entity-type":"item","numeric-id":5261525,"id":"Q5261525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7868cc939da9d793df29f716a1e1a89ca4c6bfef","datavalue":{"value":{"amount":"+0.9460239410400392","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":"Q5395670$44FAFBA3-2E28-4025-B3C7-CBE92D79D2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aab67790d08fcac72227496b500bc0dacb915d4","datavalue":{"value":{"entity-type":"item","numeric-id":3392926,"id":"Q3392926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a84dde9292643fcb004a8b6f10a849cf27e8d07","datavalue":{"value":{"amount":"+0.8422964215278625","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":"Q5395670$63E637F1-BD13-47D7-8A21-FE02F1AD6170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a21ae6f77e069f91f72c7be536913eb33031f91","datavalue":{"value":{"entity-type":"item","numeric-id":4414398,"id":"Q4414398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13c0cbd387a6b3b0d5311e6ec34af8bf3bfec014","datavalue":{"value":{"amount":"+0.7888146638870239","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":"Q5395670$1186DE93-5125-467C-91B1-3241F35B7338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b6e20ed0ec9941f5e29796f4460798cece8ba8","datavalue":{"value":{"entity-type":"item","numeric-id":5308432,"id":"Q5308432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1657b02ffccd0c6492567165b2ae309608a5623","datavalue":{"value":{"amount":"+0.7783635258674622","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":"Q5395670$F04FEB71-D2FD-4A8E-AD24-D4BA849FF23B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b11a34c1631b77cefa63ff6edcd7b5b9edab8a27","datavalue":{"value":{"entity-type":"item","numeric-id":5429321,"id":"Q5429321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dffaea252e3d0280b7c1c9a543c0be60057dfffa","datavalue":{"value":{"amount":"+0.7744604349136353","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":"Q5395670$C23D609D-6199-4BC9-82BD-F80CB7A067D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5395670","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5395670"}}}}}