About: Archie Blake (mathematician)

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Archie Blake (mathematician) Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/c/78bh8weVUg

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.

Attributes	Values
rdf:type	Thing
rdfs:label	Archie Blake (mathematician) (en)
rdfs:comment	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. (en)
foaf:depiction
dct:subject	Year of death missing 1906 births 20th-century American mathematicians University of Chicago alumni Bendix Corporation people
Wikipage page ID	69419362 (xsd:integer)
Wikipage revision ID	1081021191 (xsd:integer)
Link from a Wikipage to another Wikipage	Normal form (mathematics) Blake canonical form Resolution (logic) University of Chicago Year of death missing Columbia University Consensus theorem Sudbury, Massachusetts Propositional logic Automated theorem proving 1906 births 20th-century American mathematicians University of Chicago alumni Buffalo, New York Washington, D.C. Westinghouse Electric Corporation American Mathematical Society Journal of Symbolic Logic Bendix Corporation people Bulletin of the AMS IASPEI Ph.D. Expression (mathematics) Raytheon Bendix Aviation Corporation The Journal of Symbolic Logic Washington, D. C. Transactions of the American Geophysical Union Cornell Aeronautical Laboratory Army Surgeon General Baltimore, Md. U. S. Coast and Geodetic Survey
Link from a Wikipage to an external page	http://download.iaspei.org/publications/Travaux_Scientifiques_Series_A/ATS16.pdf https://www.ams.org/journals/bull/1932-38-11/S0002-9904-1932-05516-1/S0002-9904-1932-05516-1.pdf https://www.ams.org/journals/bull/1941-47-03/S0002-9904-1941-07417-3/S0002-9904-1941-07417-3.pdf https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/abs/archie-blake-canonical-expressions-in-boolean-algebra-dissertation-chicago-1937-lithographed-the-university-of-chicago-libraries-chicago1938-ii-60-pp/AFB581194B270FA444DAA159C867E010 https://www.proquest.com/openview/2f92469c3a02402fbb717e0ee3b5d569/1%3Fpq-origsite=gscholar&cbl=18750&diss=y https://catalog.lib.uchicago.edu/vufind/Record/4078048
sameAs	Archie Blake (mathematician) Archie Blake (mathematician)
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Cite_journal dbt:Cite_thesis dbt:Reflist dbt:Short_description dbt:Mathematician-stub
thumbnail	wiki-commons:Special:FilePath/ArchieBlakeSignature.jpg?width=300
has abstract	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. (en)
prov:wasDerivedFrom	wikipedia-en:Archie_Blake_(mathematician)?oldid=1081021191&ns=0
page length (characters) of wiki page	6192 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:Archie_Blake_(mathematician)
is Link from a Wikipage to another Wikipage of	Quine–McCluskey algorithm List of University of Chicago alumni Blake canonical form Archie Consensus theorem Platon Poretsky List of American mathematicians Blake (surname) Archie Blake
is Wikipage disambiguates of	Archie Archie Blake
is foaf:primaryTopic of	wikipedia-en:Archie_Blake_(mathematician)

Faceted Search & Find service v1.17_git147 as of Sep 06 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3331 as of Sep 2 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 50 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software