{"entities":{"Q3608895":{"pageid":5638801,"ns":120,"title":"Item:Q3608895","lastrevid":50592404,"modified":"2026-01-14T12:19:28Z","type":"item","id":"Q3608895","labels":{"en":{"language":"en","value":"Integrating Verification, Testing, and Learning for Cryptographic Protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523899"}},"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":"Q3608895$527C6A47-08AD-4F56-9FAF-98CF03D1E3DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c6ed7fd70e84402011f9c69842fd825e524c877","datavalue":{"value":{"text":"Integrating Verification, Testing, and Learning for Cryptographic Protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608895$798E9FFB-F9F6-4A6F-8C6C-23FFC8C20C5F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4b53ca5df4d211f148af99fc8785bdd1821bbce","datavalue":{"value":"1213.68387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608895$3D96790F-7082-4177-9775-ACD4855D592D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5e4cfc9c86155f209efa01c4f6828987b18affc","datavalue":{"value":"10.1007/978-3-540-73210-5_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608895$4D91365F-3C4D-4E15-8ED5-2A3C4DC65A7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c183090fe444b6ce6ac310ce96aaf75302471bd8","datavalue":{"value":{"entity-type":"item","numeric-id":235621,"id":"Q235621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608895$FE1EEB43-9CE8-400E-8E44-903F8E8DDC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e6276f2b5f5afd85d3b3b6bb8e4fd8cf82500e8","datavalue":{"value":{"entity-type":"item","numeric-id":493520,"id":"Q493520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608895$97E2452B-1D2A-4DA6-A1EC-FCAE6FB6A82A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6a8f7adba98d7ff3d1c6566c18ba7973a806312","datavalue":{"value":{"entity-type":"item","numeric-id":239143,"id":"Q239143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608895$1D1D6AA6-3745-45BA-9BED-A9FB3C685F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3779edbf72e4ff347299569deeda197872a2ae97","datavalue":{"value":{"entity-type":"item","numeric-id":1856164,"id":"Q1856164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608895$92BACF30-897A-4240-9A7B-86EE28B08368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cca7caa26c1edecee311baf10734f3d68d8795b","datavalue":{"value":{"entity-type":"item","numeric-id":960854,"id":"Q960854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608895$F65CFF7F-E3CF-44DA-A9ED-53BA02F690CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608895$5C7430C5-C33F-4922-9103-2D1CC83E0D1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19a1026dd4f6172034494e7235e1c6afaf15c529","datavalue":{"value":{"time":"+2009-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608895$EA20F253-5717-4370-A738-60631324BDD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608895$774EE7E2-91EB-4543-971F-76F60C25E939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608895$C99F2FD3-9FD6-4DDE-99AE-B6788FD953F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608895$68A8EDA8-C7BE-4D01-9B43-73237CC43EC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"585effc8897dc2512e3b9bcbd9f94ac0553c7d95","datavalue":{"value":"5523899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608895$13766EC1-B03A-42BF-8B36-336A855CF56E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15db61fa432026488c4ff63cfec65b45cbb00638","datavalue":{"value":{"entity-type":"item","numeric-id":18651,"id":"Q18651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608895$B34364D5-92CA-40DD-855B-B66EC3E179CA","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":"Q3608895$A0A5F838-126B-4F82-86BA-FA6F8FA51185","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd8e850a1590e070525c33841b51a68a2c4c7727","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73210-5_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608895$D0A49C67-C788-4D38-9C62-3C8824410635","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"80ff1b3a52ab7beb5b8f5215ec8cec43b366297f","datavalue":{"value":"W2124294776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608895$FB549E4C-B90F-4C9A-878F-A567D6120F5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d16fae76134ed98db17fb13d0a9777f13eaf36f","datavalue":{"value":{"entity-type":"item","numeric-id":4411970,"id":"Q4411970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d2a0082aa8084658401339473cc3dfb9a2ab8e8","datavalue":{"value":{"amount":"+0.7546094655990601","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":"Q3608895$FE600AD4-684C-401F-A7C9-8D0F43707427","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":"c58f0dd4793b385fe5aa3d41e4815948935b8a63","datavalue":{"value":{"amount":"+0.7415508031845093","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":"Q3608895$4E6DF215-6B30-46FC-BE81-C8F0A89E91CA","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":"3c3de255393a1137f35911b253d97bb3484bbf63","datavalue":{"value":{"amount":"+0.7407165169715881","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":"Q3608895$0384B2F8-A05A-491D-A177-A8ADAF09CFA2","rank":"normal"},{"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":"3c3de255393a1137f35911b253d97bb3484bbf63","datavalue":{"value":{"amount":"+0.7407165169715881","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":"Q3608895$70D8CA3C-599F-40FA-994F-5C682A718CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf8b23a0b2fd124c38331ebc84a0ba81b7c95758","datavalue":{"value":{"entity-type":"item","numeric-id":5447364,"id":"Q5447364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f879be778d1684426d98e050ae6e573f606b9ac","datavalue":{"value":{"amount":"+0.737847089767456","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":"Q3608895$A4BE42C3-B6D1-4263-9D44-ADC7D534F1E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608895","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608895"}}}}}