{"_id":"134","date_updated":"2022-01-06T06:51:34Z","language":[{"iso":"ger"}],"supervisor":[{"full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim"}],"citation":{"mla":"Heinisch, Philipp. Verifikation von Service Kompositionen mit Prolog. Universität Paderborn, 2016.","bibtex":"@book{Heinisch_2016, title={Verifikation von Service Kompositionen mit Prolog}, publisher={Universität Paderborn}, author={Heinisch, Philipp}, year={2016} }","apa":"Heinisch, P. (2016). Verifikation von Service Kompositionen mit Prolog. Universität Paderborn.","ama":"Heinisch P. Verifikation von Service Kompositionen mit Prolog. Universität Paderborn; 2016.","chicago":"Heinisch, Philipp. Verifikation von Service Kompositionen mit Prolog. Universität Paderborn, 2016.","ieee":"P. Heinisch, Verifikation von Service Kompositionen mit Prolog. Universität Paderborn, 2016.","short":"P. Heinisch, Verifikation von Service Kompositionen mit Prolog, Universität Paderborn, 2016."},"type":"bachelorsthesis","year":"2016","user_id":"15504","title":"Verifikation von Service Kompositionen mit Prolog","abstract":[{"text":".","lang":"eng"}],"status":"public","project":[{"_id":"1","name":"SFB 901"},{"_id":"11","name":"SFB 901 - Subprojekt B3"},{"name":"SFB 901 - Project Area B","_id":"3"}],"date_created":"2017-10-17T12:41:17Z","publisher":"Universität Paderborn","author":[{"full_name":"Heinisch, Philipp","first_name":"Philipp","last_name":"Heinisch"}],"department":[{"_id":"77"}]}