# created by /home/wf/.local/lib/python3.10/site-packages/ceurspt/ceurws.py CREATE # P31 :instance of Q13442814:scholarly article LAST|P31|Q13442814 # P1433: published in LAST|P1433|Q113543193 # english label LAST|Len|"Modeling Bitcoin Protocols with Probabilistic Logic Programming" # english description LAST|Den|"scientific paper published in CEUR-WS Volume 2219" # P1476:title LAST|P1476|en:"Modeling Bitcoin Protocols with Probabilistic Logic Programming" # P407 :language of work or name Q1860:English LAST|P407|Q1860 # P953 :full work available at URL LAST|P953|"https://ceur-ws.org/Vol-2219/paper6.pdf" # P577 :publication date LAST|P577|+2018-09-21T00:00:00Z/11 # P2093: author name string, P1545: series ordinal LAST|P2093|"Damiano Azzolini"|P1545|"1" # P50: author, P1545: series ordinal LAST|P50|Q57451045|P1545|"2" # P2093: author name string, P1545: series ordinal LAST|P2093|"Evelina Lamma"|P1545|"3" # P50: author, P1545: series ordinal LAST|P50|Q61163779|P1545|"4" # P50: author, P1545: series ordinal LAST|P50|Q89723454|P1545|"5"