{"entities":{"Q2484411":{"pageid":2495154,"ns":120,"title":"Item:Q2484411","lastrevid":48517411,"modified":"2026-01-05T02:11:57Z","type":"item","id":"Q2484411","labels":{"en":{"language":"en","value":"Verifying security protocols with PVS: widening the rank function approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2189395"}},"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":"Q2484411$069745FE-47CB-42AA-B67B-CE8E353DEC04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad1a12d7d307f52fa6d697a74bc321be92e1ba18","datavalue":{"value":{"text":"Verifying security protocols with PVS: widening the rank function approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2484411$9C9189F5-5FA0-4C75-8FAE-B3BD90166F83","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6af52427f1436119ca38ef0c883df7f6419d29b","datavalue":{"value":"1078.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2484411$C454A43B-BAD7-41A5-9512-7969C512BA2A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbf760af8264fe1b213073283cef0a10d170b64e","datavalue":{"value":{"entity-type":"item","numeric-id":293166,"id":"Q293166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2484411$55867F8A-20AF-4C38-85A1-0ADB20D3BE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd74731cf25b418c4068b03729533b4b1d961716","datavalue":{"value":{"entity-type":"item","numeric-id":1049154,"id":"Q1049154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2484411$1DECD4B7-6E0D-47F0-A753-5128B32B97F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2484411$C4EBD06A-466D-42D8-A782-772F9F645FB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"060bece54e45684ba51870be219b4c49f86efe6c","datavalue":{"value":{"time":"+2005-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2484411$C04B036F-C5A8-4FDD-A339-9021EB091CE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2484411$B7967207-C651-4459-B687-D407C58A1023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2484411$4ECBD55A-0F24-4169-B384-EB0350B9327E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fac0d49ad7af90c972d805dc303f40cd30ced134","datavalue":{"value":"2189395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2484411$507E3B9D-2C88-4FF1-B816-1AB5F2E90786","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2484411$9A07FD97-9062-4431-B96F-0BFEF8B12D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d3d0d2409011411be91984a4137a1c90ca04ff","datavalue":{"value":"PVS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2484411$6F0F6120-4339-4ED4-8954-609A75BAC3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cea6a6f178a751a025ae6a31c2c78a0a054e6ab","datavalue":{"value":"Security protocol analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2484411$4C91B943-DF54-4C57-9DC9-E9A82CA108CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d951d64ab43ea798782aa713ff4f1e85eb24ebc7","datavalue":{"value":"Rank functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2484411$D7F9A647-91BE-4782-9DDA-48C90CFCCF27","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2484411$2CAE6556-E6DE-4902-B1DB-A907457A2888","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":"Q2484411$E30B4931-4DA8-4FDF-ADB3-61ED122A87DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32e781a42dff7f465f218d8863be692b799e18af","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2004.09.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q2484411$9118A964-C686-4F31-B951-C0DF409151A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49b4214d7d4a42186b56ff5c5fd24f00a7d64e1a","datavalue":{"value":"W2031129151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2484411$D2CA674D-52B9-4376-8383-FA27D437C340","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5f1a91926bfdc16be46e188671af446fd417d85c","datavalue":{"value":"Q60173606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2484411$4467F320-FF3C-40BD-828A-F2F6E440A28D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2484411$4AC46119-1AC4-41A9-B1D9-7FC02784E502","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":"Q2484411$F0A7A7DC-8C1C-409A-9E2E-D3339347D91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606fd070630bb1cb73b0655837c2616dd769a509","datavalue":{"value":{"entity-type":"item","numeric-id":672251,"id":"Q672251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2484411$608FDBF9-2F67-46FE-9CB5-877DFC85BCE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"025e7c1b723f1267f54c05bebb92073f5d5f4e0c","datavalue":{"value":{"entity-type":"item","numeric-id":4536258,"id":"Q4536258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2484411$F2C3983C-B7F8-4404-B24A-84CF31E5EE5B","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"f4b8ddf28c5416724ac385e0d9a7e072826cb782","datavalue":{"value":"journals/jlp/EvansS05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2484411$5AFEF2BB-FD66-439B-8B46-8E10A1F0E909","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5077fddfd9f01db7b194b87b4cac7878f2d548f7","datavalue":{"value":"10.1016/J.JLAP.2004.09.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2484411$8652918B-77B8-4B89-9B4B-13F032B4DD0D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26f3f2bf25d3c1efb6215b1e2e02035caada7a49","datavalue":{"value":{"entity-type":"item","numeric-id":5709372,"id":"Q5709372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51b9bef0717763633a136b6aec2112fea3969853","datavalue":{"value":{"amount":"+0.812272310256958","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":"Q2484411$70782302-0E7C-4055-9E7C-E5D9491EBF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"462eb6465a14a7ef61ea3958a7ba32ba45ef958f","datavalue":{"value":{"entity-type":"item","numeric-id":4790341,"id":"Q4790341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2a1e5c12b64e6dd372d6cbe2ebbc68fc289ba6c","datavalue":{"value":{"amount":"+0.7943170070648193","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":"Q2484411$2533B871-B045-49DD-A2EF-B0AAD8593AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f67717d1ff5ca60a3a7267d3106d3b5356e1b60","datavalue":{"value":{"entity-type":"item","numeric-id":5422290,"id":"Q5422290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2ff985cb066c74c8080e224762fcabd8ec2dfdb","datavalue":{"value":{"amount":"+0.7727782726287842","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":"Q2484411$4226E350-9FF5-40FF-8D4F-3AB71EE04175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07047b2197714a8819b934f0de4fdb4e050e5c62","datavalue":{"value":{"entity-type":"item","numeric-id":2894308,"id":"Q2894308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3644b7e5d180a4f80426437727833bd14f58d561","datavalue":{"value":{"amount":"+0.770462155342102","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":"Q2484411$4A9376A9-94E7-44C9-BAF4-5E161C70B151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4c6095ec7a0d43c14e38a3c860f3105939d4c59","datavalue":{"value":{"entity-type":"item","numeric-id":5491199,"id":"Q5491199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0628e99dbd0d82d9f31b8ce423f75cc1f650fe3b","datavalue":{"value":{"amount":"+0.7700956463813782","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":"Q2484411$5C7DD345-43AC-4AAE-9285-CB61A92CAE12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2484411","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2484411"}}}}}