{"entities":{"Q1707348":{"pageid":1718089,"ns":120,"title":"Item:Q1707348","lastrevid":53052335,"modified":"2026-01-24T03:16:32Z","type":"item","id":"Q1707348","labels":{"en":{"language":"en","value":"Formally sound implementations of security protocols with JavaSPI"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6854757"}},"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":"Q1707348$87C42EA6-7927-414A-AEE7-AE456D2919E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ac92e6a7cba63d0622e10daf9040a8a974988f2","datavalue":{"value":{"text":"Formally sound implementations of security protocols with JavaSPI","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1707348$EB0BD47C-A797-4F69-917A-4C8EAB919D53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9923dd95d0819b34be9d0c326be2a3c734889e59","datavalue":{"value":"1382.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707348$279CFDB2-BC38-4697-A9FF-DC1499E47563","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e83c8694ba1f707ddd070fb09ddacf727238e1bc","datavalue":{"value":{"entity-type":"item","numeric-id":931440,"id":"Q931440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707348$98E712E8-3E4A-41A8-8250-10A49FCD8DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"069375b4859e56333b8a2674674ee8c2116cf7f9","datavalue":{"value":{"entity-type":"item","numeric-id":1707346,"id":"Q1707346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707348$40A69E99-2D27-4B97-A39B-0D0D8EB32495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cae58ff22de54e1e3d3b1ff9fb02197d07d0a5f","datavalue":{"value":{"entity-type":"item","numeric-id":1707347,"id":"Q1707347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707348$E6B82D99-9BCD-44D4-B766-3C5DA9B8C8A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efbffc0f1126c0188823dcc61ef6f5e383fe567b","datavalue":{"value":{"entity-type":"item","numeric-id":540180,"id":"Q540180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707348$445379BC-FA80-478B-8D49-52C5EF2F62F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707348$C4543A3B-B4A7-43D4-A3C2-0581918C166B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dd3c7a1512e9f937cd8f2a23c9198445c7d7808b","datavalue":{"value":{"time":"+2018-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1707348$EBD39986-F530-473C-AE69-0BBBB5FDF7C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b53ec747e2c702571d0fd0b2b5d2db6a99b81f0","datavalue":{"value":"http://porto.polito.it/2695975/","type":"string"},"datatype":"url"},"type":"statement","id":"Q1707348$596A18D7-6E6E-4B1B-B28F-E71B961553CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707348$CBC4BBB5-B014-4C0A-9DFF-7250CC74A2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707348$AB63AE7E-8E9C-4836-9D65-AAE1D67D50EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707348$F47F193F-84AB-4D1D-A154-0201E463D18E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"630014130d8689566081bc0195bbf04b222dcfae","datavalue":{"value":"6854757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707348$6CC8AC06-2B4B-4E55-9317-3AA1C57DCACA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7156857ffe92ce842aee3549f498ec9de33be1f7","datavalue":{"value":"security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q1707348$0B31DED5-BEDB-4C04-9905-99FF9F59BE1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1707348$2E370D04-AB8D-461F-8873-25F441970AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1707348$28DAA43B-8FF2-4D30-B503-8C167AB941C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a19b2f2ec7f82b71ed63c3fa1dff5135fde5e8e4","datavalue":{"value":"model-driven development","type":"string"},"datatype":"string"},"type":"statement","id":"Q1707348$1F6D828B-E878-4519-ABFF-1C6B75E96681","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"00cf03651bc2da4c75010ca8a501baab876d69b1","datavalue":{"value":{"entity-type":"item","numeric-id":24678,"id":"Q24678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707348$822F645E-977C-425D-8913-F5083EF71209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"06727156bdcdb8fa6ebece193f9bdf813b752de3","datavalue":{"value":{"entity-type":"item","numeric-id":36100,"id":"Q36100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707348$A3DD56FC-5C8C-4C43-B667-4B7D4F8E0F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"49d6848fbc5b690685b4f7fb098259495636628d","datavalue":{"value":{"entity-type":"item","numeric-id":42587,"id":"Q42587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707348$606E7510-DE8B-4E04-B2EC-D04E6AE6DE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5742e1a3ea467ecfb12290e55658c61e1169fe2f","datavalue":{"value":{"entity-type":"item","numeric-id":14828,"id":"Q14828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707348$35A014D3-642C-42F9-B738-D6965E8B772B","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":"Q1707348$EB61CC2E-7E4A-4B6C-BABE-CD4401A9A8AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b2ca5dd70468563abadce70abd90ce13311035a","datavalue":{"value":"W2773994137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707348$9D2D81E0-B7A7-4241-91D8-889D0043CD0D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707348$90CEE387-7427-484E-9F0B-454A41A57062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a6027468ee6b0aca44d81edc7a0ca83c91789f5","datavalue":{"value":{"entity-type":"item","numeric-id":5447364,"id":"Q5447364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707348$CA65290C-392E-49A2-828C-0B72DEA33859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa7f031d6d727b90e310edbea6cedd35fb1a76c8","datavalue":{"value":{"entity-type":"item","numeric-id":5326754,"id":"Q5326754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707348$6E3D375E-E6AF-4742-BF1E-77835F92818B","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":"Q1707348$9CF9E4EC-C66C-4004-AEA5-79F820878CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b9341bc2119f8bae06b56c722f436b52fd858e9","datavalue":{"value":{"entity-type":"item","numeric-id":897107,"id":"Q897107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707348$91D73DC6-7DF0-4912-A402-AB807093CD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e75305b5642f9030ec7f9e0d860eb9ded13110ac","datavalue":{"value":{"entity-type":"item","numeric-id":2764140,"id":"Q2764140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707348$DDD78661-CB58-40B1-BDF9-31905CF3BFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632b68803dcd638d27ffe90ba03cc0d0191f736a","datavalue":{"value":{"entity-type":"item","numeric-id":4443488,"id":"Q4443488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707348$877DB46D-0CB9-4E33-B20D-2317B4B144E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8b31472641f5188315211fd32fbcdd8337fbb9e","datavalue":{"value":{"entity-type":"item","numeric-id":2018750,"id":"Q2018750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707348$08AA22EE-7548-4F0F-9DA5-20C390A284DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b846c54f37884aba34a9d3f580600f3f99f39da","datavalue":{"value":{"entity-type":"item","numeric-id":4551154,"id":"Q4551154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707348$A0A961FA-BD94-48F3-839E-8CE52D2000E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"884dace429039ef453acebfa352c6a6d16bfe0e3","datavalue":{"value":"10.1007/S00165-017-0449-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707348$04D17D66-FE38-453B-B0D2-28FD75DE98F5","rank":"normal"}],"P1643":[{"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":"12655020d7f636ca30579fa0f9e35a13a0f23bee","datavalue":{"value":{"amount":"+0.7829760313034058","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":"Q1707348$688BD19C-B5F8-461E-808E-DB5C1958E210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ffbb5752e472ea67659fe4187b3136bdc0db11b","datavalue":{"value":{"entity-type":"item","numeric-id":4817044,"id":"Q4817044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d617e860c144bd82c89e99e0f3f14db31f5fe72","datavalue":{"value":{"amount":"+0.7337633371353149","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":"Q1707348$AE44E778-0C1F-4AD4-A483-A1A727CEF3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f15de9b507b05171794cd39d4afcd4922902dba0","datavalue":{"value":{"entity-type":"item","numeric-id":2849866,"id":"Q2849866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d392b5e777a1eccdf65ec4d58c11dff4ad663b8c","datavalue":{"value":{"amount":"+0.7322950959205627","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":"Q1707348$D76F3A80-0C87-4E3F-BB31-41CC1C9B96CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a6c5b064e194d2cfda5b9786389d9cfbed9f0ca","datavalue":{"value":{"entity-type":"item","numeric-id":5506380,"id":"Q5506380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"884d28842d90a19083c484dbffd4af69087cfedb","datavalue":{"value":{"amount":"+0.7265421152114868","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":"Q1707348$EE6EA8F6-5186-4660-BD30-33842736BC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53d7c4c10cd6e660c280c5b961ec5da97080dc18","datavalue":{"value":{"entity-type":"item","numeric-id":4484506,"id":"Q4484506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"220f96568f4f8e35784413dd07b8aeac1177bda9","datavalue":{"value":{"amount":"+0.7250906229019165","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":"Q1707348$45019D4E-8687-4A23-B1B5-73A7B823E3AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1707348","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1707348"}}}}}