{"entities":{"Q3558215":{"pageid":5588119,"ns":120,"title":"Item:Q3558215","lastrevid":88373324,"modified":"2026-06-04T14:21:23Z","type":"item","id":"Q3558215","labels":{"en":{"language":"en","value":"Precise and automated contract-based reasoning for verification and certification of information flow properties of programs with arrays"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5703398"}},"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":"Q3558215$CAEB4C4A-E78C-4C23-81A3-CEA73E3D96A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59499fffaecd8d46df0feac9e8c8e396c42210d5","datavalue":{"value":{"text":"Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3558215$DF8AD04D-6E7D-408F-A2BF-E7A092D51B92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd43f4d21f68faa7cc4c450f567669079b8cc3ef","datavalue":{"value":"1260.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558215$52E7D376-7CEE-4C33-B2EC-FD32C38F1200","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c94175ffefbf220cc20a9fbc395f02b6fea073ce","datavalue":{"value":"10.1007/978-3-642-11957-6_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558215$E482FE0C-9CC9-4B93-ABEF-CAD50EE4CD5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6c99b545c7552dc10b633a7e0065b9914032c04","datavalue":{"value":{"entity-type":"item","numeric-id":859951,"id":"Q859951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558215$ADA1C657-AED2-40DD-BE90-7728F6A6225B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3446e7dbb7240ad90687dceaaac250247886da36","datavalue":{"value":{"entity-type":"item","numeric-id":236462,"id":"Q236462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558215$72DFA675-54AB-4A8E-AA10-98BCC69B6BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33f9c02aba7a0575ab5c80b6cc521def8b357515","datavalue":{"value":{"entity-type":"item","numeric-id":3558214,"id":"Q3558214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558215$CB18260F-29B4-4A3E-A234-1B8A2921DBA1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558215$B4ECCDE3-421F-48FF-9A49-E4447CB9A126","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0d489a41f5ce9c5a7b74a3f4e524032b8d5d571","datavalue":{"value":{"time":"+2010-05-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":"Q3558215$60A90077-46F9-4F9D-88F5-2B28167D84FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558215$30CBA42A-EAE4-4F6F-BBEA-FB645490A115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558215$197E111A-62F2-4C83-B536-555A8FB597E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558215$CA9C73F4-A822-43DA-9C98-BA6AD354B6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558215$0C40E219-D33E-42F4-B667-7F9B05424019","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c7ad900866ea320d8202b89a9179a53035e73e8","datavalue":{"value":"5703398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558215$8B04F474-3D8C-4146-9F54-ECEAD0CB0F98","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9be3c881819601db6c208fd04cd17cc7030c18ec","datavalue":{"value":{"entity-type":"item","numeric-id":15656,"id":"Q15656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558215$0DCEAFF1-238B-4391-920F-49C8F3B62E86","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":"Q3558215$83186475-36E4-42C5-AA75-53541ED7E01F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"adfc9946f1ced3f3031e5d041dd5daecab1e8617","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11957-6_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3558215$A03CFFA0-D34F-498B-84AE-7643FC58D17B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a37945b40dc26384117bf1ce4656cf115e907168","datavalue":{"value":"W1870297738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558215$3189AB29-C8A2-4F96-87CE-BBC05EE9B8A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89752489a6f4038eebfd7ab802df5cb40733e0ea","datavalue":{"value":{"entity-type":"item","numeric-id":2894335,"id":"Q2894335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aec9969af4aaeae95db4e94910d9ff61d7ee0e9d","datavalue":{"value":{"amount":"+0.7965423464775085","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":"Q3558215$CB6E0F8A-AE4D-4008-A1DA-C3DD25AAB4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27d4f6d76ded1ba189c2bc4b20ca07276a34795b","datavalue":{"value":{"entity-type":"item","numeric-id":2947225,"id":"Q2947225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2a8dae850b08b2281099ef718ea1d038ba4d816","datavalue":{"value":{"amount":"+0.7154374122619629","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":"Q3558215$145BEB77-C6B6-4D19-BA26-7EE89B4E6AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99b295faa5a6115b9c9eef54ec2e6271722e2934","datavalue":{"value":{"entity-type":"item","numeric-id":5466553,"id":"Q5466553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6c531dbfe60889735a615f9853edc42f1ca5bd8","datavalue":{"value":{"amount":"+0.7147138714790344","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":"Q3558215$7CE00113-5E31-4347-849F-E71A75E846FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfc80f8a80ccb8e524f66799a13bb0f2f6c2df3d","datavalue":{"value":{"entity-type":"item","numeric-id":3296345,"id":"Q3296345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"272085395c189cb9982340ff6254d4f0684ce866","datavalue":{"value":{"amount":"+0.711660623550415","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":"Q3558215$C9A1142F-8BD7-4B75-BB05-B25E3F66B76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7524001ad7cfe5fa3f914c4399d26a49e5288ec4","datavalue":{"value":{"entity-type":"item","numeric-id":826055,"id":"Q826055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49934076b39f39f2c7ccdab38b2939a2dcc272cf","datavalue":{"value":{"amount":"+0.7110602855682373","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":"Q3558215$EA563A05-C04C-4BBB-832A-83C4221609DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Precise and automated contract-based reasoning for verification and certification of information flow properties of programs with arrays","badges":[]}}}}}