{"entities":{"Q3297470":{"pageid":3308178,"ns":120,"title":"Item:Q3297470","lastrevid":80442257,"modified":"2026-05-06T16:12:21Z","type":"item","id":"Q3297470","labels":{"en":{"language":"en","value":"Formal analysis of a TTP-free blacklistable anonymous credentials system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7222804"}},"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":"Q3297470$7868C6F7-3DB5-4484-9CE6-3CEB7165ABA7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ee10bede4089b1253a4283590c95c38e2468e0b","datavalue":{"value":{"text":"Formal Analysis of a TTP-Free Blacklistable Anonymous Credentials System","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3297470$3090A9E1-8FA9-43E1-89E7-3AA99986D40F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31281297db508136f5a4f0ddefe2e4c761171fa0","datavalue":{"value":"1452.94108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297470$F611C456-173D-43CA-8A93-C94406F43657","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd0c0f7556ce23970b7b2e952edcd2a3c1a969b6","datavalue":{"value":"10.1007/978-3-319-89500-0_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297470$6C84DFED-174C-42CA-91D2-AF821419CE8E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"884a2595c1f8497a49ea0a468737f6a76008efd4","datavalue":{"value":{"entity-type":"item","numeric-id":3297468,"id":"Q3297468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297470$377E0C25-3F5D-46F5-8B9B-70D6695D94B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f5d313d9f066434bff2017c0a07af7eafebc338","datavalue":{"value":{"entity-type":"item","numeric-id":3297469,"id":"Q3297469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297470$11774DD4-E380-434C-BFEB-C8213C60C302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35831521f040ee6d70351d93f81bef1429fa700f","datavalue":{"value":{"entity-type":"item","numeric-id":1199196,"id":"Q1199196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297470$94512CFE-7B26-43A4-84C6-FFB86774B466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41a50ce881a00cca2aa21806b08d97662ab537a3","datavalue":{"value":{"entity-type":"item","numeric-id":244676,"id":"Q244676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297470$AFD9F206-7F71-4CF7-98D6-193AFDFE194C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b6487624abf633c3fba3710b9d56bdc199ea9699","datavalue":{"value":{"entity-type":"item","numeric-id":2801766,"id":"Q2801766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297470$1C98D323-BAAB-49A0-8453-A112B95823D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93d5f4948d316121f295e91de8563e97eff620a8","datavalue":{"value":{"time":"+2020-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3297470$1B8424C7-B395-48C0-8C69-B92F3F0DDEC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297470$6054D916-57DE-403D-BD82-540C76815F74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c09ffd9d5788c69a818f90922bf2c15bcca0e861","datavalue":{"value":"7222804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297470$BCDEC6FC-E1A0-4D5F-A06B-0779EAF82464","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26852e62a89689e7d4ead334a2523749d2837df2","datavalue":{"value":"formal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3297470$2E78831B-3B78-44EC-8E29-9F028DAE4D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5eecfcb86055850669e6a6fecb067855ef7cd2d5","datavalue":{"value":"anonymous credential","type":"string"},"datatype":"string"},"type":"statement","id":"Q3297470$B73F37AF-DC53-4092-B006-6ABE0D72C8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"def8060b1efc433bd5ce539e43d7a030d10e8e80","datavalue":{"value":"ProVerif","type":"string"},"datatype":"string"},"type":"statement","id":"Q3297470$43B17F95-2FCF-4ACA-92E9-F2007F956D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b31fb832a4ec411d1eead69e5dd6958c0c9670ff","datavalue":{"value":"BLACR","type":"string"},"datatype":"string"},"type":"statement","id":"Q3297470$64891966-A85A-4029-B488-B5A2BC1D9985","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7aa8ef6197297407717d65960a496ec1768e2b0f","datavalue":{"value":{"entity-type":"item","numeric-id":52223,"id":"Q52223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297470$24022A45-4677-4176-BD4F-C152AD65A149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"973cd15e22c791df17eaceaf230998dc9777a5b0","datavalue":{"value":{"entity-type":"item","numeric-id":18650,"id":"Q18650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297470$73A06649-A9AD-4E4B-877B-3796C62F2B26","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":"Q3297470$60A393C1-7AFF-4A52-AA81-A6A369ED882E","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":"Q3297470$41B984C2-FBE6-4898-B295-B07B51745759","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"550d8d130f5c27e5ba97e8aacbb1ff55122f6ecc","datavalue":{"value":"https://doi.org/10.1007/978-3-319-89500-0_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3297470$1FAF3EBA-9C2C-40A9-8A8D-A90A3DAFA2F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb3bc1f5520dec92ece990724bcff47d7e61d76a","datavalue":{"value":"W2797327458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297470$59537DED-EFFC-4BE0-B01F-BF30A57B0469","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"31f86ea6a15d8521d94f8a5308b21778b73dee6c","datavalue":{"value":{"entity-type":"item","numeric-id":3546279,"id":"Q3546279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297470$B01C9F5A-F5AE-41E8-9F8E-025934F06400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c35eeb6c81d8510c323ad62fbbb6e08d4e4cb2ce","datavalue":{"value":{"entity-type":"item","numeric-id":3541882,"id":"Q3541882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297470$540B42AD-99E5-45A0-AC17-2FC9D12B37B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ef94cd854f261a03421632ce7dd586f76d29c7","datavalue":{"value":{"entity-type":"item","numeric-id":2474047,"id":"Q2474047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297470$D52A94E1-A15D-41B9-BEDB-055D3C6831A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d59ae87d0b1767832480ab33e1ccb8fc05ec7a6f","datavalue":{"value":{"entity-type":"item","numeric-id":2798801,"id":"Q2798801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297470$8247CF80-A29F-4750-9A8D-F892837DE7EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef20d14da29fdd3f0fb31d7aa85ef7dd6d882b34","datavalue":{"value":{"entity-type":"item","numeric-id":5326762,"id":"Q5326762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297470$1AF5FC4F-F6B1-4E15-8EDE-9939C6444DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"401071913d3005ea673b60625faf6b602dd0105d","datavalue":{"value":{"entity-type":"item","numeric-id":5170790,"id":"Q5170790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297470$C6C72BC0-23C3-4619-B4C3-E34AF21A671F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"414bdf72ae0b6ecf3167a0bc22931ef90730e18a","datavalue":{"value":{"entity-type":"item","numeric-id":2856101,"id":"Q2856101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297470$6E60AC88-3FF7-4416-B2DC-BD14F53AB328","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b12b314a04ca7ce29d7f42da4e638b0d656a248c","datavalue":{"value":{"entity-type":"item","numeric-id":5170790,"id":"Q5170790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bffbeb9245c30d6c6bb800ab6352b2a18084308","datavalue":{"value":{"amount":"+0.7648496627807617","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":"Q3297470$A007EC4F-C991-4407-A2A3-B4269B7EFBB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c12baa1ac48841fcc490db13dd02a05880823f4b","datavalue":{"value":{"entity-type":"item","numeric-id":3603014,"id":"Q3603014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b26a09d0e089dd907df8ef9d002aff38fc7799a5","datavalue":{"value":{"amount":"+0.7319254279136658","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":"Q3297470$9CB60323-2D00-440B-A594-5266DD573A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18359e1cae56eef26992c4041a458fae2072f9e7","datavalue":{"value":{"entity-type":"item","numeric-id":5473572,"id":"Q5473572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16be31fa1adb7a5fb7a242423e9dbd24f0c394dc","datavalue":{"value":{"amount":"+0.7305192947387695","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":"Q3297470$FD7231E3-31C3-4FEF-9A2B-5FBCE2FB4D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1355633524f5c479d0535b413c91b05aae85301","datavalue":{"value":{"entity-type":"item","numeric-id":2807189,"id":"Q2807189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c94aa2cd14b9df22bea867ce148e4a9e5e41d41","datavalue":{"value":{"amount":"+0.7040192484855652","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":"Q3297470$0A35BD9A-E1F5-4A85-9486-C592FA13A0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be816353f5ebd4e1f3986f0d1ebb971e747dd224","datavalue":{"value":{"entity-type":"item","numeric-id":3084362,"id":"Q3084362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab0654aa7cf457487c844aa26c96baec007134eb","datavalue":{"value":{"amount":"+0.701705276966095","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":"Q3297470$733E2D79-5E75-4F57-8A4C-7297616B7C91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal analysis of a TTP-free blacklistable anonymous credentials system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_analysis_of_a_TTP-free_blacklistable_anonymous_credentials_system"}}}}}