{"entities":{"Q3190130":{"pageid":3200838,"ns":120,"title":"Item:Q3190130","lastrevid":52090007,"modified":"2026-01-20T22:17:33Z","type":"item","id":"Q3190130","labels":{"en":{"language":"en","value":"Typing messages for free in security protocols: the case of equivalence properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6344635"}},"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":"Q3190130$406839B6-C626-4298-9063-A39D42743909","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64f98a17592f6c3e6afa54f6d2f303e662cfa63c","datavalue":{"value":{"text":"Typing Messages for Free in Security Protocols: The Case of Equivalence Properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3190130$B45E3B0F-C316-4488-A73F-6A6A974B8C16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f928a1129732f83205847e0c433ba9778b2b2216","datavalue":{"value":"1417.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190130$FB9B4AF0-BA1D-4C4E-BD77-899FA68AA2DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e5059514ee5e4701d16fe424ca3c8c760257b59","datavalue":{"value":"10.1007/978-3-662-44584-6_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190130$F88553D6-5D3C-4459-9877-E0EE97215588","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85a0da12c7a1222e7363417c2fb3e05731d0cdd7","datavalue":{"value":{"entity-type":"item","numeric-id":2165458,"id":"Q2165458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3190130$08C8732D-8774-431F-8943-B7576BD90042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d70519ef78cb58e04ec872af558109333716e152","datavalue":{"value":{"entity-type":"item","numeric-id":391119,"id":"Q391119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3190130$8BBBF306-6CE9-4118-90CF-A96731B2E855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"008edee8fc18ab1cd9ad59e3974fb7e15a23ac24","datavalue":{"value":{"entity-type":"item","numeric-id":391120,"id":"Q391120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3190130$278279B5-4037-4D2E-9373-A73E4FC564AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"86291768d824471544e7172134ed7e1910c45b89","datavalue":{"value":{"entity-type":"item","numeric-id":3190104,"id":"Q3190104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3190130$1C3C34FA-94BB-4B13-9AED-1FF96127B0DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8555c1b8507b50ae47f31acfa7e2d2e9024da56b","datavalue":{"value":{"time":"+2014-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3190130$D2DAD32A-C346-4FF5-ADAB-5A9F4D251A40","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6aba2a6fd998c5500beb1a7bfd896d5a008ef36c","datavalue":{"value":"https://hal.inria.fr/hal-01007580/file/RR-8546.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3190130$2CD5F3E4-C115-4CCF-B4B7-888DA1486AAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190130$8B92CB83-F624-42EA-A1D8-36082BDB47FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11fc7478cd380dfc822c4aa71b43526fad82c930","datavalue":{"value":"6344635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190130$1D52BF7F-3F88-4F0C-96BA-06D833C35803","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":"Q3190130$DF5C73F3-516A-4483-860D-FAC51FAD343C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4bca95c36d132cf4c4cc8473f04c6f60817f7d5f","datavalue":{"value":"W359430047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190130$E3A9F7EF-7C61-4914-B73D-78582AD99769","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad7a03710a2e4231c40f0dcc6da59dedae4fa256","datavalue":{"value":{"entity-type":"item","numeric-id":4972165,"id":"Q4972165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dd198a4d674a4a56456444cef07c0759fb33150","datavalue":{"value":{"amount":"+0.8670477271080017","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":"Q3190130$84AAC023-9465-4360-86C0-FEA576B20F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a84496db55ded362d1b7fb0d0066bb878dff938","datavalue":{"value":{"entity-type":"item","numeric-id":2324201,"id":"Q2324201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8bb55bd8782c7f6ba592ade13907b1b220ee6a3","datavalue":{"value":{"amount":"+0.7943010926246643","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":"Q3190130$4451A2EE-A470-4428-A6A4-B4D5116758B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8defb382480503002f67fdfe92e7f4be08066b6","datavalue":{"value":{"entity-type":"item","numeric-id":391121,"id":"Q391121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb119bbfc8f8585228362aefb7780ea9fd17f850","datavalue":{"value":{"amount":"+0.7941423058509827","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":"Q3190130$FD923DA3-3A38-44AA-A351-8EAF8D1FAA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"247693272a0eb1fd0e97fcc47d8fbc1040ac4521","datavalue":{"value":{"entity-type":"item","numeric-id":2013557,"id":"Q2013557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1590ad6e7ce5686af7116b2d85f90042d0e55731","datavalue":{"value":{"amount":"+0.7930744886398315","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":"Q3190130$86CABDF6-5AEC-4CA9-A0AC-A2678BC44A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81d88669b24130f350fe5ac6992052944c7a6481","datavalue":{"value":{"entity-type":"item","numeric-id":5327429,"id":"Q5327429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86ac4c4db7c8b8aa091bba25b76298f7ff7a189e","datavalue":{"value":{"amount":"+0.7833878397941589","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":"Q3190130$1B30EB43-C625-4FD1-B88E-8F930BE42F6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3190130","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3190130"}}}}}