list the software developed by henri cohen ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_developer dbr_Henri_Cohen_ attr_open number_theorist attr_close sep_dot var_uri a dbo_Software brack_close