{"entities":{"Q1603658":{"pageid":1614398,"ns":120,"title":"Item:Q1603658","lastrevid":74125236,"modified":"2026-04-14T18:30:35Z","type":"item","id":"Q1603658","labels":{"en":{"language":"en","value":"Finite-state analysis of two contract signing protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1767869"}},"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":"Q1603658$C40FC9E9-2ADD-4C3D-BEA4-27A7A497CFF4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2e99aad07014b4907eae5d35ff168c99460c0f9","datavalue":{"value":{"text":"Finite-state analysis of two contract signing protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1603658$EC99C854-D373-4583-AF7C-4BD6D0A0A277","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ddec301efc79010d343af8037b9d456b54a0bc6","datavalue":{"value":"0997.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603658$A98FFB23-21C8-499A-B3C9-50DE701B448F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da68a0086c4c8e1dd9a444ed9a8f81fdb2acf421","datavalue":{"value":"10.1016/S0304-3975(01)00141-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603658$72C86D59-853A-4EFE-91B3-104E93FAC764","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8567dfa1bdbad1c8813ddd9fc5ad71719f33c4e4","datavalue":{"value":{"entity-type":"item","numeric-id":1603657,"id":"Q1603657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603658$B3DC7615-8CF5-49B3-B799-BEA7C0113BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7b0bfbbcf5657a8b101c8d9d79e6747c41c0556","datavalue":{"value":{"entity-type":"item","numeric-id":276486,"id":"Q276486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603658$3D5615E4-E8A2-4ADE-96A2-AECF7CA75EFA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603658$3A288059-3C9F-4E4E-B859-A7F9CCCF5A8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb77668c0bac74ac5ea553fa2146ed5e736444f1","datavalue":{"value":{"time":"+2002-07-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":"Q1603658$B078B166-02B6-4E38-9EF7-6CA007664818","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603658$19B810DE-0773-451E-8718-AB18E64F917C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f0fb3d4fa3973b5d91b35756c04aba209696424","datavalue":{"value":"1767869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603658$3CBFD973-5358-41D4-B22C-DC1245CC0BF1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"198806c59e37372f0e3456be07622ad581fb0135","datavalue":{"value":"protocol analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603658$BFD4F5BF-4927-45B6-931F-78461ED3FED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603658$8E2BEB49-26E9-4B5D-B38F-7BAD187F46D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69cb5b80a51dbc244355ba0347eda2b70b5d2ced","datavalue":{"value":"finite-state analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603658$0D66416B-2EFB-4DBF-9873-1BDAACE467A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603658$D4868804-0970-4450-883F-03D20484A407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0cae911eec3d832f62a20e69d6dd8e326e533b1","datavalue":{"value":"fair exchange","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603658$EBC6E809-BA90-411B-B348-42A0B04CEA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0c5ddcd325cbefd220710fa31a34929570df006","datavalue":{"value":"contract signing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603658$1CAD31E1-888A-4F57-A322-798508E0E052","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1cb9415da33ef4439e31401604aca35afdaf65bf","datavalue":{"value":{"entity-type":"item","numeric-id":24089,"id":"Q24089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603658$CC487FF9-ED73-46AF-9D53-DF7CA7F707DD","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":"Q1603658$3D66AB68-0231-4186-BB6F-94C2F2EB4F94","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9b1c2c13c532bb27040e0956c1a227708a34e12","datavalue":{"value":{"entity-type":"item","numeric-id":4249668,"id":"Q4249668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603658$95A99335-B702-4D6E-BE8C-731D47AFF210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9afd4fa313d72573c9bd3f393fea2eaa1326a6b","datavalue":{"value":{"entity-type":"item","numeric-id":4418589,"id":"Q4418589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603658$0CECAB9D-4859-4B50-A2FB-DB545A7FEBD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"866a275b4e983bbafdfa9e0d9f54c6f384a1a9d1","datavalue":{"value":{"entity-type":"item","numeric-id":1903345,"id":"Q1903345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603658$C7D0C18A-F790-44DD-819E-6E695A1B567E","rank":"normal"},{"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":"Q1603658$03F9AAEC-E045-4D7B-97C8-D254006E5F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c57812e74af3f4595ba6da7deb0e99cde5c6671d","datavalue":{"value":{"entity-type":"item","numeric-id":4934628,"id":"Q4934628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603658$46C89705-087D-44EC-B82F-7550418F503B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38169c652726b928f44ac0f28fe76aea72d62095","datavalue":{"value":{"entity-type":"item","numeric-id":4941873,"id":"Q4941873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603658$CADBFD82-CB53-4B9D-BAA4-A968E81F4564","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":"Q1603658$CA880C33-4D57-4D72-B258-10C0DC0B0DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d71a27202baa0ed69d2b59af2ce9512b037b47c","datavalue":{"value":{"entity-type":"item","numeric-id":1330137,"id":"Q1330137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603658$E2284BAF-1027-4AB7-852C-9110A6EAFD5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc6419f32a05f369ee14fa6f7687547de9a08ab","datavalue":{"value":{"entity-type":"item","numeric-id":3128627,"id":"Q3128627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603658$111AFD11-B263-466A-8B46-E7E8A1B09F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83476cf37d344b4dc06cde931dd3a0751869cb33","datavalue":{"value":{"entity-type":"item","numeric-id":4536296,"id":"Q4536296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603658$E39D20EA-9EF7-4F8E-B1CF-88FDED83E275","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32ab142b2dc69f59bce538aaa32a129643da1b6a","datavalue":{"value":{"entity-type":"item","numeric-id":4536296,"id":"Q4536296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6793c4c2bf835f73eb7fca14903ae4bda3c6fa38","datavalue":{"value":{"amount":"+0.9550061225891112","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":"Q1603658$D9C70E56-D668-4B0C-B7A3-2752BF55AC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20171bd6bd66b8690810e7e9530e70d3b9472b23","datavalue":{"value":{"entity-type":"item","numeric-id":5900577,"id":"Q5900577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cce55d62f1da33328221506ef8445c708eb0208","datavalue":{"value":{"amount":"+0.8507550954818726","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":"Q1603658$46EF4DC1-92D0-4D22-B1F2-A8F7325DCE09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d35e87420d73c6f8a83c9e7f67a785a011ef3c20","datavalue":{"value":{"entity-type":"item","numeric-id":5448628,"id":"Q5448628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d38a60f910db3b32755cd784176f0cd99f36aaf","datavalue":{"value":{"amount":"+0.8480790257453918","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":"Q1603658$9D5CACAB-1379-49A1-86C1-E24113F956E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66a18a540fc1fa8f57fdff34e577d8f089727d8b","datavalue":{"value":{"entity-type":"item","numeric-id":2336896,"id":"Q2336896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfd9eed2aaf87377fe5cb8bdd76ce52295e1416d","datavalue":{"value":{"amount":"+0.8450716137886047","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":"Q1603658$465FA719-BE38-4380-BA29-F918617898E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"630023deff7c779b98814ea7e22fec1f538a53c0","datavalue":{"value":{"entity-type":"item","numeric-id":861699,"id":"Q861699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68ce1b413628daba6acbd7187623c45009265050","datavalue":{"value":{"amount":"+0.8414782881736755","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":"Q1603658$88BD2C09-C80E-4321-829B-F0EF63D056BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite-state analysis of two contract signing protocols","badges":[]}}}}}