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