This HTML5 document contains 63 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n22https://www.ams.org/journals/bull/1941-47-03/S0002-9904-1941-07417-3/
dctermshttp://purl.org/dc/terms/
n19http://download.iaspei.org/publications/Travaux_Scientifiques_Series_A/
n20https://catalog.lib.uchicago.edu/vufind/Record/
dbohttp://dbpedia.org/ontology/
n16http://dbpedia.org/resource/File:
foafhttp://xmlns.com/foaf/0.1/
n18https://global.dbpedia.org/id/
n9https://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/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n15http://commons.wikimedia.org/wiki/Special:FilePath/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n13https://www.proquest.com/openview/2f92469c3a02402fbb717e0ee3b5d569/
n12https://www.ams.org/journals/bull/1932-38-11/S0002-9904-1932-05516-1/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Archie_Blake_(mathematician)
rdf:type
owl:Thing
rdfs:label
Archie Blake (mathematician)
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.
foaf:depiction
n15:ArchieBlakeSignature.jpg
dcterms:subject
dbc:20th-century_American_mathematicians dbc:1906_births dbc:Bendix_Corporation_people dbc:University_of_Chicago_alumni dbc:Year_of_death_missing
dbo:wikiPageID
69419362
dbo:wikiPageRevisionID
1081021191
dbo:wikiPageWikiLink
dbr:Journal_of_Symbolic_Logic dbc:1906_births dbr:U._S._Coast_and_Geodetic_Survey dbr:Transactions_of_the_American_Geophysical_Union dbr:Ph.D. dbr:Blake_canonical_form dbr:Washington,_D._C. dbr:Automated_theorem_proving dbr:Resolution_(logic) dbc:20th-century_American_mathematicians dbr:IASPEI dbr:American_Mathematical_Society dbr:Raytheon n16:ArchieBlakeSignature.jpg dbr:Buffalo,_New_York dbc:Year_of_death_missing dbr:Cornell_Aeronautical_Laboratory dbr:Army_Surgeon_General dbr:Washington,_D.C. dbr:University_of_Chicago dbr:Consensus_theorem dbr:Baltimore,_Md. dbr:The_Journal_of_Symbolic_Logic dbr:Normal_form_(mathematics) dbr:Columbia_University dbr:Westinghouse_Electric_Corporation dbr:Sudbury,_Massachusetts dbr:Expression_(mathematics) dbc:University_of_Chicago_alumni dbr:Bulletin_of_the_American_Mathematical_Society dbc:Bendix_Corporation_people dbr:Propositional_logic dbr:Bendix_Aviation_Corporation
dbo:wikiPageExternalLink
n9:AFB581194B270FA444DAA159C867E010 n12:S0002-9904-1932-05516-1.pdf n13:1%3Fpq-origsite=gscholar&cbl=18750&diss=y n19:ATS16.pdf n20:4078048 n22:S0002-9904-1941-07417-3.pdf
owl:sameAs
n18:GEkjJ wikidata:Q110158155
dbp:wikiPageUsesTemplate
dbt:Cite_journal dbt:Mathematician-stub dbt:Cite_thesis dbt:Reflist dbt:Short_description dbt:Authority_control
dbo:thumbnail
n15:ArchieBlakeSignature.jpg?width=300
dbo: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.
prov:wasDerivedFrom
wikipedia-en:Archie_Blake_(mathematician)?oldid=1081021191&ns=0
dbo:wikiPageLength
6192
foaf:isPrimaryTopicOf
wikipedia-en:Archie_Blake_(mathematician)