{"entities":{"Q6567704":{"pageid":14178859,"ns":120,"title":"Item:Q6567704","lastrevid":55703344,"modified":"2026-02-17T21:20:05Z","type":"item","id":"Q6567704","labels":{"en":{"language":"en","value":"Deciding cryptographic protocol adequacy with HOL: the implementation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7876653"}},"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":"Q6567704$6469C4BB-0D71-48DF-9DE0-E24B63F3377A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5d282ff37722e5f79a5296cf8b8cb1c9c01062f","datavalue":{"value":{"text":"Deciding cryptographic protocol adequacy with HOL: the implementation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6567704$1111F744-5B64-49AF-9665-A453C8073334","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78d1a80ac24eda4e1122efe1b94f28cae7066f78","datavalue":{"value":"1541.68427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567704$5649600F-48B4-4CC1-B548-FF1C525713CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a35888dbaf70ea93fa10845719b302b3f198dbdb","datavalue":{"value":{"entity-type":"item","numeric-id":3024863,"id":"Q3024863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567704$C35D6288-842E-4F49-A1F7-144F76CDC2F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df053448a65992a80a8bb9dc3531ec74f75059c3","datavalue":{"value":{"time":"+2024-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6567704$E472AE45-E2EE-4DA7-917C-5E50CD7A6DE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567704$7BC127F9-CABD-4980-AB04-10A13C665314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567704$C581250E-22AE-4DF1-8285-608BA922B3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567704$762A4348-B5BC-4FAA-B199-BB076F9CDA9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99a2613e728b0cf7a98fc39d89bac1bce25376ad","datavalue":{"value":"7876653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567704$CFA308BC-DC96-4DDB-AB35-2A15D5612309","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":"Q6567704$F3EDE94A-1817-41E3-B7F9-1D07635B89D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec0740a92ec07b82f6680bea4a0c47122938b295","datavalue":{"value":{"entity-type":"item","numeric-id":3024864,"id":"Q3024864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567704$94220407-9E11-4013-8578-30FC4E759609","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c144ed542b5c404c266d6b5e306646b6a961dc9c","datavalue":{"value":"10.1007/BFB0105397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567704$99E831F6-DE48-46A2-BDB4-645A4A1E496E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9970926fb663e97cfa6d9724fe0af1a4b64d0fda","datavalue":{"value":{"entity-type":"item","numeric-id":3044257,"id":"Q3044257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"524bfa4a92cfa190642bf048592f2df8737f8e1d","datavalue":{"value":{"amount":"+0.8048446178436279","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":"Q6567704$E4DEDF3B-E791-410E-AA94-8FFCEAB8F39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"616cae5d800f66ec3cc0448e54246f31830ffd0d","datavalue":{"value":{"entity-type":"item","numeric-id":4938617,"id":"Q4938617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29479f7680cc2a368d6122d945a100d1672a2d06","datavalue":{"value":{"amount":"+0.7780771851539612","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":"Q6567704$E95B4820-8DB7-4805-B4AE-50A653F8F8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a74d47acc8bb67d9f54d6e58f55cff4800aa4309","datavalue":{"value":{"entity-type":"item","numeric-id":5234693,"id":"Q5234693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89b438979936f55503568379a2945cc2dac403a8","datavalue":{"value":{"amount":"+0.7687802314758301","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":"Q6567704$F3164F80-94B8-4176-B487-A1DF7AB53597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34d457209a09985489ab96bb24b4900cf97b9ffd","datavalue":{"value":{"entity-type":"item","numeric-id":1330137,"id":"Q1330137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb8de559d8467dccbdcd2812361ed47aa0855382","datavalue":{"value":{"amount":"+0.7610105872154236","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":"Q6567704$FEBC3C5A-0BCF-4302-885A-56591D4B4089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da0dc97a7aa2c14a656f1307c103ef3c2d811bbf","datavalue":{"value":{"entity-type":"item","numeric-id":3789477,"id":"Q3789477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f427aa6befda149d773b734798be00b43018576","datavalue":{"value":{"amount":"+0.7576555013656616","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":"Q6567704$46535842-94CF-4D86-BDDC-E860844080CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6567704","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6567704"}}}}}