Matches in Wikidata for { <http://www.wikidata.org/entity/Q111687910> ?p ?o ?g. }
Showing items 1 to 33 of
33
with 100 items per page.
- Q111687910 description "conference paper published in 2014" @default.
- Q111687910 description "会議論文" @default.
- Q111687910 name "Modeling Bitcoin Contracts by Timed Automata" @default.
- Q111687910 type Item @default.
- Q111687910 label "Modeling Bitcoin Contracts by Timed Automata" @default.
- Q111687910 prefLabel "Modeling Bitcoin Contracts by Timed Automata" @default.
- Q111687910 P1104 Q111687910-2F4B5895-2B7A-4285-8D84-5A68E1BD20D4 @default.
- Q111687910 P1476 Q111687910-1774056A-2041-4A41-9FF6-5CD0A6A1203E @default.
- Q111687910 P2093 Q111687910-8A3A76F9-34A1-4E3B-B145-5FC08A50D199 @default.
- Q111687910 P2093 Q111687910-B9128374-3156-4D21-B03A-3ED2E61DFE6A @default.
- Q111687910 P2093 Q111687910-C6F20886-47CF-4C20-8264-0BEE9371CDD8 @default.
- Q111687910 P2093 Q111687910-C95DF7ED-3A8F-4796-AEF4-286E202DB8A6 @default.
- Q111687910 P304 Q111687910-8D7D0BB5-E948-48BC-882B-EBDFC80E980F @default.
- Q111687910 P31 Q111687910-EEB6EB12-DDA9-47FB-A452-E3BF28A5A3D3 @default.
- Q111687910 P356 Q111687910-530A1C40-0AFC-42AD-8CF1-78A166EDF09C @default.
- Q111687910 P577 Q111687910-0339D822-B54A-49A8-816E-4EE919CE5CAC @default.
- Q111687910 P6104 Q111687910-00FE19DE-B8A2-418C-B7B6-2E22CE31D40A @default.
- Q111687910 P894 Q111687910-67A36DD8-2EFD-4941-A683-ECE238C77E7B @default.
- Q111687910 P953 Q111687910-9E54E924-1115-4B62-91EE-C21FF97653D5 @default.
- Q111687910 P356 978-3-319-10512-3_2 @default.
- Q111687910 P1104 "+16" @default.
- Q111687910 P1476 "Modeling Bitcoin Contracts by Timed Automata" @default.
- Q111687910 P2093 "Daniel Malinowski" @default.
- Q111687910 P2093 "Lukasz Mazurek" @default.
- Q111687910 P2093 "Marcin Andrychowicz" @default.
- Q111687910 P2093 "Stefan Dziembowski" @default.
- Q111687910 P304 "7-22" @default.
- Q111687910 P31 Q23927052 @default.
- Q111687910 P356 "10.1007/978-3-319-10512-3_2" @default.
- Q111687910 P577 "2014-01-01T00:00:00Z" @default.
- Q111687910 P6104 Q8487137 @default.
- Q111687910 P894 "1448.91328" @default.
- Q111687910 P953 978-3-319-10512-3_2 @default.