{"entities":{"Q2892723":{"pageid":2903448,"ns":120,"title":"Item:Q2892723","lastrevid":51497231,"modified":"2026-01-18T12:39:36Z","type":"item","id":"Q2892723","labels":{"en":{"language":"en","value":"Automated verification of equivalence properties of cryptographic protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6049261"}},"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":"Q2892723$4F23F68D-2E7A-4718-8950-6ADFE21B9CA2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6285d1b5850eb2a72a910be2857d2a34e8f05a1f","datavalue":{"value":{"text":"Automated Verification of Equivalence Properties of Cryptographic Protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2892723$CAF27ECF-B548-405C-93DB-385D3278AB38","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"906255956129ccba4d56f79531c9cd1cf6578b96","datavalue":{"value":"1352.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892723$1DF2915A-F4CA-4860-A9BE-89B256B98ADC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19d711a30e356f1dbc58c8eaad0a93c92b383321","datavalue":{"value":"10.1007/978-3-642-28869-2_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892723$2DC2B24B-A292-4CC4-A377-7F189C47A47B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bde8219f318b09ef6e88199668950ab12ed68fd","datavalue":{"value":{"entity-type":"item","numeric-id":732002,"id":"Q732002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892723$D0370342-DD3A-457C-A332-ED27D41A02EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"81586982d17a5065a8b3d9d0e0dbbd008e2a773f","datavalue":{"value":{"entity-type":"item","numeric-id":437032,"id":"Q437032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892723$037B2D94-ADF1-4478-810B-58A7695FA569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b9545c86dcecbba882f43703ca686b323cf501e","datavalue":{"value":{"entity-type":"item","numeric-id":437023,"id":"Q437023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892723$2B3CE3A8-A4D9-4A79-81BA-EF3086729A0A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892723$5278E778-3514-4BA6-926C-284FB18CB16C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07eaa53cd09094048e0acc4ff8bce144ed1564df","datavalue":{"value":{"time":"+2012-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2892723$958A8307-7ABC-45B2-9182-84B6099E73D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892723$320BF44F-CE15-4F48-9B6A-F3D2CCEF7FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892723$70D2E50C-C996-4AB7-AE79-C2CBF556C904","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00ab120ee8a8b08f4d0b9df66452ba2ab32e0aa9","datavalue":{"value":"6049261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892723$490A8386-0578-4144-AF3D-CB6390DAEFDD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fea93917e6a5dd3b24dcb498614b8cdda44d5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":15278,"id":"Q15278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892723$CB169D8D-DD78-4A2D-AC00-704AA564F7BB","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":"Q2892723$FF7A9CAD-4DB6-49CF-8C1F-22BED3FD0D94","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"889478f73ac0e51d4c0abc9c105c2bec54bb50c1","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28869-2_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2892723$2305D6C6-6EF4-49BC-9842-F83209CF59D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46beca70cf222c7d69050d1b4727f386751fa314","datavalue":{"value":"W1588028307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892723$308FB5A4-48B4-40A1-85B2-FBC07B8F22DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b938c704fe410be264e1f2232654427d2215d804","datavalue":{"value":{"entity-type":"item","numeric-id":5278194,"id":"Q5278194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"547a24c95cc7936c963f12d261fb959adc670377","datavalue":{"value":{"amount":"+0.9685931205749512","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":"Q2892723$BE1FE81C-4CB2-45F2-AE63-F70597855F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59ee2e34356e15e2fa81ab628ba9df71231596d6","datavalue":{"value":{"entity-type":"item","numeric-id":511946,"id":"Q511946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce1b25f5ff905f241d2e3d7c9d7f7b949c579cc4","datavalue":{"value":{"amount":"+0.8067581653594971","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":"Q2892723$E9B74D2C-1D6F-480B-98BD-E2AAC082D77F","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":"374eac9029cd5b3a7f8f80f94856cb1a2b425747","datavalue":{"value":{"amount":"+0.7498218417167664","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":"Q2892723$32F0AC16-BC0B-4336-BCDB-F125D92A6B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1683adacc26d92ccaf9aff05ee6af8e05d4fd99f","datavalue":{"value":{"entity-type":"item","numeric-id":2474047,"id":"Q2474047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4070cfb8258b0ded3a34500e196fa226f3b7f015","datavalue":{"value":{"amount":"+0.7441312074661255","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":"Q2892723$B64275F1-568B-40E7-8D77-A1267F921AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27a21a7db35b99db27656047d5834e543b19d901","datavalue":{"value":{"entity-type":"item","numeric-id":2167745,"id":"Q2167745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5067e2ba409df9ddb378b3ac775d16cbea755d3a","datavalue":{"value":{"amount":"+0.7401579022407532","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":"Q2892723$FC5F601F-EE89-4F1A-B28E-7149528316E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2892723","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2892723"}}}}}