Article snapshot taken from Wikipedia with creative commons attribution-sharealike license.
Give it a read and then ask your questions in the chat.
We can research this topic together.
Looking up: X^%7b(p)%7d%7dk^%7b P Q%7d(k(x)) Rightarrow K %7b P Q%7d(x