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