{"entities":{"Q5500550":{"pageid":7530110,"ns":120,"title":"Item:Q5500550","lastrevid":58591875,"modified":"2026-04-05T21:58:42Z","type":"item","id":"Q5500550","labels":{"en":{"language":"en","value":"Modeling Bitcoin contracts by timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6471301"}},"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":"Q5500550$8212EC58-8574-45B5-B3BC-EB2F712031FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"012eb643f3e0ccd96d0d1885eb077831993a1799","datavalue":{"value":{"text":"Modeling Bitcoin Contracts by Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5500550$160B174A-9853-43CD-9E9F-FB4BAE37CBB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e82a6e5e2ad73bf52ffecd7385c0fb47e3b256d","datavalue":{"value":"1448.91328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5500550$173A5B2B-480D-4858-984C-116892D91F01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78dddaa4063d7287d07f524a9710a10a1a7b4dd8","datavalue":{"value":"10.1007/978-3-319-10512-3_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5500550$5B2EF70C-0621-443A-92AC-D60EE3B2C78B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a346bc568c4c1f5ba9163f5bed683f4bb30d9a96","datavalue":{"value":{"entity-type":"item","numeric-id":2790049,"id":"Q2790049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5500550$ECF306DB-B178-4286-B76B-6748BBFE3B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0041b5cb42e001610b0a8aee4692b3ead6196f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1690187,"id":"Q1690187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5500550$F8C7E494-3179-4F26-85CB-1BA7F3808030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1953ff3d59870c4245b7a4d2ced3a0f00d830d1","datavalue":{"value":{"entity-type":"item","numeric-id":1705710,"id":"Q1705710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5500550$B9EDBA91-C651-4FB4-913F-991706B1BFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"866a0384ca7d66804a6207b55d948c5d1fc46033","datavalue":{"value":{"entity-type":"item","numeric-id":2670858,"id":"Q2670858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5500550$1F0A63BF-87E0-4CE5-BCDE-E104B93AD2C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5500550$69280BD3-6B47-45E2-879C-702974C99313","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"740d35fe9c4d597c0c2badb44e584c1da64170de","datavalue":{"value":{"time":"+2015-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5500550$88F5080C-51C9-425F-A969-38908CFD449E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a31ad9f4ccfa5ec8873c23b2c96c986ec9652bf0","datavalue":{"value":"https://arxiv.org/abs/1405.1861","type":"string"},"datatype":"url"},"type":"statement","id":"Q5500550$1A22EA6C-0C32-4611-957D-6F25FAC061AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ee61d12d8ac50f86a0265856e85b664dcd7fc0ad","datavalue":{"value":"91G99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5500550$CF3843E4-F5C5-439B-B71B-AC69B1ADE71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5500550$07FF7CF3-BB73-4DA9-BCE1-5120753D1EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5500550$EA2ECDEF-2025-48F3-B0F5-B6E167FE376E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5500550$31E4B938-D1D6-44C5-AAEB-E553B535FC3F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32db6a616f22135415d5ec281ffaf01df0acec79","datavalue":{"value":"6471301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5500550$166665D0-E45F-47DF-AE3C-83DC3D458AE4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"eb2c90728e8b46d0860dbac97e855d1621fd35fa","datavalue":{"value":"Q111687910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5500550$6EA574CB-FD4F-4778-BC54-FF08622437D7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"facdf200105caa9a8346d7f6e980c631ef5276ce","datavalue":{"value":{"entity-type":"item","numeric-id":14142,"id":"Q14142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5500550$0FECAEAE-9E14-498F-9734-660DE2D6211C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5500550$226674F0-D50C-433D-BDB1-01463E353317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5500550$BC4A4042-572F-4911-8993-BEAA01E10BB2","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":"Q5500550$B41D601F-D21C-4F17-AE33-C530D09BC6A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd489e91da1406ec8d565706816bcb14834349ee","datavalue":{"value":"W4993390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5500550$D5FA92B7-CA8C-4296-B9BF-604132D83F71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd9a04c923fe7eb75498c9bf17dc180095aa96d1","datavalue":{"value":{"entity-type":"item","numeric-id":2152024,"id":"Q2152024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f44694e6432f3608802104c76e70a544de66440b","datavalue":{"value":{"amount":"+0.7153427004814148","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":"Q5500550$BB676FB5-47C9-4A22-B4AA-C87A2324FBD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"495bde3dabf8e769368cd60baa64b58edb1e71ad","datavalue":{"value":{"entity-type":"item","numeric-id":908043,"id":"Q908043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f330211584739d01d206aee9ff81aedb701055e5","datavalue":{"value":{"amount":"+0.6969572901725769","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":"Q5500550$BB45A9E1-BB00-4B19-B357-C8B94F6A2B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08e2ba82ffeee85629f0b5cd78f8bfe0a49f768f","datavalue":{"value":{"entity-type":"item","numeric-id":1799610,"id":"Q1799610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae3576feddf50cf93afafc4b1704149af3b44887","datavalue":{"value":{"amount":"+0.6889523267745972","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":"Q5500550$EF7D6572-5A66-4C9A-8BF7-805658342A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cb2aa9308d80cd8fc63814129287490d706aab1","datavalue":{"value":{"entity-type":"item","numeric-id":2874551,"id":"Q2874551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fecc2d065cf390b179801447c29fe0354e8a0b48","datavalue":{"value":{"amount":"+0.6828011274337769","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":"Q5500550$3A17B6DC-8433-4081-B865-48B84EB1240D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44171efd335114462b0e7d73698e729034262c62","datavalue":{"value":{"entity-type":"item","numeric-id":2948386,"id":"Q2948386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1674e1832a3082acf1a02f22e1e0a1114a30016","datavalue":{"value":{"amount":"+0.682709276676178","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":"Q5500550$BBD79725-99CD-4673-ABD4-ECDA9AD85309","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5500550","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5500550"}}}}}