{"entities":{"Q2104490":{"pageid":2115233,"ns":120,"title":"Item:Q2104490","lastrevid":56991585,"modified":"2026-03-25T13:39:20Z","type":"item","id":"Q2104490","labels":{"en":{"language":"en","value":"Using automated reasoning techniques for enhancing the efficiency and security of (Ethereum) smart contracts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628177"}},"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":"Q2104490$D82F7287-4D9B-4DEC-858E-F78EF912C490","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8dbd392d999a3bb2256eff2db48009979ce09777","datavalue":{"value":{"text":"Using automated reasoning techniques for enhancing the efficiency and security of (Ethereum) smart contracts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2104490$EB311181-69DF-470A-8952-A2EAE517F938","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"053a7b1f1ab80415b0559a35d1f8153180016348","datavalue":{"value":"10.1007/978-3-031-10769-6_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104490$B5948650-798C-4379-A7E3-4B5504F107BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db02a25ee0188485f9ab7c84ccd406f8866487b6","datavalue":{"value":{"entity-type":"item","numeric-id":232928,"id":"Q232928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104490$11E98B52-5DF9-4FB7-9ADF-3029156C0C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b77a8a3d336c7b4650a71f9a1a9ec352c9fd6988","datavalue":{"value":{"entity-type":"item","numeric-id":2104487,"id":"Q2104487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104490$B3973BCF-66C4-47A9-B2E2-6F8329AB8166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d96917f51417ae569996572e26578f53fb4f85","datavalue":{"value":{"entity-type":"item","numeric-id":2104488,"id":"Q2104488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104490$F361C957-EF92-4505-B944-1C05C180AF7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9c95561e69f75f67dd524cd0dede16a399bc23d","datavalue":{"value":{"entity-type":"item","numeric-id":2104489,"id":"Q2104489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104490$89F5E17F-B74B-43E4-993E-8903562B6AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"076f42ceb107ac95ece0987fd254ab37feda8487","datavalue":{"value":{"entity-type":"item","numeric-id":352976,"id":"Q352976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104490$A7068A7F-310D-4D0E-B006-5617920FAA30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2104490$843F445A-C592-4F59-955D-D5CD7934B473","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104490$378E3848-0D9C-48E1-AAD9-F2205CEAFB1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"074855538193a13b2953145062ae37f608673546","datavalue":{"value":"7628177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104490$FE474F4B-AC1A-43CD-B693-63D8284DC435","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70398488323b15f30c019fb982ad3bd411f7c2d7","datavalue":{"value":{"entity-type":"item","numeric-id":54599,"id":"Q54599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104490$51D1C3F1-7A62-44BF-9361-73C7322128E6","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":"Q2104490$22302629-60EC-4572-940F-5485FB20C94F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71b0401f782653697ed530757ea1ccaef260b77c","datavalue":{"value":"https://doi.org/10.1007/978-3-031-10769-6_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2104490$BB76FE69-26C1-4951-B0A0-9CE5BC1A510D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6449c8e69917c027421ec6461eee6e32bbe727b0","datavalue":{"value":"W4289104011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104490$4A9CDD37-0249-4BDA-A7B7-B46EF176EC70","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b37643a3545fe9216eae39a7ff6e2fe8829ee7d","datavalue":{"value":{"entity-type":"item","numeric-id":6043167,"id":"Q6043167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104490$608F97AE-E7F5-4532-BE0C-5365B43C02A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67737023899dd2252d79885f477a3601bda6d265","datavalue":{"value":{"entity-type":"item","numeric-id":6114261,"id":"Q6114261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104490$2E679FF8-F0C0-4404-AE23-E6816ACFA9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a26d3287ece83271cc7c5e695d831a30b246650","datavalue":{"value":{"entity-type":"item","numeric-id":2324210,"id":"Q2324210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104490$769F8100-8495-4C11-BD3D-8E7023094C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0fa053f93ceee34040b4a938760557f2a3f364a","datavalue":{"value":{"entity-type":"item","numeric-id":5458339,"id":"Q5458339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104490$BFEDA3C5-DA72-4328-8F29-046AE06FDC00","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104490$5B74A8F4-5594-4CA8-936C-5680494FAF90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2104490","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2104490"}}}}}