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