{"entities":{"Q2375745":{"pageid":2386488,"ns":120,"title":"Item:Q2375745","lastrevid":43975605,"modified":"2025-11-18T16:35:28Z","type":"item","id":"Q2375745","labels":{"en":{"language":"en","value":"LACPV'2001. Logical aspects of cryptographic protocol verification. Proceedings of the 1st workshop (a satellite workshop of CAV'01), Paris, France, July 23, 2001."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6176002"}},"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":"Q2375745$DB6850BB-178C-4181-BFB5-6B807343F57C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9f1b099b23fbcd5444e861db3daaadeb84687d1","datavalue":{"value":{"text":"LACPV'2001. Logical aspects of cryptographic protocol verification. Proceedings of the 1st workshop (a satellite workshop of CAV'01), Paris, France, July 23, 2001.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2375745$391627C4-CD58-4694-97E1-9EC88D6564A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8b7a5a2c7574aaca21aa214b2fd004808a75816","datavalue":{"value":"1266.94002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375745$C15FE40C-13F1-454F-9D1A-0CB891C9A02D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375745$19B48393-64E1-48B2-B56D-EFA847E285C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b84d2a34981f1c1a0d0fb543ea5aabc14a21194b","datavalue":{"value":{"time":"+2013-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2375745$B5969EF5-744E-4E7A-A09B-D3B7BA5AB528","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b40f4e753994a41e9ed09ff528e3c214dccc5b71","datavalue":{"value":"http://www.sciencedirect.com/science/journal/15710661/55/1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2375745$C34E13F6-B50A-47F2-AAC7-BB7D719B8A70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8dc5d8f03fcaaa9e07fb2b90c65b675a74eb1ab2","datavalue":{"value":"94-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375745$53B44B3C-74B8-4AEF-81F6-23663A996F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375745$080E23C0-B865-4A5F-9305-0A40D9D1D4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375745$DAAA2EE4-E166-4C7D-875D-6E926E8DDB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375745$B48B6509-479A-4488-A4E7-7D4C44C6C5FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e80c0bdb81a352803d73fc7d760b4e88b4f7f279","datavalue":{"value":"6176002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375745$EB86E240-DE7B-417D-964E-2D367780022E","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":"Q2375745$8676172B-51B5-4229-A6CE-ECDE6127BB65","rank":"normal"}],"P1643":[{"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":"347807988f86fb2866b7d3d12c2b950b1d921481","datavalue":{"value":{"amount":"+0.8282337","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2375745$AA3CA5B7-D7BB-499B-A407-A9CFF50B7879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d3768598953daf6cc87786263adc6e2059db326","datavalue":{"value":{"entity-type":"item","numeric-id":5943776,"id":"Q5943776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63bb6f3a63cd552f312fbafbc347a1ce67e356da","datavalue":{"value":{"amount":"+0.81712353","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2375745$DC4BC9B5-298A-402D-9EDC-3FCF72F6CA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75938c139f8aee0deac46de73099b74a36e65918","datavalue":{"value":{"entity-type":"item","numeric-id":3125910,"id":"Q3125910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ac84c60ea3bc14b8127d248c90a3b3a60373287","datavalue":{"value":{"amount":"+0.81584597","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2375745$CB2CB579-D615-48D9-8F46-1620F077C586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4e1a80f18327ca9c104325e00b0e9c1ed5afdac","datavalue":{"value":{"entity-type":"item","numeric-id":3643130,"id":"Q3643130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62b00c3b2a408a3a5ab957405857fba8d143cedf","datavalue":{"value":{"amount":"+0.8152807","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2375745$FE044FC8-3691-450F-908A-95EA48C0BB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c02ba595b7920110ca6b2a118a4a8f302f2c3fd9","datavalue":{"value":{"entity-type":"item","numeric-id":3593070,"id":"Q3593070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe75435b71b872043ea6a0b3e1e467f9de5a2581","datavalue":{"value":{"amount":"+0.81501865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2375745$2F9DBBD4-A39F-462F-AF1E-72F676406F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ee9e46cd1d86713d51a6595b7f177353ff07d14","datavalue":{"value":{"entity-type":"item","numeric-id":3631369,"id":"Q3631369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6dfd864ff18b2b0f7276c84037d46a3f450198d","datavalue":{"value":{"amount":"+0.81211615","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2375745$427736BC-E8E5-441D-88BE-A1BFD6F26BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ac33278f86728c99a51e5283dc134ab7d3ca041","datavalue":{"value":{"entity-type":"item","numeric-id":1574965,"id":"Q1574965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ee44ad3fde84310f44fc57c5115e1982c8c9d56","datavalue":{"value":{"amount":"+0.8117715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2375745$538DF851-D89F-40B1-8C92-6B8A97AB25B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"839a87d746519b1a17a7f05b5eea7f22c9bd09d4","datavalue":{"value":{"entity-type":"item","numeric-id":2643568,"id":"Q2643568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e8faebdc1f7c001c656780234d3c2481477adeb","datavalue":{"value":{"amount":"+0.81056803","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2375745$055C7B8C-5820-49F7-A189-385F937F6C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7256a431b701e54c22ee2b5b886112355fa6e5db","datavalue":{"value":{"entity-type":"item","numeric-id":3211248,"id":"Q3211248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95dfe2c1a4ed9a5972e8ca59467ef9a3a5e1b860","datavalue":{"value":{"amount":"+0.80754817","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2375745$799DBD29-053A-43BF-94E4-9F48E4CE8242","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2375745","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2375745"}}}}}