{"entities":{"Q3369006":{"pageid":3379710,"ns":120,"title":"Item:Q3369006","lastrevid":49782721,"modified":"2026-01-10T16:57:35Z","type":"item","id":"Q3369006","labels":{"en":{"language":"en","value":"Formal analysis and parallelism in protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5005281"}},"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":"Q3369006$38EB74CC-FC44-4471-877A-4E9132DAF1A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18760985c31f6cd7f5acba4ce85326cd0e423c05","datavalue":{"value":"1114.94011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3369006$031FA144-2B59-43E0-B04D-2624790704CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"13f9aeffeba99dcf2f4a549a6515ba2bfbac7419","datavalue":{"value":{"entity-type":"item","numeric-id":322184,"id":"Q322184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3369006$1872ABD2-910F-4AB1-A76C-364BECDD1419","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a3127a2a24d4f242f0a715fc65fd656f67f2bf2","datavalue":{"value":{"time":"+2007-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3369006$34FFAE83-D6CA-45A7-BB66-96EABF211F7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3369006$4671E428-3FA5-467D-B73D-5D1DFEECCEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3369006$6F1BC59A-5899-4799-BF30-92BC8D0A298A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb18c2ef6163aa9dcb3272865efe169b4efe3c9a","datavalue":{"value":"5005281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3369006$CE77529A-78DE-4152-8D7A-ED3C8A1278EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26852e62a89689e7d4ead334a2523749d2837df2","datavalue":{"value":"formal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3369006$3AA1F7D2-B4E7-4C9B-B6CC-6180C1FE52D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfe3f0bac507a391d6af0ecadf50a8d66d818200","datavalue":{"value":"protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q3369006$026086B3-9FD6-4E91-B0A9-AFA696E38F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q3369006$77B4C8D8-56BC-480A-8872-7607FAE930C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e24806f75b34da3a5ecce267ee1f1369ba30c1b5","datavalue":{"value":"attacks","type":"string"},"datatype":"string"},"type":"statement","id":"Q3369006$43651182-C94E-4A18-9977-75C9AD62A1D8","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":"Q3369006$7B77E4C3-B188-4AB9-AD20-D6FCF2369D7C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcb53a38dda1321f08f99665db94c1a82ea4dcac","datavalue":{"value":{"entity-type":"item","numeric-id":2201275,"id":"Q2201275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30a44a024f1d438400734d1c368198b4912eb848","datavalue":{"value":{"amount":"+0.7677561044692993","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":"Q3369006$5059815D-9BEF-44B6-823D-DE82FFAADC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4728f033b9eecc38d9266006b96c245a2f757784","datavalue":{"value":{"entity-type":"item","numeric-id":4328967,"id":"Q4328967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b060a088f6a71179dda04c601285528dd907ceab","datavalue":{"value":{"amount":"+0.7522202134132385","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":"Q3369006$E85FC951-0102-42AB-AFBE-55BD0F566957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b81dd5c7ad198a64fb52eeb77fffdcbb8cbae7e","datavalue":{"value":{"entity-type":"item","numeric-id":4817437,"id":"Q4817437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78b6058f7efa29192a46055fe1edf6bfd049860d","datavalue":{"value":{"amount":"+0.7518605589866638","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":"Q3369006$E93B0D91-AFEA-4878-B14B-4CD56D92D882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4809be8c457cac7dc5415b4ffbf7673377e61edd","datavalue":{"value":{"entity-type":"item","numeric-id":3613472,"id":"Q3613472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a6371a801ee46ece8409e19546e903c9ae15a4a","datavalue":{"value":{"amount":"+0.7515138983726501","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":"Q3369006$AC0AB936-C439-4098-AD6E-AE82BD0D122B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59caa49b08ca36d2fcc757573350b49e3a31e65c","datavalue":{"value":{"entity-type":"item","numeric-id":4656171,"id":"Q4656171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0c6b42b73ba9f0a5f1872c0d2b4878302411f05","datavalue":{"value":{"amount":"+0.7460934519767761","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":"Q3369006$01DD255F-F777-4F6D-812F-3D6BE95DD189","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3369006","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3369006"}}}}}