{"entities":{"Q6851453":{"pageid":20605381,"ns":120,"title":"Item:Q6851453","lastrevid":84268262,"modified":"2026-05-14T10:38:43Z","type":"item","id":"Q6851453","labels":{"en":{"language":"en","value":"Type safety for Isabelle/Solidity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8166042"}},"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":"Q6851453$EA26CDA6-56B0-4A92-B7B2-0062A5E5ABCE","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":"Q6851453$B7AB74BF-94DD-41F4-BD04-82D30C05B5D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e070a89d2c5d4da83de288002d0c792d10bd583","datavalue":{"value":"10.1016/J.TCS.2025.115632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6851453$2D7D5D46-AA72-4387-982F-B5DF0BD41F80","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":"Q6851453$BE4FDA5A-3382-4122-A13A-293C08133BDF","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":"Q6851453$0255EE33-EC24-4718-B337-7ED2B9400519","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6851453$AE539E50-C1D4-4699-86EB-50093FEA0452","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"455f298c112ba20f52f406cc26c4adef06de280f","datavalue":{"value":{"time":"+2026-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6851453$A8F79BFD-15FB-467E-A912-AF8D045773F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6851453$F451988B-4805-4300-8D92-F643CC3E8E2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4259d8a622eb8b8bcb4682e1e2e54647dbb7268","datavalue":{"value":"8166042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6851453$6BBE7853-9C6A-46B8-9757-1B14635E0B0E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efce79918eb6695c12a657d79586fd5eccf3b28f","datavalue":{"value":"type safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q6851453$639504C4-0121-4E8D-9051-B7B09517A8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ab1003dbaaaedecca41124d836f9f94d310f4e1","datavalue":{"value":"smart contracts","type":"string"},"datatype":"string"},"type":"statement","id":"Q6851453$E84316EE-A7AB-43DB-9686-A7124B2F671A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc9fa8c14dfbe5a2f73e7c583aa247f87f338a86","datavalue":{"value":"solidity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6851453$0048A736-65A6-4602-8E81-2282900E5FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6851453$1D098EC5-47A5-44CC-85F3-36494DE39847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3de88c960c3b8aa35530f8aeccd93e79d705402","datavalue":{"value":"Isabelle/Solidity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6851453$78A306BB-A93A-43C6-A7D9-6343EE984A9C","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":"Q6851453$ADCBD59D-B718-4F67-AB42-749D58EC85E9","rank":"normal"}],"P223":[{"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":"Q6851453$C63715EF-50F2-4A89-B79F-CE9A8C34B119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22815e51af18115540cdcd90226b70c1fb3a4f40","datavalue":{"value":{"entity-type":"item","numeric-id":6979813,"id":"Q6979813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6851453$998341F3-B8E2-4E2A-9ECD-8EF8A725B64C","rank":"normal"},{"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":"Q6851453$3FE9970D-A0D4-4C89-B428-45FD675BE226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a386259d7b6de278f96d59178a0ebe00c941a927","datavalue":{"value":{"entity-type":"item","numeric-id":3543657,"id":"Q3543657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6851453$ABE74D3C-BCA8-47E6-BAAE-B9C0B7DFE746","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":"Q6851453$367FE6C9-9132-4539-BCEE-B66A6C642D1C","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":"Q6851453$671B708C-86FD-4F9E-84FB-7D767F532033","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":"Q6851453$75340F56-3091-4A7E-B09F-8D1A4A3EA3AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Type safety for Isabelle/Solidity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Type_safety_for_Isabelle/Solidity"}}}}}