Relational Data Across Mathematical Libraries