{"entities":{"Q6044108":{"pageid":13178264,"ns":120,"title":"Item:Q6044108","lastrevid":47851486,"modified":"2026-01-02T21:22:09Z","type":"item","id":"Q6044108","labels":{"en":{"language":"en","value":"Reasoning about cryptographic protocols in the spi calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7686613"}},"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":"Q6044108$4C938974-E201-4441-BF45-F041F257809C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a17c8e0c5f26f8f344af8695bf046e62eafc308","datavalue":{"value":{"text":"Reasoning about cryptographic protocols in the spi calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6044108$215BACE9-8025-442A-8FDD-5C431D1AB579","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6772bbdf6e04c26a1df3ccf0c5de7a06ce66f419","datavalue":{"value":"1512.94054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044108$1846A937-96F3-4775-8AA7-B40887C4D082","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9cfaa0c4b14fc45619c2c6a034d0c82a69b8cb9b","datavalue":{"value":"10.1007/3-540-63141-0_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044108$6ACE8F94-5AC3-4684-B608-15905B72F256","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":"Q6044108$D50E70DD-8C96-43B3-912C-D78A5963E515","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":"Q6044108$4B11F814-680B-4CF4-9642-A727F4C84D49","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2119d755bd5d418a3808091d51c0bc708f312de4","datavalue":{"value":{"entity-type":"item","numeric-id":6044104,"id":"Q6044104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044108$0F1C2AC4-E3A9-4BA4-BE07-7D6BBF306E71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e173d8a6d5fd8f9048a4897c8fc35d9b27bdc36c","datavalue":{"value":{"time":"+2023-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6044108$A756AB55-E0CD-4AB3-879B-29FE4199BF50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044108$89A14771-F65D-48C2-BC57-9F0F8981CC93","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78b4093efeae6e90c612ee8a6d821ba16b9cb20a","datavalue":{"value":"7686613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044108$27CA1C8C-A8A5-4535-878E-40B25B60B504","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":"Q6044108$BE0CE5BF-2947-4188-A61C-09BC19B51DAF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7a57395e94e621dbdab590682770a67dd6e9757","datavalue":{"value":"https://doi.org/10.1007/3-540-63141-0_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q6044108$063471F6-2B7A-46F5-A8DA-EC356EDFF172","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d4a474a1ac39f7dbca44b94a3e9f595463a59dd","datavalue":{"value":"W1564764333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044108$EB8D6826-E68D-45BE-9106-E8844A7D3A8F","rank":"normal"}],"P223":[{"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":"Q6044108$DE587C80-AF83-49AE-879B-C9F43179F6F2","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":"Q6044108$DE462298-6009-49A7-9F52-BF8C4DCB474C","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":"Q6044108$492E376E-9E1E-4031-874D-B1658DD18BE2","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":"Q6044108$46D8E632-B1FF-4455-93E9-1639048D6A9E","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":"Q6044108$3C6413AC-2AA1-4606-833F-B1E375DFE606","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":"Q6044108$725634B6-1617-4C40-808A-E36D67883DAC","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":"Q6044108$8012B987-7D85-4FC5-BD1D-DCED44FD7186","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d15a71dbf6a694be380b6f7859e3bc8291e199e","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24aaeb99008b920c4581027f9ee856e70b7a711c","datavalue":{"value":{"amount":"+0.9331426024436952","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":"Q6044108$18C87118-71AC-41C5-BF9D-990AE45D04FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df444e2a619f7e85fe500d92614af951a2fceff7","datavalue":{"value":{"entity-type":"item","numeric-id":2784489,"id":"Q2784489"},"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":"Q6044108$B27AE55F-841B-4FC0-92A2-4249ACE8D9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19ebbaf52060a9a1cbe1a50119acfcb47dcc52ab","datavalue":{"value":{"entity-type":"item","numeric-id":5311472,"id":"Q5311472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7653a41e832bb831043c3a3dfcd139c70d7402c9","datavalue":{"value":{"amount":"+0.9319528341293336","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":"Q6044108$67004576-7FC3-48EF-9DC4-9E4D2B074068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c9eb28ea9db3d25c53ff263f9e18321d3d15aec","datavalue":{"value":{"entity-type":"item","numeric-id":4738218,"id":"Q4738218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed5ac7226f89f6d6f8004db1a331969d660b3620","datavalue":{"value":{"amount":"+0.8352704048156738","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":"Q6044108$AC3FE2BF-3667-45FD-9AC7-5764BFFE3EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"141f4c317f3b11bda07211ace3e7f96eba56978a","datavalue":{"value":{"entity-type":"item","numeric-id":2996142,"id":"Q2996142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c619075c9c5c3d5a11223d5487df24256c925dc2","datavalue":{"value":{"amount":"+0.828406572341919","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":"Q6044108$5821D5CF-FFC9-48F7-BB71-D56A8DCA3218","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6044108","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6044108"}}}}}