{"entities":{"Q2145369":{"pageid":2156112,"ns":120,"title":"Item:Q2145369","lastrevid":43587640,"modified":"2025-10-27T21:36:40Z","type":"item","id":"Q2145369","labels":{"en":{"language":"en","value":"A formal model of Algorand smart contracts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7543949"}},"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":"Q2145369$BF868C30-FB86-4520-9B46-CD3B2FC56083","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46d89ba50e867c5ac90046be0f7f34d579cb7750","datavalue":{"value":{"text":"A formal model of Algorand smart contracts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2145369$C3A489F1-A1A3-4562-A3F8-AFC1793C8F50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec417546481236e53e116079820b8a6e48a38471","datavalue":{"value":"10.1007/978-3-662-64322-8_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145369$FF944CA5-729A-45C7-93A7-F2D2F069EE96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e15ca605d00a4af5ed8da0f068ee3a907ba12187","datavalue":{"value":{"entity-type":"item","numeric-id":272302,"id":"Q272302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145369$C2A616D0-419D-4487-838F-B4E5BA3275ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ae369af57669e5ec8b7819be59bf6e141567dbb","datavalue":{"value":{"entity-type":"item","numeric-id":959789,"id":"Q959789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145369$9EBE5F14-0C05-4CF2-9B9B-986890000643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48139af76fe2df947258df88db5d1833ec717f21","datavalue":{"value":{"entity-type":"item","numeric-id":2145368,"id":"Q2145368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145369$383CFDD7-53F0-44D8-8FAB-286384BE2155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7db45ab69e7b3a1b0a8d84dd02ef96ed4983970","datavalue":{"value":{"entity-type":"item","numeric-id":347374,"id":"Q347374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145369$09CC7174-9640-4ADA-BBBE-C6E3268F163C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a751071b0313e5681b1cf45b8f62e17bbb1a8c7","datavalue":{"value":{"entity-type":"item","numeric-id":272305,"id":"Q272305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145369$0931157A-D51F-4E1C-B14F-312DD498386E","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":"Q2145369$69E4104D-B2FA-4F32-B26F-06D8DBE0E5E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d43cb9654bb9d63a39f820bb73550b1eecb1d1cc","datavalue":{"value":"https://arxiv.org/abs/2009.12140","type":"string"},"datatype":"url"},"type":"statement","id":"Q2145369$0AA639D7-7F68-4F30-844D-1B2B1FD2EC21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145369$3D221C7E-9449-4703-B03F-B2C785207973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67f3ca9b3bd691b92521af2d3320b682ae995ec0","datavalue":{"value":"91Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145369$CE9BD1B9-393F-4AE3-9A7D-63ED4A086CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145369$72F0F78D-776A-4649-A26F-029CEF3686DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca6617a51597ee892565e995abe508137aeb7633","datavalue":{"value":"7543949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145369$481DD6F8-FC73-46EC-9F6A-D531DF4A038F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d4e990b2d287b7f9778ac18c641f945bec3904e","datavalue":{"value":{"entity-type":"item","numeric-id":1352529,"id":"Q1352529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145369$8169EDBA-45BF-42CC-8979-442FD4B97D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145369$E636901D-9B24-43C8-A06F-9D3735113D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145369$274A91DE-3088-4DD0-AED9-00C4033BC76C","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":"Q2145369$A1200B03-F819-4FC5-A400-751A42010A9D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2cd196d76c7fbdbbbf209e5866c24a42fe10bcc9","datavalue":{"value":"W3209686889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145369$617A2066-5DBE-4073-A381-422FBF17165C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb0239564a9b0ddb9414f71e78f0fb90a4f559af","datavalue":{"value":{"entity-type":"item","numeric-id":5500550,"id":"Q5500550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145369$56D60D7A-9803-47EA-8194-1C22C1AAEC74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4b678e989f0d282f71d74daa416580082130fb","datavalue":{"value":{"entity-type":"item","numeric-id":2874551,"id":"Q2874551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145369$D292FB3A-184E-4AA8-963E-5F60B7A67BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c84b7127659298204650cd8ef2874743b0d442ec","datavalue":{"value":{"entity-type":"item","numeric-id":2422025,"id":"Q2422025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145369$A81118A6-F5CC-4168-A49E-BB96083FC40C","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":"Q2145369$2F7451B4-A863-44AC-972B-E7A23F4A9701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d87dad6e62b395cf1fd11ba6de1ea0a3cd13d5d0","datavalue":{"value":{"entity-type":"item","numeric-id":1799610,"id":"Q1799610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145369$1BE5FDED-64BD-4B76-9DF6-7660C78F520C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2145369","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2145369"}}}}}