list the software which uses windows xp professional x64 edition as their operating system ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_operatingSystem dbr_Windows_XP_Professional_x64_Edition sep_dot var_uri a dbo_Software brack_close