{"entities":{"Q2145351":{"pageid":2156094,"ns":120,"title":"Item:Q2145351","lastrevid":57751464,"modified":"2026-04-01T06:47:42Z","type":"item","id":"Q2145351","labels":{"en":{"language":"en","value":"Compositional verification of smart contracts through communication abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7543926"}},"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":"Q2145351$2110E4FC-6D5A-4A7D-8997-84EE2D4468CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bda9a0a4d9f7dddaff521755a24091c8bc3e521b","datavalue":{"value":{"text":"Compositional verification of smart contracts through communication abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2145351$001D66FA-E7F6-4156-B771-6916040F0337","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bdd43cfe7ab6d3e9e68893d6a11b32e51c25dc83","datavalue":{"value":"1497.68321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145351$E6DF26AD-C9D1-41EB-B568-53142BE0FB19","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6064fc7e4e7bcee4432ac2437c7089058a061f18","datavalue":{"value":"10.1007/978-3-030-88806-0_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145351$0F949DD0-59EE-4876-A1F6-CF3C711C30C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31ee4f621bf336444ce525493d00edb3db19d3a3","datavalue":{"value":{"entity-type":"item","numeric-id":2145348,"id":"Q2145348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145351$AAEED605-7267-4A41-83AD-137B7D17CEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8e38342e6d11b01a571d41939a71d79db002190","datavalue":{"value":{"entity-type":"item","numeric-id":2145349,"id":"Q2145349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145351$0E324E6C-868F-4757-909B-D71F229618DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5550b21aee483dbb24692a75c93bc496cb05eeac","datavalue":{"value":{"entity-type":"item","numeric-id":453515,"id":"Q453515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145351$00A9CA94-923C-4BF3-BC29-9DCA97C8578F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f34b2a4a88de19fb0376553c5b86fa81036b86df","datavalue":{"value":{"entity-type":"item","numeric-id":2145350,"id":"Q2145350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145351$EF909B48-7C90-4EFF-9F14-6FCB64B5F066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"697eb087dc816293f4ade2b72dca7f3d4888f3b9","datavalue":{"value":{"entity-type":"item","numeric-id":246144,"id":"Q246144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145351$6D97B7FC-EBA0-433E-93DB-620454351225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc9aa5bf3e043aca79ceea7f9b6e24e591eea899","datavalue":{"value":{"entity-type":"item","numeric-id":264988,"id":"Q264988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145351$0EA771A2-0477-42CC-9BE8-512D84435F2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb05ecdd4c1bc9bc017712b48f5ce5d7c83890d5","datavalue":{"value":{"time":"+2022-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2145351$5E2C0910-1420-419C-8533-F84B21DDCACD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"641d94334b525a9509b8c3fd2cfebf1fcb02ac82","datavalue":{"value":"https://arxiv.org/abs/2107.08583","type":"string"},"datatype":"url"},"type":"statement","id":"Q2145351$23A1F3AC-A7F0-46ED-976C-C8567626787A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145351$48D3082A-9F12-466E-9323-1CE7722A67F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145351$0EA537E0-9876-45AC-980B-F51E394DB701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145351$BB40AE86-0DEC-42F2-A834-E1DEFEA5F8C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8c6e7ae20305d415601a4309c017f2ed69c9703","datavalue":{"value":"7543926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145351$92F8320A-A471-4E75-98EF-1525A3F28103","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"69f362165978cbf04e5b5460992bc38f4ae05985","datavalue":{"value":{"entity-type":"item","numeric-id":30117,"id":"Q30117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145351$03C94785-309D-4197-B0A3-F3BB8D097923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"764fbb351bb6238ee72713179cf73fbb48c2133e","datavalue":{"value":{"entity-type":"item","numeric-id":5973748,"id":"Q5973748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145351$09A4A029-8DE8-40C3-B9B6-DFC5FEDDE7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc2900cd59ff57bcd3dc518002c683ed78c70551","datavalue":{"value":{"entity-type":"item","numeric-id":1351434,"id":"Q1351434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145351$E8860A38-C1A6-4E74-A0E7-AF4D64681D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7ca29e053e0dc9d14cd2c6ebbd486e9d800df12b","datavalue":{"value":{"entity-type":"item","numeric-id":53392,"id":"Q53392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145351$4AA6B6AB-33D6-49E2-A596-9D701702A454","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":"Q2145351$8DDAC8A3-618B-4006-A546-953ED7F8B23D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16245e67d381856f38f738b8cb7f55ac1c2fa10a","datavalue":{"value":"W3206384689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145351$63B7A014-34D4-48CE-ADA4-3FDFB7E8DC5E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9685be4042ed67a73d0b08e5d765a9ad207daad","datavalue":{"value":{"entity-type":"item","numeric-id":2926658,"id":"Q2926658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145351$584F93EA-E2CB-46F9-BB36-A2A91C34B5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99f2f3e32b730a1afbfa6597f16ef5ef9f093f3c","datavalue":{"value":{"entity-type":"item","numeric-id":5898614,"id":"Q5898614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145351$A2774458-A69F-429A-9A20-8307D8B152E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be4c10713dc8a049bf69c817dfcde9c9cf557e4","datavalue":{"value":{"entity-type":"item","numeric-id":5696925,"id":"Q5696925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145351$DCCA2773-00F1-47EE-9AF5-25D7ADD8E0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50117cb48ab95c677369baf0ef05034ff33b7baf","datavalue":{"value":{"entity-type":"item","numeric-id":5901911,"id":"Q5901911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145351$5108E853-8F73-4DC8-A8B7-3EDD4C56B02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47725b472606f4bada0befded8523598e0fad82a","datavalue":{"value":{"entity-type":"item","numeric-id":4302808,"id":"Q4302808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145351$1988E1C6-9CF0-4229-8D38-E2C59A1D5367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2768bf8a06740f15968dcb91e83d15f35832498e","datavalue":{"value":{"entity-type":"item","numeric-id":2926642,"id":"Q2926642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145351$0EF8B0DB-9671-48D2-ACAE-27BB40F56838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c67c1af8188e320ba0299a6df2df39f5b6e776e","datavalue":{"value":{"entity-type":"item","numeric-id":4068060,"id":"Q4068060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145351$1C7CB79B-B08B-4C30-B024-3C0CC7D79387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3a2fdde3e3bc917abe418faac8bebd409eae2cb","datavalue":{"value":{"entity-type":"item","numeric-id":2272926,"id":"Q2272926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145351$672F1746-0A29-4158-B27D-F9CFE4AA0542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145351$2032CB10-272B-46A5-B266-2E8E8994AEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d97d0e39fff4eb32f474a84cfc3cf8ba9ad1d378","datavalue":{"value":{"entity-type":"item","numeric-id":2769579,"id":"Q2769579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145351$1E78F07D-4E35-477C-91E2-D907C1B94AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f68d91e282ac35cf04ccf22caa69e2e9918a0cec","datavalue":{"value":{"entity-type":"item","numeric-id":5308382,"id":"Q5308382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145351$E2DEFD77-0A2A-44E4-B7B3-A75DB20F57DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd146a38b85611416c8dad7a10cff10dddd6e2a2","datavalue":{"value":{"entity-type":"item","numeric-id":6166532,"id":"Q6166532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24a791d06c8cfe8d53df7c89a51fe8aabd720b40","datavalue":{"value":{"amount":"+0.7534742951393127","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":"Q2145351$A768D775-A0A0-4586-9E43-1A640DD4EB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f31d9877e8e9252a217ac2033fe49676a3c5473","datavalue":{"value":{"entity-type":"item","numeric-id":2038066,"id":"Q2038066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d05f7f7ddcfee0fe877724655183384cd368f14","datavalue":{"value":{"amount":"+0.7162492275238037","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":"Q2145351$BA1FDE87-7DBD-4EC0-98DA-722C4E9EBA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8d397aac04163a80deb8e7a9130df58a2e7b03d","datavalue":{"value":{"entity-type":"item","numeric-id":2670859,"id":"Q2670859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d1b25e3053fd5cd1946b01d8edfd024e3e8c97f","datavalue":{"value":{"amount":"+0.7157560586929321","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":"Q2145351$BF69C8D7-5297-4344-A8B9-6F7EBEA242FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e843ab43499d7b08397155d0a1aad256fc475fe","datavalue":{"value":{"entity-type":"item","numeric-id":2037985,"id":"Q2037985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bef9821e5152b4e442e70d0ba9c948b8bbacdb6","datavalue":{"value":{"amount":"+0.7154102921485901","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":"Q2145351$20C9B146-089A-43B1-B3F7-1AF361AEA8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c26f96a6982b15613a12494c1d5d9810be3a0b5d","datavalue":{"value":{"entity-type":"item","numeric-id":2324004,"id":"Q2324004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8722b8a008a977cf38adedae6c388c3f13dc41e","datavalue":{"value":{"amount":"+0.6824690699577332","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":"Q2145351$5569309E-1654-44C4-9C98-1722BE4DAD68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2145351","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2145351"}}}}}