WolframAlpha computational knowledge AI
equilibrium constant CCl4 + 2HF -> CF2Cl2 + 2HCl