{"type":"bachelorsthesis","date_updated":"2022-01-06T06:59:10Z","_id":"333","title":"Visualisierung von SMT-Solver-Ausgaben","user_id":"477","citation":{"mla":"Osterbrink, Sebastian. <i>Visualisierung von SMT-Solver-Ausgaben</i>. Universität Paderborn, 2014.","ama":"Osterbrink S. <i>Visualisierung von SMT-Solver-Ausgaben</i>. Universität Paderborn; 2014.","ieee":"S. Osterbrink, <i>Visualisierung von SMT-Solver-Ausgaben</i>. Universität Paderborn, 2014.","apa":"Osterbrink, S. (2014). <i>Visualisierung von SMT-Solver-Ausgaben</i>. Universität Paderborn.","bibtex":"@book{Osterbrink_2014, title={Visualisierung von SMT-Solver-Ausgaben}, publisher={Universität Paderborn}, author={Osterbrink, Sebastian}, year={2014} }","chicago":"Osterbrink, Sebastian. <i>Visualisierung von SMT-Solver-Ausgaben</i>. Universität Paderborn, 2014.","short":"S. Osterbrink, Visualisierung von SMT-Solver-Ausgaben, Universität Paderborn, 2014."},"date_created":"2017-10-17T12:41:56Z","status":"public","project":[{"name":"SFB 901","_id":"1"},{"_id":"11","name":"SFB 901 - Subprojekt B3"},{"name":"SFB 901 - Project Area B","_id":"3"}],"year":"2014","author":[{"first_name":"Sebastian","full_name":"Osterbrink, Sebastian","last_name":"Osterbrink"}],"publisher":"Universität Paderborn"}