{"entities":{"Q2702601":{"pageid":2713346,"ns":120,"title":"Item:Q2702601","lastrevid":82740764,"modified":"2026-05-06T21:50:44Z","type":"item","id":"Q2702601","labels":{"en":{"language":"en","value":"Using automated theorem provers in verification of protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1575025"}},"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":"Q2702601$774FBF71-DCA1-465D-AB86-59F612260442","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a36a6d6ae96a90853c0491f6b73a6c52fc76576","datavalue":{"value":"0972.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702601$C370E9D1-9090-4099-810D-C67366127648","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38294f58718971c8a6ef43a1f5d9b363d178f21d","datavalue":{"value":{"entity-type":"item","numeric-id":2702593,"id":"Q2702593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2702601$0D40D14E-56F1-461E-88BD-EAFCBBDEBA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8112127c0d8cfe8be19516662fa2ba3c423248b1","datavalue":{"value":{"entity-type":"item","numeric-id":434441,"id":"Q434441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2702601$7889FE47-7DF0-47C5-91CA-E027937A1E02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af22c54118a69f4324bd2bfa43c2edc40af04cff","datavalue":{"value":{"time":"+2001-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2702601$5F11B689-125D-48EF-9E75-C79CDA9B4D86","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702601$A7FB36A1-7099-4DE7-8010-D52803C4DEFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702601$319586D0-8BBB-4EFC-806E-D8D6B7974387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702601$967444F3-532E-4B68-A482-039B007CF721","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"047e2d2f49bb813e322e931ac820340b98c265b6","datavalue":{"value":"1575025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702601$E606AB8C-C6E0-4809-9EDC-C118268C4A5C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720ad2603becd284daf2e9c45e20cd0a497e5f48","datavalue":{"value":"protocol verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702601$420052EE-124A-44B5-A3D0-AF553CB79BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d1585ca8380d459cc6fef1e6ce4a61850ace366","datavalue":{"value":"automated theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702601$2D0EDE13-83D5-4B82-818E-9CF8B0961FE6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c845b927c7c8299e3e10848fbe9373f51ae3559b","datavalue":{"value":{"entity-type":"item","numeric-id":13461,"id":"Q13461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2702601$C794D6C0-EAC0-4BC1-A180-3CF0107EEE2A","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":"Q2702601$03A66839-133C-4333-A9F0-AF51159185B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7cd260fe871314c9b9caa73d1450f26100a038e","datavalue":{"value":{"text":"Using automated theorem provers in verification of protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2702601$7606F94A-227F-467C-BA2D-D563CE29D009","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a74d47acc8bb67d9f54d6e58f55cff4800aa4309","datavalue":{"value":{"entity-type":"item","numeric-id":5234693,"id":"Q5234693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d55b6284e4742a0c441a4674a0f3b74a1ce74838","datavalue":{"value":{"amount":"+0.7311736345291138","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":"Q2702601$F27EEC94-F06F-41B9-A6BC-2DC1D6467948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9970926fb663e97cfa6d9724fe0af1a4b64d0fda","datavalue":{"value":{"entity-type":"item","numeric-id":3044257,"id":"Q3044257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dea2ec25779d0c524df343180852cee80003bfc","datavalue":{"value":{"amount":"+0.713325023651123","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":"Q2702601$A7E08C99-9F02-41B9-BD4B-DA0E7812ADAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bec0fd55d19f1bb3dde083af2f8d1418247b63b","datavalue":{"value":{"entity-type":"item","numeric-id":4813405,"id":"Q4813405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1e4defb1030fbb11266e7ecf45aa35814a10c29","datavalue":{"value":{"amount":"+0.705461323261261","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":"Q2702601$651AE27B-7B79-4E5C-B10E-B5BB767DB43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f8bd075f5fd491c0c3295d4cc9a6e98f0d7cd23","datavalue":{"value":{"entity-type":"item","numeric-id":2568441,"id":"Q2568441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff171dd5ff3ca6ab66f707dbf6794f61582e70ff","datavalue":{"value":{"amount":"+0.7046230435371399","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":"Q2702601$D35BCA3F-6DEE-4D46-8366-51075649A19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43b0afe539d9d69899846d08611f93dfa4bd6d7e","datavalue":{"value":{"entity-type":"item","numeric-id":3688294,"id":"Q3688294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"349deb5383c624abdacfe55352950d4838012540","datavalue":{"value":{"amount":"+0.7028533220291138","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":"Q2702601$2CFEF1E8-B6C7-48BE-A4D1-E93E0663A2A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using automated theorem provers in verification of protocols","badges":[]}}}}}