{"entities":{"Q5962971":{"pageid":8139773,"ns":120,"title":"Item:Q5962971","lastrevid":52464620,"modified":"2026-01-22T17:27:16Z","type":"item","id":"Q5962971","labels":{"en":{"language":"en","value":"Evaluation of anonymity and confidentiality protocols using theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6545752"}},"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":"Q5962971$FD8A8270-04FD-4918-A6E3-0E4A60E7198B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b0363b2c0bbe3d1c78475ca6610512d851105a4","datavalue":{"value":{"text":"Evaluation of anonymity and confidentiality protocols using theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5962971$C4C90DF6-0314-436B-A6ED-E5EFCCF83A7E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41a90ac419f48ef7f0d864c1d4c931e3fe8aeb81","datavalue":{"value":"1331.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962971$A55B1BE4-010F-4F27-98EC-C05C434A8659","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f7865e15345fae204a9c1fe04f5989d4e90130e","datavalue":{"value":{"entity-type":"item","numeric-id":246139,"id":"Q246139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962971$2FF48E39-9147-4922-A5E9-30EFA8DFC010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"393ef07e7673f4510d0e5689d2d44001b3ecc236","datavalue":{"value":{"entity-type":"item","numeric-id":246140,"id":"Q246140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962971$7C97ABC9-2F5D-495C-8D55-97FBA7C82C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0d2c11253a443ddc53e205509995096ef6b865e","datavalue":{"value":{"entity-type":"item","numeric-id":246141,"id":"Q246141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962971$C6952EE8-8F34-400D-8607-0C07D4239D2B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962971$AFB83DC9-6047-4A8A-BB4E-74F36C545B34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b711090eb2dd20f1569e188bf3cf69015580f99","datavalue":{"value":{"time":"+2016-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5962971$481D74B9-44D7-47D7-A7AC-7E5A24A85BAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962971$E8B6F106-9897-4CF2-8F3A-50037D460B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962971$789B164F-F68C-4B32-A2F6-17CC4E2C7C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962971$A0A12465-8CB2-49D6-90B4-B5581FE5F580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e1f144a9ab7064f6f8c78503075f6cd455ea06f6","datavalue":{"value":"94A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962971$934776DD-2921-407F-826E-D49D45A357B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8ce159e360df763808a1c0d9ea33e7d46ee3dd7","datavalue":{"value":"6545752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962971$85D73C9A-7FF3-4A22-9C61-20AF2C303FAA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a81b30c1b40c38415c32349729a757dca2487f9a","datavalue":{"value":"information leakage","type":"string"},"datatype":"string"},"type":"statement","id":"Q5962971$53DEC1BC-40DE-4476-9604-71DE0F1A5411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7e64df0daff21cdaf9a34d390b397df9fc674b0","datavalue":{"value":"anonymity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5962971$35406B7A-3250-4B7F-850D-175CF18D8160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"753a4ef19e43e98ad0ea352274a52de9f8050b77","datavalue":{"value":"confidentiality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5962971$121FD0D9-3C52-4CFA-988E-6A4E1956511E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5962971$5A96692B-FE5B-4B51-A7FE-11D30A8B2D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52f5756f2ac6ab9681d8818b95861792932f494f","datavalue":{"value":"dependable systems and software","type":"string"},"datatype":"string"},"type":"statement","id":"Q5962971$2431C42B-3EAA-44CA-A0F6-1878AFACEFB6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962971$4C388B84-E758-47AB-A9B0-6073822C264D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962971$645820DD-0BEE-4FC5-8A52-7B0A57BE4488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962971$433629CA-27FF-4646-8B28-C960390940CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962971$508A940A-6C6E-477F-9CFF-A78EC132CD89","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":"Q5962971$0A678129-8340-4091-B6E4-AE3FF86AE73D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"181c43f6f395709e8498ba25dc0e6d97481d1108","datavalue":{"value":"https://doi.org/10.1007/s10703-015-0232-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5962971$DE3DD1B2-A2C5-4822-9A8B-909343FEE1AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54f9388b5ee2ab9cab4418f76e054212ce597e93","datavalue":{"value":"W840673086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962971$4FB7BA66-BEDF-469D-B36B-ADB853D5A975","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11646dfc2677d6614fa16128dbbd7844776606d","datavalue":{"value":{"entity-type":"item","numeric-id":1847766,"id":"Q1847766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962971$DE653D1F-874B-484D-86BA-B7D8927B2BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30326fa4ddc9b5ac5b1de7ee947d08dce754bdc7","datavalue":{"value":{"entity-type":"item","numeric-id":3608463,"id":"Q3608463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962971$55AB8DBC-57C7-4E8E-B39B-616F8AA8B200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52aff9c5eb3c4c80d652d6459a06ff8ec62dd595","datavalue":{"value":{"entity-type":"item","numeric-id":4023085,"id":"Q4023085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962971$E2037900-7E88-4FD1-B228-4D5FA668D8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6744f3929f19e7d008d51861d70f3b8d3e07a486","datavalue":{"value":{"entity-type":"item","numeric-id":4813520,"id":"Q4813520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962971$8B796455-3D4D-4E33-84CA-5E26B5B25199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"059293f6c8c9c46adc7c45c14476fe9d5e03b7a5","datavalue":{"value":{"entity-type":"item","numeric-id":4118034,"id":"Q4118034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962971$0A5F9EF8-FD29-4FF6-B330-DCDAD3AA3743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"686051ea1866b310359b4b104cfcfb66e60203b9","datavalue":{"value":{"entity-type":"item","numeric-id":3189801,"id":"Q3189801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962971$ED84868F-C398-42E3-BE08-E74CD4A19AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cb8e50e6c3bd60a9a9a59407cf30e8e788baa4","datavalue":{"value":{"entity-type":"item","numeric-id":3618853,"id":"Q3618853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962971$A9630D31-8513-4DDE-AAB2-C30924E8D8CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1e49d74090d77a773896f7b2be0970d01b92ca","datavalue":{"value":{"entity-type":"item","numeric-id":5747663,"id":"Q5747663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962971$1636E5C2-0E7F-4FAC-B5CB-980A6E05FE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"108488f019decb093dace28f9529e8473ce8ba4a","datavalue":{"value":{"entity-type":"item","numeric-id":3088009,"id":"Q3088009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962971$AC683962-637A-4769-B724-FBA3E9F00E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962971$54E03B2E-4D48-4591-A747-F489D78A5C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"085f2f402bb0aaa918a693e06aa64da16c2193f2","datavalue":{"value":{"entity-type":"item","numeric-id":5687569,"id":"Q5687569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962971$FA91DD71-330A-45C8-A514-3263DB340639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dceb76bd2abb1e9101c8e89a7cfd134dff630d86","datavalue":{"value":{"entity-type":"item","numeric-id":4813519,"id":"Q4813519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962971$C180536A-8386-4F58-8AF5-D25C37FCE6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"622535d5d327cbcc585a17579b1ee456b1595679","datavalue":{"value":{"entity-type":"item","numeric-id":3617736,"id":"Q3617736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962971$E68A5D43-3F8A-454E-BF8D-D7335AE9122D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4534e6184f85b60ed2058ff2dc070ac7d9ff8161","datavalue":{"value":"10.1007/S10703-015-0232-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962971$804C81EF-4388-4D64-84E3-F78953E18E26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cfb3573ae79af4e071083444fbab027ded3227b","datavalue":{"value":{"entity-type":"item","numeric-id":5862309,"id":"Q5862309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cc099a120504d26cec896f528ec0b31a209df73","datavalue":{"value":{"amount":"+0.7649636268615723","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":"Q5962971$FEE97A61-4CF3-4DEF-B978-2C144FAE055A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09feb706fa8e2b341c4d202a1d8333334d4c8993","datavalue":{"value":{"entity-type":"item","numeric-id":2355379,"id":"Q2355379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0777404fe0cca36e922838e936b88778cd66b61b","datavalue":{"value":{"amount":"+0.7419437766075134","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":"Q5962971$81085450-652B-4746-B03B-721D933AEC43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7acc64d697ace496f5cfc823cce98b5f6a7cb5ca","datavalue":{"value":{"entity-type":"item","numeric-id":5045463,"id":"Q5045463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6ffc50a9890fb492c699a17a5044d95b3a27bfe","datavalue":{"value":{"amount":"+0.7337824702262878","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":"Q5962971$25E094FF-70E8-4D6F-9659-8D51194B12C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a9c1d616894d7865b1d40ad721254ea1ee85035","datavalue":{"value":{"entity-type":"item","numeric-id":2167715,"id":"Q2167715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a011de03d358c1710aeb0b20f831171594aae06","datavalue":{"value":{"amount":"+0.7306725382804871","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":"Q5962971$46AFB414-6B34-4692-B5BE-BFB7F4B4B80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cac03b40705b3f51c7babc721f5c2120059859e7","datavalue":{"value":{"entity-type":"item","numeric-id":498398,"id":"Q498398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f611ad1dc3ddce7cf667cff7981b20b3559afdc2","datavalue":{"value":{"amount":"+0.7174122929573059","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":"Q5962971$1CE006FF-6F07-4816-89AB-B72A9D1A65AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5962971","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5962971"}}}}}