{"entities":{"Q115012780":{"pageid":109668771,"ns":0,"title":"Q115012780","lastrevid":1878619996,"modified":"2023-04-19T18:55:41Z","type":"item","id":"Q115012780","labels":{"en":{"language":"en","value":"Using Abstract Interpretation for the Safe Verification of Security Protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article published in 1999"},"ast":{"language":"ast","value":"art\u00edculu cient\u00edficu espubliz\u00e1u en 1999"},"fr":{"language":"fr","value":"article scientifique publi\u00e9 en 1999"},"uk":{"language":"uk","value":"\u043d\u0430\u0443\u043a\u043e\u0432\u0430 \u0441\u0442\u0430\u0442\u0442\u044f, \u043e\u043f\u0443\u0431\u043b\u0456\u043a\u043e\u0432\u0430\u043d\u0430 \u0432 1999"}},"aliases":{},"claims":{"P1433":[{"mainsnak":{"snaktype":"value","property":"P1433","hash":"6dfac56d96a10bcf74ee9fe2bdc3f8f46cfe6235","datavalue":{"value":{"entity-type":"item","numeric-id":5358287,"id":"Q5358287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q115012780$34C876EE-8F6A-4563-872A-FDCF05F84710","rank":"normal","references":[{"hash":"f9eb7953cd2807d000ef82211ee61e160c9010e3","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"52676e43ee041349bb6824234903746c2b4227d9","datavalue":{"value":"10.1016/s1571-0661(04)80069-0","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"03c5f49adcb01afcc2714747d9ff96ace20a6475","datavalue":{"value":"https://api.crossref.org/v1/works/https://doi.org/10.1016/s1571-0661(04)80069-0","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"70e1cbb701ecc7cd8e5ca8c28eed43ec7fae9380","datavalue":{"value":{"time":"+2022-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"f9559000238ddff640007a34eb09d95cb593f912","datavalue":{"value":{"text":"Using Abstract Interpretation for the Safe Verification of Security Protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q115012780$36696B4E-FD61-4E7E-9B95-15BEE551CFCE","rank":"normal","references":[{"hash":"f9eb7953cd2807d000ef82211ee61e160c9010e3","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"52676e43ee041349bb6824234903746c2b4227d9","datavalue":{"value":"10.1016/s1571-0661(04)80069-0","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"03c5f49adcb01afcc2714747d9ff96ace20a6475","datavalue":{"value":"https://api.crossref.org/v1/works/https://doi.org/10.1016/s1571-0661(04)80069-0","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"70e1cbb701ecc7cd8e5ca8c28eed43ec7fae9380","datavalue":{"value":{"time":"+2022-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"ce649e53724738c8fec5d26ee62be4b58dc360ea","datavalue":{"value":"Dominique Bolignano","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q115012780$F9A4AC02-51DC-4D80-AC06-F2D91B337500","rank":"normal","references":[{"hash":"f9eb7953cd2807d000ef82211ee61e160c9010e3","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"52676e43ee041349bb6824234903746c2b4227d9","datavalue":{"value":"10.1016/s1571-0661(04)80069-0","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"03c5f49adcb01afcc2714747d9ff96ace20a6475","datavalue":{"value":"https://api.crossref.org/v1/works/https://doi.org/10.1016/s1571-0661(04)80069-0","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"70e1cbb701ecc7cd8e5ca8c28eed43ec7fae9380","datavalue":{"value":{"time":"+2022-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"1b2dbca2fe378f754ecaa892bbad54587ac6984d","datavalue":{"value":"95-116","type":"string"},"datatype":"string"},"type":"statement","id":"Q115012780$FFE8414D-B423-423B-8FD5-35B036466D5D","rank":"normal","references":[{"hash":"f9eb7953cd2807d000ef82211ee61e160c9010e3","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"52676e43ee041349bb6824234903746c2b4227d9","datavalue":{"value":"10.1016/s1571-0661(04)80069-0","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"03c5f49adcb01afcc2714747d9ff96ace20a6475","datavalue":{"value":"https://api.crossref.org/v1/works/https://doi.org/10.1016/s1571-0661(04)80069-0","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"70e1cbb701ecc7cd8e5ca8c28eed43ec7fae9380","datavalue":{"value":{"time":"+2022-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"29465f78f13add11b617f0de4ade56cd1122c19c","datavalue":{"value":{"entity-type":"item","numeric-id":13442814,"id":"Q13442814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q115012780$C5EA06C3-98AF-4F20-855F-E067FCF431CE","rank":"normal","references":[{"hash":"f9eb7953cd2807d000ef82211ee61e160c9010e3","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"52676e43ee041349bb6824234903746c2b4227d9","datavalue":{"value":"10.1016/s1571-0661(04)80069-0","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"03c5f49adcb01afcc2714747d9ff96ace20a6475","datavalue":{"value":"https://api.crossref.org/v1/works/https://doi.org/10.1016/s1571-0661(04)80069-0","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"70e1cbb701ecc7cd8e5ca8c28eed43ec7fae9380","datavalue":{"value":{"time":"+2022-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"8d4099c71642ee44b52a8bfd3a85621e535d896d","datavalue":{"value":"10.1016/S1571-0661(04)80069-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q115012780$9FA76852-3C4E-4E22-92BE-E9F4A63C620A","rank":"normal","references":[{"hash":"f9eb7953cd2807d000ef82211ee61e160c9010e3","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"52676e43ee041349bb6824234903746c2b4227d9","datavalue":{"value":"10.1016/s1571-0661(04)80069-0","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"03c5f49adcb01afcc2714747d9ff96ace20a6475","datavalue":{"value":"https://api.crossref.org/v1/works/https://doi.org/10.1016/s1571-0661(04)80069-0","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"70e1cbb701ecc7cd8e5ca8c28eed43ec7fae9380","datavalue":{"value":{"time":"+2022-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P478":[{"mainsnak":{"snaktype":"value","property":"P478","hash":"ab0fbdd1e1b2e608c2ebe88b52e00815a492da04","datavalue":{"value":"20","type":"string"},"datatype":"string"},"type":"statement","id":"Q115012780$E041F071-BFEE-4BB1-B95B-C56E6E97AE40","rank":"normal","references":[{"hash":"f9eb7953cd2807d000ef82211ee61e160c9010e3","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"52676e43ee041349bb6824234903746c2b4227d9","datavalue":{"value":"10.1016/s1571-0661(04)80069-0","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"03c5f49adcb01afcc2714747d9ff96ace20a6475","datavalue":{"value":"https://api.crossref.org/v1/works/https://doi.org/10.1016/s1571-0661(04)80069-0","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"70e1cbb701ecc7cd8e5ca8c28eed43ec7fae9380","datavalue":{"value":{"time":"+2022-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"10ed3ba7af6d5c0c50d4ae2a9c71497e02ca9972","datavalue":{"value":{"time":"+1999-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q115012780$31B1C38D-AF82-4B80-8F73-02B4A24EA6DE","rank":"normal","references":[{"hash":"f9eb7953cd2807d000ef82211ee61e160c9010e3","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"52676e43ee041349bb6824234903746c2b4227d9","datavalue":{"value":"10.1016/s1571-0661(04)80069-0","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"03c5f49adcb01afcc2714747d9ff96ace20a6475","datavalue":{"value":"https://api.crossref.org/v1/works/https://doi.org/10.1016/s1571-0661(04)80069-0","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"70e1cbb701ecc7cd8e5ca8c28eed43ec7fae9380","datavalue":{"value":{"time":"+2022-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}]},"sitelinks":{}}}}