{"entities":{"Q2894308":{"pageid":2905033,"ns":120,"title":"Item:Q2894308","lastrevid":79533038,"modified":"2026-05-06T14:08:11Z","type":"item","id":"Q2894308","labels":{"en":{"language":"en","value":"Security protocol verification: symbolic and computational models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6051132"}},"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":"Q2894308$A529CF10-C85A-4896-B8BD-329403FF775F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff336683a1826a0c568e0a5b8ccd773b875362e7","datavalue":{"value":{"text":"Security Protocol Verification: Symbolic and Computational Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2894308$23C5A7A5-83F3-4245-AE80-2079E358AADA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e46f6eb7e29469dd0c6c414a638bcd439329542b","datavalue":{"value":"1297.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894308$F69F72A2-4051-4B83-BCEA-61643FD7F19A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a433491f11d9b73e269a4e54e047200d05e91abd","datavalue":{"value":"10.1007/978-3-642-28641-4_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894308$B752F8C9-725A-4FDB-9E40-A292E3FF2C4C","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":"Q2894308$1F1C2AF8-1541-4022-A7CE-AE80FD3F5C36","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894308$1ED5B815-700E-481F-A35E-BBEE4502DE9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f01ce0deea26f8c7917713e0a65a223f09cb75c0","datavalue":{"value":{"time":"+2012-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2894308$1837E816-0752-4C7A-B693-C0DD0E6D138C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894308$64CE0CBE-5010-484E-A32B-35CC012D8B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894308$347F8AF8-7DAE-4CBA-99E5-4EF1C827C95E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70a980aa9347726bcf385ffe81bc2d757ae7ec98","datavalue":{"value":"6051132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894308$D52F153E-9EF3-471B-9518-2C02BB7E7581","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e8fb53407b96a81b3fa8b98b393a2f05650897d8","datavalue":{"value":{"entity-type":"item","numeric-id":13730,"id":"Q13730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894308$37C2CE7A-1174-4BBD-885B-E2724E66D8F6","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":"Q2894308$99667773-698F-4DE4-863D-48313C63D27E","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":"Q2894308$F7ABBECD-B730-4415-ABB2-D93F5A1FE6B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0ed2781574ca6e9fec8a00bbb1127fe385a3d72e","datavalue":{"value":{"entity-type":"item","numeric-id":21831,"id":"Q21831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894308$3457F501-F3BA-4EB2-A11E-842ACA383278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0af3cade77db29d522255ba64eb3ed6d2efbcde1","datavalue":{"value":{"entity-type":"item","numeric-id":21914,"id":"Q21914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894308$1F1F07CA-278E-495B-A924-57AD4360C4B3","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":"Q2894308$453F3D8D-81CA-48CF-B75B-75C117A537D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aaac64d5c7b2d6fb4a08b1e881cad9197d1f453e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28641-4_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2894308$5530512A-025B-4EA4-A225-B82B80A4E86C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67bc0c9fec02c4f69d79394cbdefc0e4a7926646","datavalue":{"value":"W42122073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894308$801CBFE0-85D8-435A-862B-3842903BB35C","rank":"normal"}],"P1643":[{"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":"1e3db8e55e14c388aac3362e74bec8d271693e5c","datavalue":{"value":{"amount":"+0.8878244161605835","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":"Q2894308$DCB92D0C-5BD1-466F-8574-982A0F2F93BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af10c3f3d620ad1acb5fcfefe12321c50d8ffb4f","datavalue":{"value":{"entity-type":"item","numeric-id":5253587,"id":"Q5253587"},"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":"Q2894308$11A09CCC-48A4-4C66-9897-BAE412A5A0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b172c2d25b0df58c17ec5aa5adec12f9e08d7214","datavalue":{"value":{"entity-type":"item","numeric-id":540683,"id":"Q540683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01abe436283493fe5c4d59d2334b05b7c99ff90c","datavalue":{"value":{"amount":"+0.8189188241958618","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":"Q2894308$E2EAC6F4-39CB-434F-8FB7-B0AAFD7E5717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51ac66808a3dd3163d6bac7d40284249429ec871","datavalue":{"value":{"entity-type":"item","numeric-id":4341785,"id":"Q4341785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b00f5ddde36fa1a0c1138dc6773b3bb99848900","datavalue":{"value":{"amount":"+0.816168487071991","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":"Q2894308$5FA2BC3C-C20D-48B3-826F-B427A92403F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaa6197f6f1faa7773976bbdf8dd87c8c8dfbfa1","datavalue":{"value":{"entity-type":"item","numeric-id":3164588,"id":"Q3164588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f81c0af6f66136db62366645d3bfe11e2ae7ea10","datavalue":{"value":{"amount":"+0.8143107295036316","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":"Q2894308$000A7049-4776-45A1-B72C-9E992113C3FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Security protocol verification: symbolic and computational models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Security_protocol_verification:_symbolic_and_computational_models"}}}}}