{"entities":{"Q1283776":{"pageid":1294526,"ns":120,"title":"Item:Q1283776","lastrevid":70575516,"modified":"2026-04-13T15:33:14Z","type":"item","id":"Q1283776","labels":{"en":{"language":"en","value":"A calculus for cryptographic protocols: The spi calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1271054"}},"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":"Q1283776$CE012A53-0AB7-438D-AD9A-196BB3F473F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1d70fbf7f0a292c8a1752b49be613967ac3037e","datavalue":{"value":{"text":"A calculus for cryptographic protocols: The spi calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1283776$A458CE5E-1191-46D7-B543-5B9E0FACCB46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d39800e83dcd667bbea8a17a3bd7b1b18fb62241","datavalue":{"value":"0924.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283776$1693F8A4-B04C-465D-8A7E-E53B85B9ED3C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7720f013cde2512621480147576e51273a4c701","datavalue":{"value":{"entity-type":"item","numeric-id":265786,"id":"Q265786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283776$1F69C36A-D4A5-48F3-87CC-32A6E7808142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43de6eaa827eff817a6e362b2bd7fef7fe7b1e34","datavalue":{"value":{"entity-type":"item","numeric-id":557894,"id":"Q557894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283776$97E3619F-5C66-4FBB-9218-A67CCE793CF7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283776$A25FB510-1964-45BB-B6C6-5EDA4349541F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a6067367fba059f6e8b1ef3c6074b68fe3ceb6b","datavalue":{"value":{"time":"+1999-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1283776$E6CFCDBA-1EB6-4AF4-9C54-288C1123E1A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283776$182220A1-2936-449B-AE46-193A565CEF8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af7ab3580755b51056ede0c8c5642aa9eb7b1922","datavalue":{"value":"1271054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283776$453B1A8A-E509-4287-98C2-5C62347E052C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e434375efa698d528259c716067c94fb9c16116","datavalue":{"value":"spi calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283776$5EE2D814-6DCD-4C7B-A824-26EEB5AEEC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ea353797c34180c8e7f601a861f13a3dc4619e0","datavalue":{"value":"pi calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283776$F9B6E7FF-F9F3-4751-B7B3-F1A1CB803501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc7cf19c4844f555afeb1874e534e59c2314744","datavalue":{"value":"cryptographic protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283776$5825467B-10E0-425C-8303-B1E27CDDB0B9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0f045bd7a47e48b127edd192d79403ad52dff49","datavalue":{"value":{"entity-type":"item","numeric-id":51727,"id":"Q51727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283776$93FD054C-D34F-46F7-BBA0-B5A6F8312350","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":"Q1283776$E7769462-1935-4735-BDD7-2BC270D2FE97","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d095e641397d08efc323258b9105490bb41eb93","datavalue":{"value":"https://doi.org/10.1006/inco.1998.2740","type":"string"},"datatype":"url"},"type":"statement","id":"Q1283776$E46167D1-541D-440A-A845-32CD1EAE640B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9a7325fadec64396492c680c9381a77188a00a7","datavalue":{"value":"W1562901937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283776$3A22EC2E-B6BB-4E3A-ABAB-9CF2A2BA7A54","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283776$8ECC7D4C-9A71-4FF4-95D9-B3A5F86E0310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ffe6072cc3030b80a29127aa24cebf45f16c5d4","datavalue":{"value":{"entity-type":"item","numeric-id":6044108,"id":"Q6044108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283776$263C178F-5ACE-445E-8BE4-2AE07CC30A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd7f535b99990e97c48b21b4f729647c06639dd","datavalue":{"value":{"entity-type":"item","numeric-id":4230922,"id":"Q4230922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283776$2E1ABCB0-C1EA-4441-89F3-4A47A7D36305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ea5c7bfcd7d33e8177170c842fe7d83d5fbf89c","datavalue":{"value":{"entity-type":"item","numeric-id":4206382,"id":"Q4206382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283776$9220A4D4-B22B-445C-BF82-C23D8B3F73F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"354985d83868ff9d88e164f5936ab486c8dbdf5b","datavalue":{"value":{"entity-type":"item","numeric-id":1190491,"id":"Q1190491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283776$E787EBE7-B85C-4185-99DD-365C1E0AA67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0daef8d517dc4a268220e86d71133cde1525d9a","datavalue":{"value":{"entity-type":"item","numeric-id":1898467,"id":"Q1898467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283776$A3293670-13DB-4C96-9F65-6CF58338235B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30310a45e21be380e8867993af0c4aadfbee3a1b","datavalue":{"value":{"entity-type":"item","numeric-id":4234051,"id":"Q4234051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283776$713295F8-8144-4B1B-9893-86CF03F8AB0E","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":"Q1283776$C80C10B0-5397-47A9-B304-A54852F8F893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283776$0E631878-DE3D-4F85-AAC4-F5209162D613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283776$C03F4197-31A4-415C-8B2E-0BD959FFCF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283776$F60666F5-5399-4C8D-BD90-A6B1FD837981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3863b259e80d122120a6fe64081f55106cd9f54f","datavalue":{"value":{"entity-type":"item","numeric-id":4017458,"id":"Q4017458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283776$6981331E-1D9C-418C-B6F5-C1DDFB31960A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"832e6f3939e4420eaf84c1c5a23110c23aba1e8f","datavalue":{"value":{"entity-type":"item","numeric-id":4842539,"id":"Q4842539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283776$B718FB62-7174-498D-813B-71330B3ADADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283776$538072DC-DB05-4D71-9D55-F66AB35F8A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d017fc456fa722f7c0dc16a7917d9f23aeda4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5204357,"id":"Q5204357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283776$6F8A4A71-D66A-4826-B1F6-42E76DFBE7A1","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":"Q1283776$570A8A6B-CE40-45AC-86BF-03F24BEA5BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f65ad711d725f7c7ce38cb04914fbe94f61b532","datavalue":{"value":{"entity-type":"item","numeric-id":3837262,"id":"Q3837262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283776$197F12D5-62BC-42FC-8B23-F8D44F996421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80187e65c3d02218a1c1b84468898391dd828b52","datavalue":{"value":{"entity-type":"item","numeric-id":4145254,"id":"Q4145254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283776$59F616EC-2FDE-4155-9DEA-F69BC1F7D2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4229b323dd87b4dc374e7e6b23df267027a34b0","datavalue":{"value":{"entity-type":"item","numeric-id":4869527,"id":"Q4869527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283776$3CF9BB94-7A72-4475-A088-90DE4E81AAE6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b7f8c96bc95ecd896c134f51a22ad0b8397aab5","datavalue":{"value":"10.1006/INCO.1998.2740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283776$2F2EE191-7C63-497A-AD38-06A6DA7EC068","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa9ea2e410d0e2f5389506fac347ce2b81c5398f","datavalue":{"value":{"entity-type":"item","numeric-id":6044108,"id":"Q6044108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"462c2c9e142b7fc9016b476fb8bcaa8eb709c8a7","datavalue":{"value":{"amount":"+0.9331249594688416","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":"Q1283776$F1FDD53E-49F0-4D00-989A-D394E5DE5827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69afaaab5936b0c22ce0aaeba51095f5984ad918","datavalue":{"value":{"entity-type":"item","numeric-id":4917062,"id":"Q4917062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a01746cbbaa27ac36bab83b8e09824a04d529153","datavalue":{"value":{"amount":"+0.8392618894577026","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":"Q1283776$1C669165-4E60-493B-9D32-23E17798FBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97e764e9ed1fb42cdfd71346bb9b09e4f37f9e8b","datavalue":{"value":{"entity-type":"item","numeric-id":2765456,"id":"Q2765456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baca744e815384da8476738075b3330ed9e83416","datavalue":{"value":{"amount":"+0.8347519040107727","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":"Q1283776$5680DFAD-2B8F-4334-8C99-3D4F3B3EF9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"616cae5d800f66ec3cc0448e54246f31830ffd0d","datavalue":{"value":{"entity-type":"item","numeric-id":4938617,"id":"Q4938617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6679d19c562be83e8236c43c7f3811a30755d1ee","datavalue":{"value":{"amount":"+0.826180636882782","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":"Q1283776$D8781E7C-E528-4C65-8BC7-1000720887EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd0e58252d4e00102060939458a9b89a5c4633f7","datavalue":{"value":{"entity-type":"item","numeric-id":5431294,"id":"Q5431294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c58f4f91c2c07a610fbdc032ef69c71a14dcfe10","datavalue":{"value":{"amount":"+0.8221336603164673","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":"Q1283776$01CEE38E-5C00-433C-96A4-1AF71AB69EFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A calculus for cryptographic protocols: The spi calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_calculus_for_cryptographic_protocols:_The_spi_calculus"}}}}}