Matches in Wikidata for { <http://www.wikidata.org/entity/Q62046284> ?p ?o ?g. }
- Q62046284 description "2015 nî lūn-bûn" @default.
- Q62046284 description "2015年の論文" @default.
- Q62046284 description "2015年学术文章" @default.
- Q62046284 description "2015年学术文章" @default.
- Q62046284 description "2015年学术文章" @default.
- Q62046284 description "2015年学术文章" @default.
- Q62046284 description "2015年学术文章" @default.
- Q62046284 description "2015年学术文章" @default.
- Q62046284 description "2015年學術文章" @default.
- Q62046284 description "2015年學術文章" @default.
- Q62046284 description "2015年學術文章" @default.
- Q62046284 description "2015年學術文章" @default.
- Q62046284 description "2015年學術文章" @default.
- Q62046284 description "2015년 논문" @default.
- Q62046284 description "article científic" @default.
- Q62046284 description "article scientific" @default.
- Q62046284 description "article scientifique" @default.
- Q62046284 description "articol științific" @default.
- Q62046284 description "articolo scientifico" @default.
- Q62046284 description "artigo científico" @default.
- Q62046284 description "artigo científico" @default.
- Q62046284 description "artigo científico" @default.
- Q62046284 description "artikel ilmiah" @default.
- Q62046284 description "artikull shkencor" @default.
- Q62046284 description "artikulong pang-agham" @default.
- Q62046284 description "artykuł naukowy" @default.
- Q62046284 description "artículo científico publicado en 2015" @default.
- Q62046284 description "artículu científicu" @default.
- Q62046284 description "bilimsel makale" @default.
- Q62046284 description "bài báo khoa học" @default.
- Q62046284 description "naučni članak" @default.
- Q62046284 description "scienca artikolo" @default.
- Q62046284 description "scientific article published in 2015" @default.
- Q62046284 description "scientific article published in 2015" @default.
- Q62046284 description "scientific article published in 2015" @default.
- Q62046284 description "teaduslik artikkel" @default.
- Q62046284 description "tieteellinen artikkeli" @default.
- Q62046284 description "tudományos cikk" @default.
- Q62046284 description "vedecký článok" @default.
- Q62046284 description "vetenskaplig artikel" @default.
- Q62046284 description "videnskabelig artikel" @default.
- Q62046284 description "vitenskapelig artikkel" @default.
- Q62046284 description "vitskapeleg artikkel" @default.
- Q62046284 description "vědecký článek" @default.
- Q62046284 description "wetenschappelijk artikel" @default.
- Q62046284 description "wissenschaftlicher Artikel" @default.
- Q62046284 description "επιστημονικό άρθρο" @default.
- Q62046284 description "мақолаи илмӣ" @default.
- Q62046284 description "наукова стаття, опублікована у 2015" @default.
- Q62046284 description "научна статия" @default.
- Q62046284 description "научная статья" @default.
- Q62046284 description "научни чланак" @default.
- Q62046284 description "научни чланак" @default.
- Q62046284 description "מאמר מדעי" @default.
- Q62046284 description "مقالة علمية نشرت في 2015" @default.
- Q62046284 description "২০১৫-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q62046284 description "บทความทางวิทยาศาสตร์" @default.
- Q62046284 description "სამეცნიერო სტატია" @default.
- Q62046284 name "Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods" @default.
- Q62046284 name "Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods" @default.
- Q62046284 type Item @default.
- Q62046284 label "Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods" @default.
- Q62046284 label "Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods" @default.
- Q62046284 prefLabel "Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods" @default.
- Q62046284 prefLabel "Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods" @default.
- Q62046284 P1433 Q62046284-E7E9D598-79DA-49E7-92BC-329A320D7BA2 @default.
- Q62046284 P1476 Q62046284-8D8E7ED7-58F2-49F2-A04E-37D03C0F0131 @default.
- Q62046284 P2093 Q62046284-95EA9C14-CCA3-48E9-8BF6-036924A558B4 @default.
- Q62046284 P2093 Q62046284-E8CBAD27-8A17-4541-B697-0ECF574E3921 @default.
- Q62046284 P2860 Q62046284-05E4122A-2463-4287-B97B-345DC2113ED4 @default.
- Q62046284 P2860 Q62046284-9B37AA47-C8E8-4E87-9021-27FBEB937E68 @default.
- Q62046284 P304 Q62046284-E777A1C0-B3BF-4603-B7E7-5705D1119031 @default.
- Q62046284 P31 Q62046284-FDFD6382-98AD-45F7-A59B-96504D553F99 @default.
- Q62046284 P356 Q62046284-A55B578F-8EFB-4540-A8D0-B87C5F8CD7E9 @default.
- Q62046284 P407 Q62046284-CC48A0C8-345B-4F44-BFDA-97D80D05EDBC @default.
- Q62046284 P50 Q62046284-015C73AF-1768-4D7E-ADC2-ED79225CF3C3 @default.
- Q62046284 P50 Q62046284-01BF8B44-87AE-4130-9071-A2643B5DD411 @default.
- Q62046284 P577 Q62046284-7B2AE629-3848-4447-AD78-3C1CA1AAEC09 @default.
- Q62046284 P6104 Q62046284-C7237DAD-D4CC-40DA-8A95-03EF9CEBEA0F @default.
- Q62046284 P894 Q62046284-6F86445F-08C3-42DE-B42B-2E5BAC67C489 @default.
- Q62046284 P8978 Q62046284-D73960A9-72B9-4962-B707-F72F6CFCD2B2 @default.
- Q62046284 P921 Q62046284-3C09A8BF-0946-4985-A08B-5CFE90412001 @default.
- Q62046284 P921 Q62046284-7CD8B7B4-B378-46CC-A418-CE3EDB5B236D @default.
- Q62046284 P356 978-3-319-25527-9_11 @default.
- Q62046284 P8978 BigiBMT15 @default.
- Q62046284 P1433 Q924044 @default.
- Q62046284 P1476 "Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods" @default.
- Q62046284 P2093 "Emilio Tuosto" @default.
- Q62046284 P2093 "Giovanni Meacci" @default.
- Q62046284 P2860 Q55879611 @default.
- Q62046284 P2860 Q55980164 @default.
- Q62046284 P304 "142-161" @default.
- Q62046284 P31 Q13442814 @default.
- Q62046284 P356 "10.1007/978-3-319-25527-9_11" @default.
- Q62046284 P407 Q1860 @default.
- Q62046284 P50 Q56501710 @default.
- Q62046284 P50 Q62057750 @default.
- Q62046284 P577 "2015-01-01T00:00:00Z" @default.
- Q62046284 P6104 Q8487137 @default.
- Q62046284 P894 "1434.68043" @default.