{"entities":{"Q2037985":{"pageid":2048727,"ns":120,"title":"Item:Q2037985","lastrevid":54041810,"modified":"2026-01-26T03:46:04Z","type":"item","id":"Q2037985","labels":{"en":{"language":"en","value":"Formal verification of Ethereum smart contracts using Isabelle/HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7370021"}},"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":"Q2037985$ABAC36C5-189C-431C-A530-01602343BD52","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"808ee1eb5995eb8c7390a4d77de0838e42778959","datavalue":{"value":{"text":"Formal verification of Ethereum smart contracts using Isabelle/HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2037985$D9019BE4-1226-4AFA-B60E-F3C612C9DA59","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"704e329f9b9682bfe9933b9019ff104f82d55b71","datavalue":{"value":"1476.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2037985$9ADB34BB-EE94-43C3-A5CF-F3DC229F614F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46087c136d523ba21254ed1f81b84ca775013752","datavalue":{"value":"10.1007/978-3-030-62077-6_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2037985$1102E9FC-24CA-4B85-8311-014CB98F6DE1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cb438ac63927cdcdba635c716e3a5f80096ca06","datavalue":{"value":{"entity-type":"item","numeric-id":2037984,"id":"Q2037984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037985$43613C82-69A9-433D-9714-93694DAD352C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43f9f8c6ba291230c6c736c75a1eee030d381d45","datavalue":{"value":{"entity-type":"item","numeric-id":280458,"id":"Q280458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037985$2B80E720-F26D-44A2-B9B5-1609F9839CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a84b60f04d7f3967bc1c5e6d2b05e98b9765d5f5","datavalue":{"value":{"entity-type":"item","numeric-id":265391,"id":"Q265391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037985$B3BE25D2-BF83-44AF-ABCB-C2AE58AD9CF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a1926b5e5d0313a397a856b5060f2ee4412bba3","datavalue":{"value":{"time":"+2021-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2037985$2F48F64F-C8A8-4AF4-B69E-B5AAF4D730A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2037985$9C64D2B8-2533-4F92-B044-C2C84521448F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2037985$C37109F9-4274-469A-8EC8-1DAB3DAFAF28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2037985$EA081EE4-72F4-4369-8533-9BB90E82E386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba3b6388bbe767ef78c0d7888f4f4981e50ddf67","datavalue":{"value":"91B41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2037985$A950AE62-230D-42A9-AEBE-D6D157828085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2037985$0D07D1F2-2207-4550-B743-5030E1F20441","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"477f757d8aa3ab8d1b886c8bf552117a71b1c36d","datavalue":{"value":"7370021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2037985$08924CC8-0D4F-4A4F-8011-60E094EF615A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2037985$36EE596B-FCF5-4178-86A9-B28F0D2F3588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2037985$7D6C4F36-C50D-41AA-88B6-B652561C3118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2037985$3E10435A-D6F1-45CA-BBD8-549BB390C651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ab1003dbaaaedecca41124d836f9f94d310f4e1","datavalue":{"value":"smart contracts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2037985$93CE46EA-03C6-4F57-8954-9B25D0F94BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc9fa8c14dfbe5a2f73e7c583aa247f87f338a86","datavalue":{"value":"solidity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2037985$16C21083-7F68-4EFC-B6B7-D46384F4095E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"338a6660b7274e28b2bc72de0c6e0ce399769f75","datavalue":{"value":"Ethereum","type":"string"},"datatype":"string"},"type":"statement","id":"Q2037985$73E4B0E8-1CB9-4DB0-BF15-802397E4B992","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":"Q2037985$6842834E-5707-4274-8A6B-0714488C7C68","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":"Q2037985$3D6327A3-E82D-4AEC-8C54-64D05E4BEE71","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"402c75b5a6224bcf2821c20aa1a047254b32e305","datavalue":{"value":"https://doi.org/10.1007/978-3-030-62077-6_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2037985$72754100-183A-46EC-81C6-B013035DDF70","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"abc0f243735436750a448bc7e273ab3f4f959ed1","datavalue":{"value":"W3097390987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2037985$5D3BD9C5-2B96-46B0-9545-BDC6D95EE732","rank":"normal"}],"P1643":[{"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":"3d38ad8e380e37b2826803a684ddae5ba254c436","datavalue":{"value":{"amount":"+0.8084059357643127","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":"Q2037985$55BA176C-A233-4BD1-88CD-6D4C73DDAEE0","rank":"normal"},{"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":"3c5c20238199460b1c7542ca007d950a20928f7d","datavalue":{"value":{"amount":"+0.7410698533058167","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":"Q2037985$A32E3469-6CB8-4E99-9CD8-CDA58C9F3B57","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":"01a7d8a4002802174ed17a535972618f65ee13fe","datavalue":{"value":{"amount":"+0.7353800535202026","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":"Q2037985$74053A27-3F8F-4C9D-A94F-2CE9A57598F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39f65332ba9a1682105d70d165c4313979901fc9","datavalue":{"value":{"entity-type":"item","numeric-id":2145351,"id":"Q2145351"},"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":"Q2037985$D80F0C06-27CE-4174-BECC-887D85D3E69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a794f79b0748633049bbc2cf0578ea23417ffe7b","datavalue":{"value":{"entity-type":"item","numeric-id":3460868,"id":"Q3460868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b6358b55dec72a819352b5ad4e222fca72d4989","datavalue":{"value":{"amount":"+0.7086611390113831","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":"Q2037985$FB9A1631-E62E-41AC-AEBD-EC3DD182B568","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2037985","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2037985"}}}}}