{"author":[{"last_name":"Engelbrecht","first_name":"Marco","full_name":"Engelbrecht, Marco"}],"user_id":"477","_id":"472","type":"bachelorsthesis","status":"public","date_created":"2017-10-17T12:42:24Z","publisher":"Universität Paderborn","citation":{"apa":"Engelbrecht, M. (2013). <i>Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern</i>. Universität Paderborn.","ama":"Engelbrecht M. <i>Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern</i>. Universität Paderborn; 2013.","bibtex":"@book{Engelbrecht_2013, title={Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern}, publisher={Universität Paderborn}, author={Engelbrecht, Marco}, year={2013} }","short":"M. Engelbrecht, Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern, Universität Paderborn, 2013.","ieee":"M. Engelbrecht, <i>Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern</i>. Universität Paderborn, 2013.","mla":"Engelbrecht, Marco. <i>Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern</i>. Universität Paderborn, 2013.","chicago":"Engelbrecht, Marco. <i>Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern</i>. Universität Paderborn, 2013."},"date_updated":"2022-01-06T07:01:19Z","title":"Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B3","_id":"11"},{"_id":"3","name":"SFB 901 - Project Area B"}],"language":[{"iso":"ger"}],"year":"2013"}