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