{"entities":{"Q5302878":{"pageid":7332452,"ns":120,"title":"Item:Q5302878","lastrevid":50538785,"modified":"2026-01-14T08:18:42Z","type":"item","id":"Q5302878","labels":{"en":{"language":"en","value":"Transformational Verification of Parameterized Protocols Using Array Formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5491960"}},"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":"Q5302878$C139F3C2-B689-4139-B4DA-ACE5EAF1FC3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42238ed283cc4ae70ef4ca48b0c0043f13fb3713","datavalue":{"value":{"text":"Transformational Verification of Parameterized Protocols Using Array Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5302878$BCF4E264-686F-4733-8E78-5DFC873C2022","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07b14c2be45f7fbb8526526e291d5f37fd2f2253","datavalue":{"value":"1156.68474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302878$01D8AC91-6532-4895-B9E3-F5313006F057","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18d392b2103b1e565b816418d8b2f02ef0a90f89","datavalue":{"value":"10.1007/11680093_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302878$8A8F6F77-EC90-4A76-9C7A-87438C6559F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a87226e249edb34abf2b072fcc5b9b500b03b478","datavalue":{"value":{"entity-type":"item","numeric-id":673495,"id":"Q673495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302878$D3BF9D44-CB70-4AEE-A32D-734267F99FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b380511e08624421de73be74130c083d2234aa7","datavalue":{"value":{"entity-type":"item","numeric-id":673494,"id":"Q673494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302878$DD9B1677-49EF-43B0-9494-AE12A4A71B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9431f83a4f8857bb74e3ca69031f854d9b027223","datavalue":{"value":{"entity-type":"item","numeric-id":1941872,"id":"Q1941872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302878$A0EE6830-058D-4211-88FC-12A04BB1C7D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b30e253b497c9ae83eb323a9f6b0623853ce927","datavalue":{"value":{"entity-type":"item","numeric-id":3079910,"id":"Q3079910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302878$5C9EAC41-15C7-41D8-9792-49889EA74FA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e26e6c2a83c3157baf46ffe4a8d556736cf88fe","datavalue":{"value":{"time":"+2009-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5302878$F2D88F85-2415-40AD-B79A-CD515082B39D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302878$D3CE244B-DF76-4E24-8F64-4508110BC27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302878$FB70C3C3-C7C3-4F48-B217-BC341FF40BA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b13b8fa0cd80be08b529c13e2cf037a0a62d0f84","datavalue":{"value":"5491960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302878$8F824804-01C3-40BB-92C7-5179FFD6652E","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":"Q5302878$BB478479-9DB5-4EF0-B895-E1798112C8AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01de672358aae6f96957f8de16610ca0be8d2b18","datavalue":{"value":"https://doi.org/10.1007/11680093_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5302878$84527204-A5B9-4DDE-81AC-C1EE04D117E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16216b713307a20f279e90869ab2ef04f2bc50f4","datavalue":{"value":"W1862280384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302878$9AEC1C88-61A1-449B-8273-31AFEAC16B9B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12d154a43f7e6aa5e3800b26e99db5f589b7eba6","datavalue":{"value":{"entity-type":"item","numeric-id":5712550,"id":"Q5712550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d08868a43bc3764ec1eccca54be1a479b5a9172","datavalue":{"value":{"amount":"+0.8112083077430725","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":"Q5302878$59EDB671-0D21-4599-A837-CE40120FD6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f284b16a2afee30940b5ef7c2361f8cb8e04521","datavalue":{"value":{"entity-type":"item","numeric-id":4551131,"id":"Q4551131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"825dc8ce943e507a04518f19278681d9abb0096f","datavalue":{"value":{"amount":"+0.8050126433372498","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":"Q5302878$732A368B-83D6-4023-A961-A74A17F53A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d0d9c8c75cc0dd87f540d9305c74e9994ecfa5b","datavalue":{"value":{"entity-type":"item","numeric-id":5701513,"id":"Q5701513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc7e8b76962e2aff0c15eacdf92ac357460368ef","datavalue":{"value":{"amount":"+0.8014606237411499","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":"Q5302878$5E8F8E02-F05E-43A1-B789-B6A4CFBED9C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1605c8cde63a26cc99cdf1e45db7f42c3dd9bf93","datavalue":{"value":{"entity-type":"item","numeric-id":4518894,"id":"Q4518894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e70f71f21f33841299f4f2f3ca2f0991b6bce45d","datavalue":{"value":{"amount":"+0.7936981916427612","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":"Q5302878$191CBEB6-636A-49C6-9963-242F81EF3B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa7d0b42894fe54330b5ef168d2df979a0e92fe7","datavalue":{"value":{"entity-type":"item","numeric-id":2709807,"id":"Q2709807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91c84bad117597143fa8eb85c952cbaf95ac4184","datavalue":{"value":{"amount":"+0.7797102332115173","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":"Q5302878$41496A9F-010B-4785-9FAA-E547BEA7FB3C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5302878","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5302878"}}}}}