{"entities":{"Q6979813":{"pageid":21381921,"ns":120,"title":"Item:Q6979813","lastrevid":84029189,"modified":"2026-05-08T07:46:11Z","type":"item","id":"Q6979813","labels":{"en":{"language":"en","value":"Type safety for Isabelle/Solidity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8044878"}},"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":"Q6979813$05690EB1-BAEF-49D8-8E8F-993F728AA2A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c70055ac0b5151c921dd63d34d1f0bf30907832","datavalue":{"value":{"text":"Type safety for Isabelle/Solidity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6979813$5D84C18D-744B-41A3-B563-49567CD7F8D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1cefb89822da929b728d1fdaa8491c1a2352e9b0","datavalue":{"value":"10.1007/978-3-031-77019-7_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6979813$F006CD94-C200-4587-B9F3-8040837A036E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45957586730ddd0d538b0dd532e68eabe0b3cd35","datavalue":{"value":{"entity-type":"item","numeric-id":6550596,"id":"Q6550596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979813$DD5AFE5C-4056-4A5A-99A8-84CAA8ADF78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"245abfbd2ebe086645d2ffa7659eff42aa6961a0","datavalue":{"value":{"entity-type":"item","numeric-id":1675794,"id":"Q1675794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979813$C03D3067-C4E2-4F1A-BE9C-3FAEB6753474","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1dee5eef72567f68024f6e6f6a29dae74ed5cfd5","datavalue":{"value":{"time":"+2025-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6979813$C3C46100-956C-4A05-B897-4C5753B91E26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6979813$1BC584D1-7ABC-4B8C-A0D7-E799A0092279","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8947c020c0d876f696b7456c3439e53ea1c37ff1","datavalue":{"value":"8044878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6979813$4F7D0D37-72A4-4750-88C4-A737EFFE9268","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efce79918eb6695c12a657d79586fd5eccf3b28f","datavalue":{"value":"type safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q6979813$3711E815-F172-454E-8910-B61AF5BCB5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ab1003dbaaaedecca41124d836f9f94d310f4e1","datavalue":{"value":"smart contracts","type":"string"},"datatype":"string"},"type":"statement","id":"Q6979813$3F5D15CF-1106-44BF-AC0E-9709A7777440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ae835e03f84341c2e1277230dc6da2b1ee3ecca","datavalue":{"value":"Solidity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6979813$E19F8240-4090-4189-8EF7-0EC09AE3ECF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6979813$D5EE7CFF-0ACB-41C7-B34F-E35E5CC6B728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3de88c960c3b8aa35530f8aeccd93e79d705402","datavalue":{"value":"Isabelle/Solidity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6979813$8E25CAFB-6037-44B3-B2A2-4BE46F62AF5A","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":"Q6979813$044D391D-AD60-414A-968A-355DB8826E57","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"20edcd59bc17da043a934bc071def38938532f97","datavalue":{"value":{"entity-type":"item","numeric-id":4945200,"id":"Q4945200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979813$864D1D0E-2505-4521-BED1-6A02DD81DA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16031b2f14529eb3b286b8f9d5136e1d1f7c40a1","datavalue":{"value":{"entity-type":"item","numeric-id":4924418,"id":"Q4924418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979813$39F1ABD4-2250-4A5D-9ED1-B874DAE76DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e886384c65566837bcbc3944e915eee21f7d53f","datavalue":{"value":{"entity-type":"item","numeric-id":6166533,"id":"Q6166533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979813$79897D07-C553-43C1-8225-B44566F0395C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0422b28d4377d8ea7a4fabd74fec94a0b3bfd83","datavalue":{"value":{"entity-type":"item","numeric-id":831518,"id":"Q831518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979813$8B86C3DC-2E8C-4F7B-AE9D-9568731557E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979813$65421FB6-AAC4-4570-BC26-A60A099806EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e264974062f53b439460b85662778a60b49509d","datavalue":{"value":{"entity-type":"item","numeric-id":2926333,"id":"Q2926333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979813$5CB80641-63C2-4ECA-8681-B2A76440D19A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Type safety for Isabelle/Solidity (scientific article; zbMATH DE number 8044878)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Type_safety_for_Isabelle/Solidity_(scientific_article;_zbMATH_DE_number_8044878)"}}}}}