Archie Blake (mathematician)
id:
archie-blake-mathematician-246-7364324
title:
Archie Blake (mathematician)
text:
Charles Archibald Blake, name officially changed to Archie Blake was 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 concept of consensus, which was a precursor of the resolution principle, today a common technique in automated theorem proving.
brand slug:
wiki
category slug:
encyclopedia
description:
American mathematician
original url:
https://en.wikipedia.org/wiki/Archie_Blake_(mathematician)
date created:
date modified:
2024-01-09T19:38:41Z
main entity:
{"identifier":"Q110158155","url":"https://www.wikidata.org/entity/Q110158155"}
image:
fields total:
13
integrity:
14