[{"_id":"3580","status":"public","user_id":"3118","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901 - Subproject B4","_id":"12"}],"author":[{"full_name":"Hansmeier, Tim","first_name":"Tim","id":"49992","orcid":"0000-0003-1377-3339","last_name":"Hansmeier"}],"publisher":"Universität Paderborn","title":"An FPGA Accelerator for Checking Resolution Proofs","language":[{"iso":"eng"}],"date_updated":"2020-05-07T05:24:30Z","type":"bachelorsthesis","year":"2017","department":[{"_id":"78"},{"_id":"34"},{"_id":"7"}],"citation":{"bibtex":"@book{Hansmeier_2017, title={An FPGA Accelerator for Checking Resolution Proofs}, publisher={Universität Paderborn}, author={Hansmeier, Tim}, year={2017} }","short":"T. Hansmeier, An FPGA Accelerator for Checking Resolution Proofs, Universität Paderborn, 2017.","chicago":"Hansmeier, Tim. <i>An FPGA Accelerator for Checking Resolution Proofs</i>. Universität Paderborn, 2017.","ieee":"T. Hansmeier, <i>An FPGA Accelerator for Checking Resolution Proofs</i>. Universität Paderborn, 2017.","ama":"Hansmeier T. <i>An FPGA Accelerator for Checking Resolution Proofs</i>. Universität Paderborn; 2017.","mla":"Hansmeier, Tim. <i>An FPGA Accelerator for Checking Resolution Proofs</i>. Universität Paderborn, 2017.","apa":"Hansmeier, T. (2017). <i>An FPGA Accelerator for Checking Resolution Proofs</i>. Universität Paderborn."},"date_created":"2018-07-20T13:44:34Z","supervisor":[{"full_name":"Platzner, Marco","last_name":"Platzner","id":"398","first_name":"Marco"}]}]