[{"type":"bachelorsthesis","title":"An FPGA Accelerator for Checking Resolution Proofs","citation":{"ieee":"T. Hansmeier, <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.","ama":"Hansmeier T. <i>An FPGA Accelerator for Checking Resolution Proofs</i>. Universität Paderborn; 2017.","short":"T. Hansmeier, An FPGA Accelerator for Checking Resolution Proofs, Universität Paderborn, 2017.","apa":"Hansmeier, T. (2017). <i>An FPGA Accelerator for Checking Resolution Proofs</i>. Universität Paderborn.","chicago":"Hansmeier, Tim. <i>An FPGA Accelerator for Checking Resolution Proofs</i>. Universität Paderborn, 2017.","bibtex":"@book{Hansmeier_2017, title={An FPGA Accelerator for Checking Resolution Proofs}, publisher={Universität Paderborn}, author={Hansmeier, Tim}, year={2017} }"},"user_id":"3118","date_updated":"2019-01-03T13:14:39Z","supervisor":[{"id":"398","first_name":"Marco","full_name":"Platzner, Marco","last_name":"Platzner"}],"year":"2017","publisher":"Universität Paderborn","status":"public","department":[{"_id":"78"},{"_id":"34"},{"_id":"7"}],"date_created":"2018-07-20T13:44:34Z","_id":"3580","project":[{"name":"SFB 901","_id":"1"},{"_id":"3","name":"SFB 901 - Project Area B"},{"_id":"12","name":"SFB 901 - Subproject B4"}],"author":[{"last_name":"Hansmeier","first_name":"Tim","full_name":"Hansmeier, Tim"}]}]