{"entities":{"Q736833":{"pageid":738682,"ns":120,"title":"Item:Q736833","lastrevid":63956061,"modified":"2026-04-11T16:40:28Z","type":"item","id":"Q736833","labels":{"en":{"language":"en","value":"On integrating confidentiality and functionality in a formal method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6609473"}},"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":"Q736833$EC1D5317-9C30-4C49-9B9A-A3DD8594BD9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75819262f40b866c14b4185893c0b11852267955","datavalue":{"value":{"text":"On integrating confidentiality and functionality in a formal method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q736833$905E9346-0A45-48DA-A587-FD70B902DC3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85515410ca26851bef92b044cd01b2f5d6f2da20","datavalue":{"value":"1342.68191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736833$F1F435C1-DF49-4BAF-A48B-CE3B4A789462","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"885351275949766b2667b39c5fdf4484e30d3a11","datavalue":{"value":{"entity-type":"item","numeric-id":736831,"id":"Q736831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736833$04CA261D-C0E0-4ADA-AC26-5D27F0E63E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e55cfcbe772ee5b0da3a002d7758bdf0bb71174c","datavalue":{"value":{"entity-type":"item","numeric-id":736832,"id":"Q736832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736833$D89E7DE6-89E8-4685-A1DB-8350B49D119F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736833$C7EF7564-DDD5-49B5-8D61-110C27057B77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19f8be58b1829936b94d36e09e6fb6fb923fb3ba","datavalue":{"value":{"time":"+2016-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q736833$95CA6CC4-ADAF-478C-9149-00ACA533D8FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736833$81148E82-E5EF-4153-AA96-4B0A117A3D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736833$FA50A80A-29EA-4E78-8037-E36BA6D3B241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736833$F2E0D04B-87D7-4551-B4AE-978FBA106B33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57acc598f134a2f7708246cd50830ab2e63c8bfb","datavalue":{"value":"6609473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736833$9164A3E1-0D80-48FE-BAD2-636D64C1CEAA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25ac03285b7ab66a179dd911f6489ada5f49698f","datavalue":{"value":"information flow security","type":"string"},"datatype":"string"},"type":"statement","id":"Q736833$88535133-9695-4B6E-BCC8-02C0B9660579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"186d1d54db37fc10060c2f7b39168a63f47cd743","datavalue":{"value":"confidentiality properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q736833$8C3FE94F-5C27-4D8B-932D-504A7C6CF0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6c8223143402d63869cb92db7f64e9cbcbc6f9c","datavalue":{"value":"Circus","type":"string"},"datatype":"string"},"type":"statement","id":"Q736833$742C5FD6-9786-41F8-8BBA-47716A7DDC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d866d2f01ac2c31359811196209e4cb400acaa05","datavalue":{"value":"unifying theories of programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q736833$9EFE3CE1-1A1C-4B34-85FA-F396CD9201AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de4ed50ac01ccdf91ec21f62604388e9e0d4dcfb","datavalue":{"value":"miracles","type":"string"},"datatype":"string"},"type":"statement","id":"Q736833$C455EFB2-7655-457F-8937-AE44A8613C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7856372acea170bdb0b13e22de0aac99be23a0d1","datavalue":{"value":"confidentiality-preserving refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q736833$FB6039D1-F978-410D-AD76-984FA7382838","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736833$761A929D-B331-44D6-86FE-9DBE1B39BD40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9189048b3936abda7e80b02cf829681849623735","datavalue":{"value":{"entity-type":"item","numeric-id":33628,"id":"Q33628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736833$B4A7B61D-61D6-4245-B1C5-3E41A2A01B12","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":"Q736833$654527A2-0910-4410-9F79-A410AA83F3B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb57dcfa5f62dc0e75599d7b3201b81e5569d15b","datavalue":{"value":"https://doi.org/10.1007/s00165-013-0285-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q736833$D3FFB304-9FC3-4AD9-B49E-CF11E6558D83","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e83bbca9096eb44f984d5e4324651ac17d2a073","datavalue":{"value":"W2122718698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736833$302A0B34-F225-42C6-8FAA-EEBEE9BCE47F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736833$8240A92A-BB05-46AE-8E74-E6D61D82E924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2179d8546d5ce60e354479db662e7bc4b3f5aef8","datavalue":{"value":{"entity-type":"item","numeric-id":706512,"id":"Q706512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736833$99863369-F381-4BBC-BB9A-C8C4E85BCFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f09dc39ab8bd524e74c8ae25ca3502191fa997a6","datavalue":{"value":{"entity-type":"item","numeric-id":2482443,"id":"Q2482443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736833$84E6C39B-0CA6-44A7-9098-5CE28C12F609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a5deb64016a52dffeea04fddc0b1c93e2efc6c","datavalue":{"value":{"entity-type":"item","numeric-id":1872784,"id":"Q1872784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736833$40ABB18E-438B-427A-8ED0-CDB1843781A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c558cb188a9c4fcb150e5c1e00211d592228e91","datavalue":{"value":{"entity-type":"item","numeric-id":432152,"id":"Q432152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736833$456B6D99-A474-44DC-BD09-5661F5256B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd265bdbcf41f2b9982b655d7aaf44e4072217fa","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736833$0C653A85-C5FB-4609-930C-3259DDE61F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f3632786669af8b0dc3e0bd7166aee3ee70e8ff","datavalue":{"value":{"entity-type":"item","numeric-id":923889,"id":"Q923889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736833$3066404B-4746-4532-A051-055166B9D8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a080b074196bf11d4837ba9c75e22e80835817","datavalue":{"value":{"entity-type":"item","numeric-id":3713577,"id":"Q3713577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736833$41351639-FFB1-4B83-A05E-7B1A93342E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736833$4CD07A9A-A20B-468C-8D49-8F6594E94330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98e1d68003b0040c15c163e66f3fd9578fb9386","datavalue":{"value":{"entity-type":"item","numeric-id":3997074,"id":"Q3997074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736833$B8E4C336-EF91-4E67-A54F-D2C9BC100EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dca38310eb836ccdcd1b407345a74ae76f92f3a","datavalue":{"value":{"entity-type":"item","numeric-id":5862302,"id":"Q5862302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736833$FC8B9C52-6B60-4068-93D3-14BDC0D77302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736833$4FEA30FD-3C1E-4886-BCC0-483A782CBD23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"263b81d6f82aa7bc5c419ca585e86c9e4182e475","datavalue":{"value":{"entity-type":"item","numeric-id":1019016,"id":"Q1019016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736833$ABA290C2-6E97-474D-A6FA-1A408B692A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8057307abd048e380d569602a2025bcd2f9ddc5e","datavalue":{"value":{"entity-type":"item","numeric-id":4379559,"id":"Q4379559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736833$D64EA6E2-1186-44E9-846C-1630A4DCCA60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021c76cd63f2a59a89142926ef3357644b7d6575","datavalue":{"value":{"entity-type":"item","numeric-id":4798025,"id":"Q4798025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736833$5AC4638D-2186-4C95-A2BD-7D1A69CC6462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8219b8caf64f58381971bc73c47456fa8a33f55a","datavalue":{"value":{"entity-type":"item","numeric-id":3645296,"id":"Q3645296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736833$0C3849F4-AA93-4FF6-B87B-C4641395396E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0198e68f6dc9303aefc05c74bbadbddc5c16bbc","datavalue":{"value":{"entity-type":"item","numeric-id":4472182,"id":"Q4472182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736833$4271BDA0-8EB5-43EF-B5E9-57128643D098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df24839d625a390053c16402f9628907f226566","datavalue":{"value":{"entity-type":"item","numeric-id":5901607,"id":"Q5901607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736833$29C9F153-7234-4695-9AD5-DE32DADE7A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc22454e59c42890989b223acb2a7da42f9239c9","datavalue":{"value":{"entity-type":"item","numeric-id":4301167,"id":"Q4301167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736833$4E28E1C2-82B5-4E64-A96B-6CBB3355CAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62f5283fad229cb4a2faf8324e19c587723671f2","datavalue":{"value":{"entity-type":"item","numeric-id":3585032,"id":"Q3585032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736833$B97A192F-1F13-44E5-881A-503B4B5D7934","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6ef002e7f0529055305a69de19b907510c86e9c","datavalue":{"value":"10.1007/S00165-013-0285-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736833$BA254067-FD1A-4B3E-BDBE-594E985F3D38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1194bceccdd212d24c46908f8dd633f18ceb9f73","datavalue":{"value":{"entity-type":"item","numeric-id":3055741,"id":"Q3055741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a800193ed269d6a03ed56789fa78cf5b6127e28","datavalue":{"value":{"amount":"+0.727151095867157","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":"Q736833$6FC36001-3763-43E1-BBCB-1039A3F9BC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9241ec8b6abe329f9d8cfc2a86434af613982be","datavalue":{"value":{"entity-type":"item","numeric-id":4532081,"id":"Q4532081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64ba53913d97636ebc0e96864d04d64585b807fe","datavalue":{"value":{"amount":"+0.7021344900131226","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":"Q736833$6839C605-BC7D-491B-93DE-D5E995A33C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d04ee113d86fa1a9491a45b50f1faeb3985d600","datavalue":{"value":{"entity-type":"item","numeric-id":4902321,"id":"Q4902321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08cbee6a0d7d5a62c63e6f165ff30ce32b0fea2e","datavalue":{"value":{"amount":"+0.687673807144165","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":"Q736833$29677886-6ACA-461A-8A59-A503376756E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a61f1721c306d6c096dd2c1cc8df2cdfea25e1d","datavalue":{"value":{"entity-type":"item","numeric-id":826053,"id":"Q826053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56be21cfc868070c66ecd2ab3ae7e2cceb014fd3","datavalue":{"value":{"amount":"+0.6875293254852295","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":"Q736833$09D96638-79A8-46AE-8DBE-C99DB9ABE9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"179d1f576b685ae520ada26c6c5539a3d8787ef5","datavalue":{"value":{"entity-type":"item","numeric-id":5862673,"id":"Q5862673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00e6362bfd52dd3ef75f6bf23dddf7166abedd43","datavalue":{"value":{"amount":"+0.6837230324745178","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":"Q736833$6B4186A0-43AA-4E01-9900-C5B723B71138","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On integrating confidentiality and functionality in a formal method","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_integrating_confidentiality_and_functionality_in_a_formal_method"}}}}}