WolframAlpha computational knowledge AI
global warming potential of CF4