{"entities":{"Q2670830":{"pageid":2681573,"ns":120,"title":"Item:Q2670830","lastrevid":57977967,"modified":"2026-04-03T07:51:21Z","type":"item","id":"Q2670830","labels":{"en":{"language":"en","value":"Formal analysis of composable DeFi protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7535908"}},"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":"Q2670830$BCDE23C3-0153-45F9-9126-A95116E074C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6e72ea77622d5f11b435367257c2def6b185179","datavalue":{"value":{"text":"Formal analysis of composable DeFi protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2670830$4B22FE01-115C-4F7E-8AAB-24E710B8000D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba1ab5d0e244b2b99d122ba31c2d6eedd603d2a4","datavalue":{"value":"1492.91461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2670830$8F1F12B1-23ED-4FBD-B93D-E787D6F6C273","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed14a7954e1e18d38b5173771e07519e3c8311b3","datavalue":{"value":"10.1007/978-3-662-63958-0_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2670830$72FAE0A0-879C-45F6-B673-E8D160995816","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"487fe9585f761e4c7f91534784c1ac756e8bd93f","datavalue":{"value":{"entity-type":"item","numeric-id":2670829,"id":"Q2670829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2670830$A776CAE2-78A3-44AB-A1C0-E2A8C1D50F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8e543ed9331e4e9f3da7e47e39d3af59d472a0a","datavalue":{"value":{"entity-type":"item","numeric-id":202115,"id":"Q202115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2670830$74168D6B-AF49-49A3-855F-CC423C165DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3208ee20c85d475090d794dc3c7087da944dc6f","datavalue":{"value":{"entity-type":"item","numeric-id":488228,"id":"Q488228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2670830$96E0A92F-8444-4E1A-8895-8AF985DD534A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e755b5dc9f4979397d0df2f5a71bc2bf917f598a","datavalue":{"value":{"entity-type":"item","numeric-id":1716559,"id":"Q1716559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2670830$B557CF46-E099-4719-9E50-B565B055F3B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb692f3299cf1c6e4f6dd07056e2a0cdf9e7c22a","datavalue":{"value":{"time":"+2022-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2670830$36C605CF-33C2-434A-B890-91CC69D0B8E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ca269183b3069d8ea9d08b7c965361dfb355e1d","datavalue":{"value":"https://arxiv.org/abs/2103.00540","type":"string"},"datatype":"url"},"type":"statement","id":"Q2670830$AB2FD19E-A53C-4F3F-8460-3616228DC065","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ee61d12d8ac50f86a0265856e85b664dcd7fc0ad","datavalue":{"value":"91G99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2670830$3F98C39A-6B1A-4D88-A853-06CAEF2DCBCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2670830$CB894E66-BD26-4784-8AFF-BA78DF27FCBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c5bc858a4ba6f3279a3e3fd19b088bf52519b62","datavalue":{"value":"7535908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2670830$BA6D5B4E-CAA4-4F79-BF13-15B40E5776F6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1dd46d323628a51f1021dae05abebe32218151a1","datavalue":{"value":{"entity-type":"item","numeric-id":25174,"id":"Q25174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2670830$829B271E-6487-4317-A2D1-F825E9B87926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bde88779cb6e7d8c59bbc11141f6f12a921e132b","datavalue":{"value":{"entity-type":"item","numeric-id":25173,"id":"Q25173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2670830$2B36280F-5C54-4848-9F6B-C8A25A0EFAD7","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":"Q2670830$B6BCADC4-2537-4A76-A757-E2427520F613","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"326bc88c495907909eaa514fa400dac79db2cb87","datavalue":{"value":"W3201673073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2670830$12FA4E8F-0E32-4244-8934-D63F8DF69797","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092a4684ef7778dba1ddad2618a794c87412cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2670830$E873C7DA-AA81-4A51-8D3E-ABAA01238364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2670830$7AC5575C-E68B-49E6-A80A-832104B8DB60","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9bf1bc86a4be6b46b7078564d47a154622ca2c0","datavalue":{"value":{"entity-type":"item","numeric-id":2670835,"id":"Q2670835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f1638a19a61cd433ac03ef75c5e6530c2ce6687","datavalue":{"value":{"amount":"+0.7389092445373535","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":"Q2670830$016BB25F-9F60-469A-AF57-641485042D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6cebf066b5cf9d1d4e6e8f8fb1754f246306c4f","datavalue":{"value":{"entity-type":"item","numeric-id":2670876,"id":"Q2670876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f2b1631e027b4038b4c6b2a3d6b0eef95bacd50","datavalue":{"value":{"amount":"+0.7306948900222778","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":"Q2670830$67D22A49-CCA4-407B-8DA1-E2B9FD84BC50","rank":"normal"},{"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":"dbd79fca0b3f92821ea030e4afda9ba9ae2c7c28","datavalue":{"value":{"amount":"+0.7171446681022644","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":"Q2670830$8CC20F16-F1D0-4676-BDA4-A8F68942E5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e843ab43499d7b08397155d0a1aad256fc475fe","datavalue":{"value":{"entity-type":"item","numeric-id":2037985,"id":"Q2037985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c359e40e3b51881f10921016a22b29df9bdd7faa","datavalue":{"value":{"amount":"+0.6944162845611572","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":"Q2670830$779B3AF6-A01D-4447-BB06-C4122F4BE576","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2670830","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2670830"}}}}}