an Entity references as follows:
Archie Blake (born 1906) is an American mathematician.He is well known for the Blake canonical form, a normal form for expressions in propositional logic.In order to compute the canonical form, he moreover introduced the conept of consensus, which was a precursor of the resolution principle, today a common technique in automated theorem proving.