{"entities":{"Q3611001":{"pageid":5640907,"ns":120,"title":"Item:Q3611001","lastrevid":80808959,"modified":"2026-05-06T17:02:55Z","type":"item","id":"Q3611001","labels":{"en":{"language":"en","value":"An improved formal model of cryptographic protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5525642"}},"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":"Q3611001$0B728201-B1DB-448D-9602-F418CFE7901E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f9c1d63099761fd69762f70bfa4a63037b28e50","datavalue":{"value":"1174.68423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3611001$85710A87-2449-4683-82A5-9FC6009ECF14","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afb60cd9fbf23b7904ca29d924a215869d67e640","datavalue":{"value":{"entity-type":"item","numeric-id":308916,"id":"Q308916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3611001$CE244600-C093-48A6-9DF9-0E4177701C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c80920e013a9c39c20a6cea3889d021b7baa31ec","datavalue":{"value":{"entity-type":"item","numeric-id":283162,"id":"Q283162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3611001$D7C03680-A329-4B8D-B5C3-60FA1EA04E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ea6a54d4e5b6fa63098e53c49e6375e2464a238","datavalue":{"value":{"entity-type":"item","numeric-id":3610999,"id":"Q3610999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3611001$E456163D-85BA-476B-A791-4E6D8C8801E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6f56ee027faf978cae3b2c31b5dcd05a4ea5ca6","datavalue":{"value":{"entity-type":"item","numeric-id":3611000,"id":"Q3611000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3611001$057EB24C-BA8F-43AB-B193-6ED7FE8D4B77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19a1026dd4f6172034494e7235e1c6afaf15c529","datavalue":{"value":{"time":"+2009-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3611001$B8B7D711-653A-46FD-994C-F5885AC14C3E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3611001$686E4E89-34B8-49EC-9E93-4B95D91D6D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3611001$9D61E2DE-D442-42E7-8440-D4322B92ECF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8e8a4409d5b03a701069588c4c66dea241b4b3a","datavalue":{"value":"5525642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3611001$7B57B7B4-E601-4185-8DF3-476E9C7012E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f93c6caef986b21f94fd941149b5d6249ceb752","datavalue":{"value":"cryptographic protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q3611001$0F9D9C31-D769-42F4-B5CD-A92ABC354308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ee024fe378571e5a694482dff8f89a761297e7d","datavalue":{"value":"secrecy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3611001$411B7A13-9581-4E86-A3AD-345D014CFCA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3611001$1603689E-5372-444E-BE23-1D94C51620B1","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":"Q3611001$8346F312-2910-419A-B648-95B23FEF18CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba0ec567c443e85a8f52d5db4311b0af44a74f2d","datavalue":{"value":{"entity-type":"item","numeric-id":4808734,"id":"Q4808734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b6261e5644e72d5ddcde7c1e64f71da25f028d6","datavalue":{"value":{"amount":"+0.7819464802742004","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":"Q3611001$9321940F-D4DE-4FC4-A2C0-994A23E9A5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80d5965192a5442bcb36976825ca54ec4c60467e","datavalue":{"value":{"entity-type":"item","numeric-id":4923367,"id":"Q4923367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f9f7e69642209cb483fd07f6fb24ebd9f888949","datavalue":{"value":{"amount":"+0.7711069583892822","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":"Q3611001$798831E4-AD5A-4C9F-9E56-EA91CBD3D023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"930d2e43de7549a0e749923990abe43f7c013c78","datavalue":{"value":{"entity-type":"item","numeric-id":4934628,"id":"Q4934628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7642238b96165d82c6ee3330135922fcc280c7f1","datavalue":{"value":{"amount":"+0.7520028352737427","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":"Q3611001$00EA78D8-B398-467B-B6E3-0E44A81C9108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03d7528f47c1c71f7c1e08f5fdba01e781c38b10","datavalue":{"value":{"entity-type":"item","numeric-id":2723425,"id":"Q2723425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f71cd97f5a96481d187d2e8243b696017de4ac57","datavalue":{"value":{"amount":"+0.7472522854804993","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":"Q3611001$07FB94D5-04E5-4522-A209-01CB95BB9E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbb70c2764bc98f95bfb4eb3ca38221a3564a571","datavalue":{"value":{"entity-type":"item","numeric-id":3734302,"id":"Q3734302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53da647141e9278d5ea91135dc02b42b471d2f85","datavalue":{"value":{"amount":"+0.7435065507888794","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":"Q3611001$8E10B849-5E44-4D10-911B-F1C09AD0A83B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An improved formal model of cryptographic protocols","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_improved_formal_model_of_cryptographic_protocols"}}}}}