{"entities":{"Q5253587":{"pageid":7283155,"ns":120,"title":"Item:Q5253587","lastrevid":92089013,"modified":"2026-06-05T00:50:24Z","type":"item","id":"Q5253587","labels":{"en":{"language":"en","value":"Automatic verification of security protocols in the symbolic model: the verifier ProVerif"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6440362"}},"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":"Q5253587$19AAA119-35C5-4D58-9F26-86C2A6F3129B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ece055ee81292b151a8373f772b5e576e4c132f8","datavalue":{"value":{"text":"Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5253587$D907125F-E453-45C9-8CE3-0BF1A2772998","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e538b01f1a16251a1331028051070838e2e15ff","datavalue":{"value":"1448.68185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5253587$2B04A95C-135E-4523-8A48-E6CF049D4BCC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d1c4f7238a39a6117ad52d1c33b7a90a73cff58","datavalue":{"value":"10.1007/978-3-319-10082-1_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5253587$4B8B71EE-6725-4ECB-90D1-1D0E384C35A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a5fa1ce06089524f81c4bc61a5f677242e6f668","datavalue":{"value":{"entity-type":"item","numeric-id":1041814,"id":"Q1041814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253587$8BD9CBD1-E2A4-4CF8-AD19-EE4B21348E72","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"755df3d3a2abfd90fa5ed924f87ac9de2fe6051a","datavalue":{"value":{"entity-type":"item","numeric-id":5253583,"id":"Q5253583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253587$3CF1410A-85AE-4BE8-A397-5FEA0A32EEB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec9c7be7e42a4ec7aa166916e8f0ce8ae6f1d07f","datavalue":{"value":{"time":"+2015-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5253587$69AF8084-17B8-47EC-9932-BFA2BB02C2C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2335101d556243c88261e1fccd8d7026b2856a8a","datavalue":{"value":"68M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5253587$45A8365A-E730-4887-9022-B2C9706BE808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5253587$232ADD50-5B8F-48F6-B6C0-F66251DD3115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5253587$A2E8F650-2FAD-424C-9B9A-CFF405CAE2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5253587$E0B85939-D3DC-4585-8CAA-26F4A5B82CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5253587$3241C635-F9EB-479F-BCB6-5503D012E313","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9693e5740484c9b5864afeda75e20e01317b2d52","datavalue":{"value":"6440362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5253587$E9213869-6053-4AFF-AB80-765A2C5AACAE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1cb9415da33ef4439e31401604aca35afdaf65bf","datavalue":{"value":{"entity-type":"item","numeric-id":24089,"id":"Q24089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253587$D8FDB3C3-6B44-415D-9575-2FEB1417771B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9564b709063bb96a8f7d60907d1c034cdfb1c1bf","datavalue":{"value":{"entity-type":"item","numeric-id":34289,"id":"Q34289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253587$E52F8C7E-DA44-4DAD-87C9-E75202B3E435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"580cc01f523eb259b29d75d715bd1b2876d59d0d","datavalue":{"value":{"entity-type":"item","numeric-id":15706,"id":"Q15706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253587$DD385308-B78D-4AC5-B8C3-3530AE359D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7b8bfcbbb8584ed9cd8fa8ae699d0634f4084a68","datavalue":{"value":{"entity-type":"item","numeric-id":21717,"id":"Q21717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253587$0E81CC27-7A9B-4CE6-855F-6B6EAB44C336","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":"Q5253587$49F90AE1-A788-4ED2-BD42-E926DDE289D4","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":"Q5253587$D2FA8AEE-91EF-49EB-A6C2-85D0DC4EC9DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0ae557791716281c44a2fa31b02fe55b7a1b42d","datavalue":{"value":"https://doi.org/10.1007/978-3-319-10082-1_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5253587$1774D265-3847-4ED7-964D-B58D11CA8CD2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd64e90d88bf651bd7b7b2a52157108f40ae3f3f","datavalue":{"value":"W134285089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5253587$F601282C-90BC-4F77-A26B-0FF5D5DEAA90","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"174eff593a5aa93a36b5530e9d31ec11cd448ca9","datavalue":{"value":{"entity-type":"item","numeric-id":1874278,"id":"Q1874278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253587$27277348-C5E7-4557-ADE8-00900392D3BA","rank":"normal"},{"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":"Q5253587$415136AE-06AF-494E-B0D4-6B3FD272C73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e444691e8d2986c8e663f0bf7a30414073ea9e85","datavalue":{"value":{"entity-type":"item","numeric-id":2568441,"id":"Q2568441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253587$F4E173A6-AC33-4762-90E9-CEE8CBC9BA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253587$65097CE7-C684-46E2-B29A-A6B851D728A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0243e55cc8a19c53caed5926a2d599098fcc40d4","datavalue":{"value":{"entity-type":"item","numeric-id":3546456,"id":"Q3546456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253587$F29AFC6F-7901-427D-99D0-B958BB4308A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1dedb1e0be010d88e386bff2e67d96183277317","datavalue":{"value":{"entity-type":"item","numeric-id":5458850,"id":"Q5458850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253587$1E6A9C49-1170-4FBB-ADB7-8B81AA3D03AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500b7013db46803970c07a38c3e11d7b9fe62b46","datavalue":{"value":{"entity-type":"item","numeric-id":5716566,"id":"Q5716566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253587$2BA826F0-0CE4-408A-AB7C-B8174094537D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b1137cf78c4cad0e217f70ec321f2a593915490","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253587$8CFB5D57-DE29-49A2-A3BE-D5465CAA6CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd4c931786d4fc7c311f2d1f8f393efad02baa34","datavalue":{"value":{"entity-type":"item","numeric-id":5199185,"id":"Q5199185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253587$DA1410C8-1A50-4E3A-A500-DC330C7AE8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a6027468ee6b0aca44d81edc7a0ca83c91789f5","datavalue":{"value":{"entity-type":"item","numeric-id":5447364,"id":"Q5447364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253587$CFF5FF94-E43B-4906-9C17-5959AB06DAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb9ad250fb55d5f6f4015cba5fb638fc9517d878","datavalue":{"value":{"entity-type":"item","numeric-id":1041815,"id":"Q1041815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253587$9C255EAE-9EF3-41BA-A94A-B12AECE2745D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34d4b69c424c8db80f6be35cae6a132069304c1f","datavalue":{"value":{"entity-type":"item","numeric-id":2894308,"id":"Q2894308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253587$567549CD-7CBC-420F-9B17-69AA2B9F5817","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":"Q5253587$5E12B04D-701C-4226-8398-59C744582359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5932b77a21da09e54748493310593add225e4899","datavalue":{"value":{"entity-type":"item","numeric-id":1770413,"id":"Q1770413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253587$C5539B66-421C-4823-BF1F-1F9965AC1CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30af1ce00bd816ca1bf62b1236c223f2d0fc690e","datavalue":{"value":{"entity-type":"item","numeric-id":4536614,"id":"Q4536614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253587$1CD4CEC4-205B-4520-A9AF-DDBD7AAB58C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8815be8d7d5cd349532a95ef9c4572798782f172","datavalue":{"value":{"entity-type":"item","numeric-id":5191511,"id":"Q5191511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253587$7635A652-586F-4FA3-B333-2DB34229D2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4928528fce2a350e872c3b2f160a2368e4b5def6","datavalue":{"value":{"entity-type":"item","numeric-id":557799,"id":"Q557799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253587$93869A5C-B58F-4705-AE3F-9AF6C8A52CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ff8a97b4b9412cf94d02fb85f3195ed2195f2be","datavalue":{"value":{"entity-type":"item","numeric-id":4447230,"id":"Q4447230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253587$D4E7CE63-4E49-46BB-8285-04C9AF6D1C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9546478b4ae6a85f56dd5e933b661091f9993c00","datavalue":{"value":{"entity-type":"item","numeric-id":1887730,"id":"Q1887730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253587$FA61AB57-17CC-42B2-8DAF-E5D5A6426E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e40651885e589ae16736b2ed26430168a8207418","datavalue":{"value":{"entity-type":"item","numeric-id":3875826,"id":"Q3875826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253587$E4946599-67A2-4354-99A1-04DFFBBAD64C","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":"Q5253587$6D60C9A2-839D-4927-A603-3AA2E757F4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6faf23ae58f0d008eb59c8c3066e56d64ed7b45","datavalue":{"value":{"entity-type":"item","numeric-id":860906,"id":"Q860906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253587$AAC92079-E02B-4593-ADF5-86CC92A69A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"250152f4757232a993d72bf46f4fcc6e4ea0ffdd","datavalue":{"value":{"entity-type":"item","numeric-id":1041797,"id":"Q1041797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253587$1E57AF9B-73DB-4DFB-9AB0-5E263CA4C019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dfb5c754db591116427ff83cbebc66eebe22e73","datavalue":{"value":{"entity-type":"item","numeric-id":5711502,"id":"Q5711502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253587$EB801A96-40E5-4233-868F-8398EF7F7432","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":"Q5253587$FF8E1CAC-1321-4CBD-BF56-64C430A831B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cf95b3c93687a9d84f234c630055dcbee95bc22","datavalue":{"value":{"entity-type":"item","numeric-id":540685,"id":"Q540685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253587$60170B6A-1E38-4334-8302-7A6456AEEE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc0382c2f993e4b7a79833a9567bcf1b7377f4af","datavalue":{"value":{"entity-type":"item","numeric-id":1355756,"id":"Q1355756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253587$0B86358C-76C4-4BEE-B98B-2D1DF05EC291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc6419f32a05f369ee14fa6f7687547de9a08ab","datavalue":{"value":{"entity-type":"item","numeric-id":3128627,"id":"Q3128627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253587$F1996D80-ACAB-4032-A0F8-C5CACA9A54AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2290ac5da3040520f96f5522a48a306ddb96f5e","datavalue":{"value":{"entity-type":"item","numeric-id":1398674,"id":"Q1398674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253587$C123C70B-2E2D-4090-AC2E-886235BAD7E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fefd3695fc6c127353eeeaf9bb631916756e929","datavalue":{"value":{"entity-type":"item","numeric-id":4168037,"id":"Q4168037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253587$D9AE35A7-5795-460A-B4CB-7330E5E92F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bd761edef7f0c72c5d51247f0e24c4abf13c0df","datavalue":{"value":{"entity-type":"item","numeric-id":4346366,"id":"Q4346366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253587$EFE35E7F-F693-4911-B4CE-32735A6EF494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b673bbc3f5418c0aa993600aa0db97882717ad","datavalue":{"value":{"entity-type":"item","numeric-id":5191532,"id":"Q5191532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253587$2EADAADB-A616-48AB-B0AF-D9A2B5B4D9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626d7a62e073def6cda0e756433e91c381c28af8","datavalue":{"value":{"entity-type":"item","numeric-id":1874404,"id":"Q1874404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253587$5CCAC4BF-AC25-4963-9113-E8FEBEA19196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f8b81729c278d2b25a84d10accbf70874b133d","datavalue":{"value":{"entity-type":"item","numeric-id":4263167,"id":"Q4263167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253587$25D3B2E1-BBD1-4191-975B-376EDA1716C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07047b2197714a8819b934f0de4fdb4e050e5c62","datavalue":{"value":{"entity-type":"item","numeric-id":2894308,"id":"Q2894308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f757095771c66b29dcf0baf9b2d7013b6057ed78","datavalue":{"value":{"amount":"+0.8561846613883972","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":"Q5253587$B5AFBFCB-7386-443C-9891-F521D77E2132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4c6095ec7a0d43c14e38a3c860f3105939d4c59","datavalue":{"value":{"entity-type":"item","numeric-id":5491199,"id":"Q5491199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2574301dabe37b8925f682382a8462faa40e169f","datavalue":{"value":{"amount":"+0.820700466632843","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":"Q5253587$6F0AD478-014F-4772-927E-7FC30CD4BA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17eddff234d4c41a4317842c44d693129664c1a9","datavalue":{"value":{"entity-type":"item","numeric-id":5326762,"id":"Q5326762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acb740bb27bf5c647fb408b05b14592b6e2e2f29","datavalue":{"value":{"amount":"+0.8191753029823303","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":"Q5253587$CEBC4FF0-AFEC-4F86-9E83-508BC3FCF8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09da22a5e9d36dc473c65f2b481878f0117512b8","datavalue":{"value":{"entity-type":"item","numeric-id":4804905,"id":"Q4804905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6b5bb36a3bd69b5f2cbe18ab329638424bdcf24","datavalue":{"value":{"amount":"+0.8191083669662476","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":"Q5253587$AF45CBBA-9759-4F66-BC2D-737D47BEE8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c65f6d5cb7e20f4b499bad794491ac5505d28710","datavalue":{"value":{"entity-type":"item","numeric-id":3636852,"id":"Q3636852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55d64c64a48f2be42b35586e1c227d5ed558ad8e","datavalue":{"value":{"amount":"+0.8093271851539612","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":"Q5253587$A951D2CF-F902-4A88-91AB-7DBDAAB570F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic verification of security protocols in the symbolic model: the verifier ProVerif","badges":[]}}}}}