Mathematical models as research data via flexiformal theory graphs - Kohlhase, Michael; Koprucki, Thomas; Müller, Dennis; Tabelow, Karsten (10th International Conference on Intelligent Computer Mathematics, CICM 2017, 2017)