{"entities":{"Q3176380":{"pageid":3187090,"ns":120,"title":"Item:Q3176380","lastrevid":86386514,"modified":"2026-06-03T19:53:29Z","type":"item","id":"Q3176380","labels":{"en":{"language":"en","value":"Model Checking Security Protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6908888"}},"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":"Q3176380$0696CC01-6B81-44D3-8FD8-3DC904BBC68C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ea1aa55517889e0e0c64c1413f27e4880a9840d","datavalue":{"value":{"text":"Model Checking Security Protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3176380$E749B355-12BC-4E6F-8F7F-2E1DF9A607CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51cc06f779ccb7ab18f3224ffcf189fa7478eef9","datavalue":{"value":"1392.68228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176380$83039FF6-E32E-4B66-A4BC-B3F8B8CBB707","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"97523896f3949b8933ed9396a066e8180e92f664","datavalue":{"value":"10.1007/978-3-319-10575-8_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176380$E8922565-6EA4-4186-B40F-CB1C88036BE3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c71d300b782446b6b37501a598b7cff0cbb855f6","datavalue":{"value":{"entity-type":"item","numeric-id":3176358,"id":"Q3176358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$1CB1566F-8432-481C-8AD4-F4CD3748354D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"14df3d82559b6ebe5d0cc96241f3d08d6077f97e","datavalue":{"value":{"time":"+2018-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3176380$74C3C441-29D6-426E-B31E-89DD15334EE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176380$C4821734-D5D4-4AEB-AC6F-70C7F8E9DE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176380$825C02E6-AF9B-48A8-BFC3-4D6371642E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176380$1FC71076-4EE4-45AF-9A8B-ECC2449AD40E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c3a0c7d07cee80f39408011f3b6ae122fceb709","datavalue":{"value":"6908888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176380$74B3566D-661A-4334-9230-73A8BE32A1C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69ad79c07c2956f1777e7c914202daf6884a50fe","datavalue":{"value":{"entity-type":"item","numeric-id":1332774,"id":"Q1332774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$8322BEED-626F-48C2-8D27-284BB59A902F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"626a9b830ab0405e34ce41f06e9590680e8a3ebe","datavalue":{"value":{"entity-type":"item","numeric-id":860903,"id":"Q860903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$3C071000-7B37-433C-9514-1CA1CCB5D542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"893d4e95bab3f0a7b3894fc03f5329d8bc74115a","datavalue":{"value":{"entity-type":"item","numeric-id":831946,"id":"Q831946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$F293E2D3-C821-4823-88C2-650EFC542BB6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fea93917e6a5dd3b24dcb498614b8cdda44d5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":15278,"id":"Q15278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$CC42EF8D-DF21-4B07-B73B-1A9484F68DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"973cd15e22c791df17eaceaf230998dc9777a5b0","datavalue":{"value":{"entity-type":"item","numeric-id":18650,"id":"Q18650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$74791D49-0362-4011-B557-CC2316FC7A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf9c412bd42d2219c5ccc9fa5bc104e6ca4c4107","datavalue":{"value":{"entity-type":"item","numeric-id":21452,"id":"Q21452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$B6A25F34-86F9-4A88-A923-A9BBB6832E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$6C58C846-4F74-44F8-AEAB-84F71157FEA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$9CF68F25-E4B7-4AE3-AECD-2B16550B696F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$09682F3C-25B7-4A91-96D3-CE35B7182FB5","rank":"normal"},{"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":"Q3176380$0BCCEC6A-1CCF-4A3B-8591-06FE36CE2AA5","rank":"normal"},{"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":"Q3176380$0311051C-11C8-402B-A9FC-6FBFC75BFA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"391de4a7403a58cfe989587b0bd79269a9793106","datavalue":{"value":{"entity-type":"item","numeric-id":24090,"id":"Q24090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$CF5D507E-D5D5-4151-9954-1F32A172CA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"580cc01f523eb259b29d75d715bd1b2876d59d0d","datavalue":{"value":{"entity-type":"item","numeric-id":15706,"id":"Q15706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$58CE6F96-97BA-4157-8F5C-F74868BF7C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"370b1d887d679924155714b84355ed741cc355be","datavalue":{"value":{"entity-type":"item","numeric-id":21449,"id":"Q21449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$9A6C5046-E171-4531-822D-1822A19DE7FE","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":"Q3176380$25E4297E-4D8E-40D4-9E8E-9ED16A435528","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c2937908dd71a4ea02b11bea1696a3abf4afc98","datavalue":{"value":"https://doi.org/10.1007/978-3-319-10575-8_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q3176380$8AB27CF8-746B-4BE8-B1D3-B99F4B1205CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f2c264ed70fd82d572ebce5e98bd419a02d9ce4","datavalue":{"value":"W2803681306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176380$8AA65A2C-06EA-441D-976D-F3674B5B1A33","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"737414dce6c255e1c801bd9ffb1616ecb5d1d9fa","datavalue":{"value":{"entity-type":"item","numeric-id":860894,"id":"Q860894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$9C47F4C6-455D-404F-83E9-545D58795B03","rank":"normal"},{"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":"Q3176380$E21EB461-D638-4AB4-8B5F-221E69B48F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac3d0411de33084e6bbde266c6c34fc18d1661e4","datavalue":{"value":{"entity-type":"item","numeric-id":2482454,"id":"Q2482454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$9E447F30-0C44-438A-8A85-5E7DF78AF867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500b7013db46803970c07a38c3e11d7b9fe62b46","datavalue":{"value":{"entity-type":"item","numeric-id":5716566,"id":"Q5716566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$F21BEACA-3AEC-47D7-B7EF-F3CB7BF88685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$5DF6E449-FF44-46C5-8E1D-773B0B924A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc97f546228c5c4ad050bfe934a2da9822d01f2","datavalue":{"value":{"entity-type":"item","numeric-id":1918503,"id":"Q1918503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$3C3998F6-FA31-4F44-9374-2A182F7D1373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f59e5b9ba33863b7a4b90fd61c0bf47d060abb4e","datavalue":{"value":{"entity-type":"item","numeric-id":5862666,"id":"Q5862666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$B8FAFAC2-4EE8-4353-9E81-D69A99190381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a26bcd6fef480751c0908ef6c2ce9444051e29ba","datavalue":{"value":{"entity-type":"item","numeric-id":5862528,"id":"Q5862528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$97CDBE25-C826-4BA9-A238-D9178F0C460F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d47c792bce043978651847f83cfcebe0cd1cc85","datavalue":{"value":{"entity-type":"item","numeric-id":2464139,"id":"Q2464139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$1E02BBF9-6F29-4207-A18E-604866B3AFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cc0d79a331330cac5e0e7d3248ad5c3b9b00cb2","datavalue":{"value":{"entity-type":"item","numeric-id":3176386,"id":"Q3176386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$8FA6EA42-770D-4D23-A2D1-87F7EECCB228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85be2d6dfe890728f391108e2e8309e87e45243c","datavalue":{"value":{"entity-type":"item","numeric-id":3586028,"id":"Q3586028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$479583EB-1E83-4A29-AF96-F7347D2AC65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0df3d5f9be2f459360a5c41c5b47c1878b5e7721","datavalue":{"value":{"entity-type":"item","numeric-id":2894318,"id":"Q2894318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$0F0FCAF3-DEB3-4F37-BAA6-DA1C2E64C121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c865eb493d620b857070ca84d76d0aa56101b2f","datavalue":{"value":{"entity-type":"item","numeric-id":2947004,"id":"Q2947004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$58AFBB27-C017-40E7-9754-F3B82F74DFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8514b32237b2217006c8699247d6e7859d630804","datavalue":{"value":{"entity-type":"item","numeric-id":5387865,"id":"Q5387865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$28517603-761C-4626-90C6-E0E4DF2632DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"953ac22e96758d943ce96f32303e3b02f5fd562e","datavalue":{"value":{"entity-type":"item","numeric-id":3183515,"id":"Q3183515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$2CECFC6C-33E8-48C0-8D56-52C9C8B29BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0c2adeed657e5d066494848492da920d3c0f772","datavalue":{"value":{"entity-type":"item","numeric-id":3636824,"id":"Q3636824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$7F3052D0-DB31-4DC2-B534-DA4EF9B8BBCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcd58ab5931b203c08a37c52970d4a81de79c585","datavalue":{"value":{"entity-type":"item","numeric-id":1013091,"id":"Q1013091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$39EF3B24-A463-44EC-A8DC-6BFD580756E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5248e1d096ce87474d9bd18b0fd8f9c460c7b6a3","datavalue":{"value":{"entity-type":"item","numeric-id":5899102,"id":"Q5899102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$EF85CB5F-3269-48CA-8BAA-9474E2BA53C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ef94cd854f261a03421632ce7dd586f76d29c7","datavalue":{"value":{"entity-type":"item","numeric-id":2474047,"id":"Q2474047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$FA2BFEE9-AF12-460D-BF31-FCB225B86125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1711164229e6dc20dce695a8548877209bf517a","datavalue":{"value":{"entity-type":"item","numeric-id":4934731,"id":"Q4934731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$00E27D74-B16C-490A-B6D4-D007EEF4D8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f97fb8355a267d4e3fc9b77ab306268640b715c","datavalue":{"value":{"entity-type":"item","numeric-id":2778861,"id":"Q2778861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$8D5FDF2F-F177-4EEC-B7F6-0B7B36993E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15bf8dc0860cd608277d5dad93fad76cecbb7d14","datavalue":{"value":{"entity-type":"item","numeric-id":5191113,"id":"Q5191113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$598D0886-338E-4A51-9A01-424BFA0C7865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$A0840673-2628-412B-82A4-8F77D88B3E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e506e4af8108702e5b9b9b42874a27b1aa643df","datavalue":{"value":{"entity-type":"item","numeric-id":5703857,"id":"Q5703857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$160F28A3-D01D-4386-9F38-135E5C96685F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4654966811e7c3e2be77b22c29c73834fc1bb2","datavalue":{"value":{"entity-type":"item","numeric-id":5305643,"id":"Q5305643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$2B73B7AD-FCB9-4E8C-A417-7D553DABEAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd2a66adde1572dd62844706f77b656f9ab64e2d","datavalue":{"value":{"entity-type":"item","numeric-id":2849571,"id":"Q2849571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$75D95219-2E86-4231-AE96-9D306C26BA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"766f3e64390acc4c220dfb9b10c7d0bad57454c8","datavalue":{"value":{"entity-type":"item","numeric-id":540683,"id":"Q540683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$71DE6979-441D-466A-B371-9E597EDB6012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3944d11f57df22916bf6d751f60919e8d5446f58","datavalue":{"value":{"entity-type":"item","numeric-id":3323837,"id":"Q3323837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$89B51242-508C-46A8-AA08-38F78A6E992B","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":"Q3176380$97AC32C0-2C95-4BF8-AFAE-D2D8F5449656","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":"Q3176380$9C6B4C79-4665-4552-86A4-DEACF750DB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2613520dd94bccb06517a96e46dc00cc2cb71a4d","datavalue":{"value":{"entity-type":"item","numeric-id":3184784,"id":"Q3184784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$EB3DA231-A15B-4A5F-B81B-5C1EE76FA303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c6788a4325e5a7583cda476d7916b51682b7ade","datavalue":{"value":{"entity-type":"item","numeric-id":5179131,"id":"Q5179131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$2B490C1E-BCD7-4021-BDC5-11E4F408BFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"624263a8eb8d9d028f56e76d8f831b4b43359cd2","datavalue":{"value":{"entity-type":"item","numeric-id":3731512,"id":"Q3731512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$7F78A2BA-0F48-41C8-95DF-B833C678CE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acde750dcd4daec62360360bf3b2fedea8cb76cd","datavalue":{"value":{"entity-type":"item","numeric-id":4536248,"id":"Q4536248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$E1453CB0-963B-4BA9-BF52-9208D241FA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092662f6c5e5c918be8d38fc112657e0d2efc93","datavalue":{"value":{"entity-type":"item","numeric-id":2849849,"id":"Q2849849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$ECC7BE24-6B5D-4316-BD5E-D7C3AA6F95A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5444099efaae25629d44930b0575a42c5cde1a5c","datavalue":{"value":{"entity-type":"item","numeric-id":3176367,"id":"Q3176367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$3C1E88B4-3211-4D10-A9C0-FE27DF1DE808","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":"Q3176380$3018B295-E45A-4CD9-9D58-EA6FD19C3D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5c1aa602e2ab6867eb09c994970bc604aacfee","datavalue":{"value":{"entity-type":"item","numeric-id":4718481,"id":"Q4718481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$6FE8E5CC-9591-41F4-8191-A5EB6EEEDE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa59beb40aa7d3a2b734c89736dae1963e615db6","datavalue":{"value":{"entity-type":"item","numeric-id":1007641,"id":"Q1007641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$7AF62784-9198-4F8F-8686-46813F4156D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fefd3695fc6c127353eeeaf9bb631916756e929","datavalue":{"value":{"entity-type":"item","numeric-id":4168037,"id":"Q4168037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$1F1D7803-2E29-4285-A451-69529687A5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7131dac0d66d9f310e3fc8e728a43b6e8a0e805","datavalue":{"value":{"entity-type":"item","numeric-id":3176364,"id":"Q3176364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$0BBDA997-49FB-42C1-A514-A651A6D311EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626d7a62e073def6cda0e756433e91c381c28af8","datavalue":{"value":{"entity-type":"item","numeric-id":1874404,"id":"Q1874404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$F89156E3-EC25-4AE3-9D06-EA7A56054AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00553ac092d6334e80ed96d2588d20d133dd4ed3","datavalue":{"value":{"entity-type":"item","numeric-id":1825190,"id":"Q1825190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$8443FAB6-D8F7-4F05-A0E8-CEB2E058B68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b9e8fec29b4866af88e22e240c709faf2edb39","datavalue":{"value":{"entity-type":"item","numeric-id":5308709,"id":"Q5308709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$2FE0E300-3CB6-4AF0-A5E5-C3B8BBB7D5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da2dafdf2dfdcbfcaeacd3e001ece10487835b85","datavalue":{"value":{"entity-type":"item","numeric-id":1910421,"id":"Q1910421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$555EAD37-7324-41B6-8A12-A93A5F51A318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37ce28ba231ab96eb63bacf761d7575dcc5ab0fa","datavalue":{"value":{"entity-type":"item","numeric-id":3527301,"id":"Q3527301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176380$3C221FFD-4126-4BD7-94C8-033039911D35","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f21b81adedc6ffb4bbf62eaf801da29e6d1778d","datavalue":{"value":{"entity-type":"item","numeric-id":5188173,"id":"Q5188173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1dc115d5bdab7ff55845216c9c2b9691db30872","datavalue":{"value":{"amount":"+0.9343946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3176380$65CD5159-06A1-44EF-8F75-7D5A49DE822B","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":"502ec939836a6faef27b25bc102175efc2aa8561","datavalue":{"value":{"amount":"+0.93088686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3176380$F03B89BE-4A06-4F0E-B74C-CDA1CDD9CED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1755c4aa7c37d25c04137607409c6626a15dff5","datavalue":{"value":{"entity-type":"item","numeric-id":4518909,"id":"Q4518909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"008b61a50a4a378766f954317598b1c399860802","datavalue":{"value":{"amount":"+0.92986375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3176380$71881BCE-226C-45D3-ADE9-37F0DDEF8127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2675d2f8bf4c3689f82a0ca3225df4d815fe213f","datavalue":{"value":{"entity-type":"item","numeric-id":2037999,"id":"Q2037999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4959ec27ee155977930b199dc54930982b1110be","datavalue":{"value":{"amount":"+0.9160081","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3176380$3F1F31F9-8DDD-4AB9-8383-D9F97330DA8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model Checking Security Protocols","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_Checking_Security_Protocols"}}}}}