{"entities":{"Q3523184":{"pageid":5553088,"ns":120,"title":"Item:Q3523184","lastrevid":80636804,"modified":"2026-05-06T16:39:27Z","type":"item","id":"Q3523184","labels":{"en":{"language":"en","value":"A Monad-Based Modeling and Verification Toolbox with Application to Security Protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5318952"}},"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":"Q3523184$23EB2DAC-93E6-4EB3-A8C7-8AC67AD33C16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22b27e5b89b4d78f5f6acb8a03c4618898a0cbd2","datavalue":{"value":{"text":"A Monad-Based Modeling and Verification Toolbox with Application to Security Protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3523184$BC2F03B3-1B05-41D7-BF81-41259E9CE859","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a94c439d48fbd56f13823ce00c3ab258189c93a","datavalue":{"value":"1144.68306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523184$8CBE2B43-F3C0-47AA-8A7F-585E741CC0F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e5baf7f24cd27f76053d040f3109696bc92cc1d","datavalue":{"value":"10.1007/978-3-540-74591-4_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523184$4C88DCBA-D541-4DBB-A253-40F4E5DF189F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42fd711c82655f9391f9c9ac0883e7ae53c27ad3","datavalue":{"value":{"entity-type":"item","numeric-id":937299,"id":"Q937299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523184$68F0C341-6CAA-435F-A47C-8594FAF6E949","rank":"normal"},{"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":"Q3523184$888ABE15-D4C7-42E8-9691-70EABB943FC3","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":"Q3523184$027FBE04-D2E5-4039-8FDC-5A99043CA94A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20b7f535510e218ce28c7540c7cdc4660c15d850","datavalue":{"value":{"time":"+2008-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3523184$D69A3DFE-1FDD-422A-96A7-9E1421702DC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523184$D45AF34B-7D92-4C6E-88A5-FED3096CF1E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523184$D7946BCF-3226-45FB-A69A-17A6B307B21C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523184$2D1109AE-957A-4097-9C3C-70BE31719597","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"537a74b52686a20674b9d5874faf19538c092826","datavalue":{"value":"5318952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523184$403D79B5-F8F4-4FAB-A40C-FF3D499F8896","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523184$2E6B4DED-5F75-4C57-88B7-0F89939B349B","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":"Q3523184$EC86703C-2A65-4412-A76F-1EB08E5AB70C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"329ed05708145229959e0d1636087100de664b0c","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74591-4_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q3523184$EDBDA493-B7AB-4E96-84E5-575FE118C265","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b98e7db9c105213555e2607e411a7cf1bbadc6b","datavalue":{"value":"W1573822344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523184$56C0213A-E818-4F33-9A01-51090001F0B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7642fe6c4d163b7a2a3c47197d99daf3ae671bf8","datavalue":{"value":{"entity-type":"item","numeric-id":3183544,"id":"Q3183544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dfbffa246f8c7fe93bf6db772e7e5f1b293cbf0","datavalue":{"value":{"amount":"+0.7347683310508728","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":"Q3523184$B3768F91-9F33-4C89-9C71-9FAFF87505C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54920e5d8dee18995f0d1559550145f1e6c05a4f","datavalue":{"value":{"entity-type":"item","numeric-id":3543657,"id":"Q3543657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3046bc5c8cea5ac0886f8f32c70cc4e0eeb66d5b","datavalue":{"value":{"amount":"+0.7036300897598267","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":"Q3523184$CBE524C0-64ED-43BD-A6B2-6B099D9F3B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd21f140224c0c0d4665f28b9e9fefb23afa9cab","datavalue":{"value":{"entity-type":"item","numeric-id":1996433,"id":"Q1996433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96df379a0b2a264271f6029ba2bbe0ced2718c90","datavalue":{"value":{"amount":"+0.694105863571167","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":"Q3523184$8D90FDFE-B67E-4DFF-BF43-4305B736A55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad0b077a05f43e46ebb20a054225d3119e45453e","datavalue":{"value":{"entity-type":"item","numeric-id":5168878,"id":"Q5168878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b7ace60e39cd7c5300c3352ce9654f6cee96d75","datavalue":{"value":{"amount":"+0.6908494830131531","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":"Q3523184$2D30A397-636E-48FD-802D-284527D0A6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63bda19efaf800f4e3b6f858f26f9d4637199f04","datavalue":{"value":{"entity-type":"item","numeric-id":4823808,"id":"Q4823808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"980b4240ea0483e17ada97dba9ca5756ae4a391e","datavalue":{"value":{"amount":"+0.6841014623641968","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":"Q3523184$307594B3-0A89-4FAC-880A-897ED9989BD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Monad-Based Modeling and Verification Toolbox with Application to Security Protocols","badges":[]}}}}}