{"entities":{"Q2355379":{"pageid":2366122,"ns":120,"title":"Item:Q2355379","lastrevid":52310396,"modified":"2026-01-21T10:14:23Z","type":"item","id":"Q2355379","labels":{"en":{"language":"en","value":"Formalizing provable anonymity in Isabelle/HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6463405"}},"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":"Q2355379$1A6753CF-C27A-4284-A2B0-3DFE88E817F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a39ccefb00b0e3d701d7010a2a00b46fca6f5a44","datavalue":{"value":{"text":"Formalizing provable anonymity in Isabelle/HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2355379$9FAFD5E8-B505-4D13-A15C-C240F5F53126","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21c97a0be0f979b410b75ed49056650e5a3a043a","datavalue":{"value":"1331.68202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355379$7CDA549E-A55B-4DD6-B5F4-7F327BFD60FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d7c4100404442680e9faf3f2ae6e537b0cd1cc1","datavalue":{"value":{"entity-type":"item","numeric-id":319638,"id":"Q319638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355379$6E2AC7AC-F6C6-477F-B7B1-8D62407C8B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"752576cfbef9e9507e7fc1038f6ecdc08f2ba1bb","datavalue":{"value":{"entity-type":"item","numeric-id":201215,"id":"Q201215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355379$4C486F4C-5E94-4E3F-B97B-A189FFFF133E","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":"Q2355379$393DB68F-8302-4D98-8D18-BA1BF034EAC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a52122e330a715e7d863b59e64df5997f01e79a","datavalue":{"value":{"time":"+2015-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2355379$8331F54D-7953-4305-981F-C752C2C0F3D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29abe05436d7ff0e3946922b6f9b5494e803cebc","datavalue":{"value":"http://orbilu.uni.lu/handle/10993/21325","type":"string"},"datatype":"url"},"type":"statement","id":"Q2355379$E2EE4134-8EBB-4BE0-A615-275AC90E2CFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355379$982A7F36-7788-4D35-B79C-688B42C17A0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0124179a9a0615acb3b11bba5b6a70d5f6f03009","datavalue":{"value":"6463405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355379$A4DE080A-6432-4EC5-B9E6-70FABD410551","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7e64df0daff21cdaf9a34d390b397df9fc674b0","datavalue":{"value":"anonymity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355379$7E0A3897-26E7-4C9B-92DF-91A7A5840655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7156857ffe92ce842aee3549f498ec9de33be1f7","datavalue":{"value":"security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355379$291A37E8-2FD0-4AA0-96CA-68F2C9F56933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355379$8F92CA30-C345-42AA-8C0E-415AE73F2563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ca703892ef4fb7d7c545d5ea776565ea5e1cb12","datavalue":{"value":"inductive methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355379$4B648F72-B5C6-4FB8-B776-3A7A2BF19513","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355379$5FD54733-21E5-4AF8-B1B0-70009DD9783E","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":"Q2355379$BEF3BF91-B72C-486A-8C0D-B3E27203557B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9cc08f1ee64c2fc0d984a8fe54c7c857eeb0cc4","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355379$3FDEC654-BC77-4F21-A865-7F3544BAA528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355379$35A816D1-F7D4-4056-8883-808B1C07499A","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":"Q2355379$A92F1E98-B10F-4E55-9009-13540AD65C37","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3fbbf3dfc82d8af23b9b8a1a4e3488a7523ea4ae","datavalue":{"value":"W2020470120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355379$65D49DC7-06D1-44D3-AE4F-25A22157C0CB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"737414dce6c255e1c801bd9ffb1616ecb5d1d9fa","datavalue":{"value":{"entity-type":"item","numeric-id":860894,"id":"Q860894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355379$5D3338B6-5C2B-4730-ABB0-7C19DA5BD598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e262605de3748950c95c0e00a42a0dd21930251","datavalue":{"value":{"entity-type":"item","numeric-id":4536407,"id":"Q4536407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355379$D084007C-A371-4728-AB19-3AAA778565A9","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":"Q2355379$80443214-9447-4E49-BBA6-892EE3FCB635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9face9d8f66fe4ee9bfe3e7e348f67b1c9739518","datavalue":{"value":{"entity-type":"item","numeric-id":5897482,"id":"Q5897482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355379$7A72033D-520E-4E64-8D88-357F97A25383","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":"Q2355379$3C874478-6BF4-4E6B-9BB2-BB6AD96ADCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a86f730e900294e455651df154cb209a0bf6deb","datavalue":{"value":{"entity-type":"item","numeric-id":3613062,"id":"Q3613062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355379$75E4C994-451F-465D-B1A7-9869FF871B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0bec085b22920ed01381304c296306f4a86049a","datavalue":{"value":{"entity-type":"item","numeric-id":3608464,"id":"Q3608464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355379$E115DB08-ED97-486F-BE54-9652AA235202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b6cc0fd9f816ed6cc4541f2aeaa2a556853522","datavalue":{"value":{"entity-type":"item","numeric-id":2864392,"id":"Q2864392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355379$6DB7F93E-C99F-40CF-95AD-05A1FC8B508E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355379$2A9B6AFC-B545-446B-B85E-8702AC7E8667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14be9de43ba311deb9f5e552ba97a70f9a9edd6c","datavalue":{"value":{"entity-type":"item","numeric-id":4417864,"id":"Q4417864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355379$C02786DC-892B-4CDB-84FA-312AC7D1235E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14d96865302774e8a0f8e2de1f5d02bebbdd9fd9","datavalue":{"value":{"entity-type":"item","numeric-id":853730,"id":"Q853730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355379$D31B4211-8D50-4850-8744-B8F73CFC356F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24bed27b0e958cd29f7fec12721ea216d8e34b28","datavalue":{"value":{"entity-type":"item","numeric-id":3497514,"id":"Q3497514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355379$3B5CAFFC-1837-4EDF-9FA4-C43DDAA5CBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b484edfb9fbe894075bc4d4990fbc0fc7aab9685","datavalue":{"value":{"entity-type":"item","numeric-id":845891,"id":"Q845891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355379$4DF11649-4D59-4BE1-A44B-94B80E4DAB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f619adea6db0ab75b9bc69654a89af3583c163f","datavalue":{"value":{"entity-type":"item","numeric-id":5316564,"id":"Q5316564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355379$F45C0CDE-795C-48A4-B585-E1402BC53285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffc27d635efa2d7eeca3571646356ca013c3bf7a","datavalue":{"value":{"entity-type":"item","numeric-id":3612372,"id":"Q3612372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355379$B0392909-97B6-49A3-B246-1B953F541627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"803b129f75740ed6c6f978359c55c3b9edfde436","datavalue":{"value":{"entity-type":"item","numeric-id":470008,"id":"Q470008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355379$EC53EFF6-1740-48F3-BCBA-AC5FC7F38313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355379$06AC5B0C-3518-49CD-B912-462103E39AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d96448ddf986e36d5e32b54482701ef56185cd9","datavalue":{"value":{"entity-type":"item","numeric-id":4412521,"id":"Q4412521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355379$B659B98E-A7CB-4E96-95AF-03806BB30F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f63182c74021864a2db19d30bec4bd6c3551a0c","datavalue":{"value":{"entity-type":"item","numeric-id":5096415,"id":"Q5096415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355379$8113013B-3C21-40D4-BC5D-EF424C6A5085","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c7b21748c1367cb061c70d6d21398fe4b0892ed","datavalue":{"value":"10.1007/S00165-014-0315-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355379$1A99D334-A3B1-4E02-9D77-282C2C9877DD","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":"89775813781535a1029f0b7ba9d0f1d4bd040077","datavalue":{"value":{"amount":"+0.7894461154937744","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":"Q2355379$A642F239-8E1B-4014-BD05-BA124217611F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c60387daf8eaba279da8e0b6c50dda02677b4280","datavalue":{"value":{"entity-type":"item","numeric-id":5448624,"id":"Q5448624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80b31212d52b7d08e49409a306a437e5095d2053","datavalue":{"value":{"amount":"+0.7721449732780457","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":"Q2355379$4AFFD18F-5D88-401D-9409-B27DD21EECF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eac424f44ad47edde1bd2bcc43355c47ee7f338a","datavalue":{"value":{"entity-type":"item","numeric-id":974115,"id":"Q974115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f225da2d7b95bac30829ec21eba1b6de85d81d51","datavalue":{"value":{"amount":"+0.7553365230560303","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":"Q2355379$26C1733C-6B37-4AA8-8ECB-B2204C4231DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3663e1c92c2dd537cb132454739531851ae85560","datavalue":{"value":{"entity-type":"item","numeric-id":860902,"id":"Q860902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a38a5417dab8d19cb2293c04c3b50dee70110e7","datavalue":{"value":{"amount":"+0.749049186706543","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":"Q2355379$3C69F268-746D-4447-B341-FAFF73D6C556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec3a38586671329f780d8577df79fdedc4175922","datavalue":{"value":{"entity-type":"item","numeric-id":5756506,"id":"Q5756506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93181096614dfc327ed0c4524bf3fc7ad13e2b04","datavalue":{"value":{"amount":"+0.748150110244751","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":"Q2355379$9F7F18D1-A97B-4547-B5CD-DA6637ED54A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2355379","badges":[]}}}}}