When did Edoardo Amaldi launch?
CREATE TABLE table_name_25 (launch_date VARCHAR, name VARCHAR)
SELECT launch_date FROM table_name_25 WHERE name = "edoardo amaldi"
### Context: CREATE TABLE table_name_25 (launch_date VARCHAR, name VARCHAR) ### Question: When did Edoardo Amaldi launch? ### Answer: SELECT launch_date FROM table_name_25 WHERE name = "edoardo amaldi"