---
res:
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Tim
      foaf_name: Hansmeier, Tim
      foaf_surname: Hansmeier
      foaf_workInfoHomepage: http://www.librecat.org/personId=49992
    orcid: 0000-0003-1377-3339
  dct_date: 2017^xs_gYear
  dct_language: eng
  dct_publisher: Universität Paderborn@
  dct_title: An FPGA Accelerator for Checking Resolution Proofs@
...
