WolframAlpha computational knowledge AI
binomial(4, 2)/2^4