In organic chemistry, this term refers to the proc
In organic chemistry, this term refers to the process of separation of enantiomers. In first-order logic, it is an inference algorithm that converts sentences to conjunctive normal form and attempts to find a contradiction by unifying all possible literals. John Alan Robinson gave a derivation of this principle in an Association for Computing Machinery paper on "machine oriented logic," but it is also complete for propositional logic. For 10 points, give this term that also refers to the number of pixels on a monitor, measured in dots per inch.
In organic chemistry, this term refers to the process of separation of enantiomers.
{resolution}