About: Minimal axioms for Boolean algebra

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Mathematical assumptions

Property	Value
dbo:description	mathematical assumptions (en)
dbo:wikiPageWikiLink	dbc:History_of_logic dbr:Edward_Vermilye_Huntington dbr:Herbert_Robbins dbc:Boolean_algebra dbc:Propositional_calculus dbr:Automated_theorem_proving dbr:Propositional_calculus dbr:Stephen_Wolfram dbr:William_McCune dbr:Alfred_Tarski dbc:Logic_gates dbr:Mathematical_logic dbr:Sheffer_stroke dbr:Boolean_algebra dbr:MathWorld dbr:Carew_Arthur_Meredith dbr:Larry_Wos dbr:Logical_NAND dbr:Branden_Fitelson dbr:Logical_OR
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Logical_connectives dbt:Short_description
dct:subject	dbc:History_of_logic dbc:Boolean_algebra dbc:Propositional_calculus dbc:Logic_gates
rdfs:label	Minimal axioms for Boolean algebra (en) Аксиома Вольфрама (ru)
owl:sameAs	wikidata:Minimal axioms for Boolean algebra dbpedia-ru:Minimal axioms for Boolean algebra dbpedia-hy:Minimal axioms for Boolean algebra dbpedia-global:Minimal axioms for Boolean algebra
prov:wasDerivedFrom	wikipedia-en:Minimal_axioms_for_Boolean_algebra?oldid=1284217866&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Minimal_axioms_for_Boolean_algebra
is dbo:wikiPageRedirects of	dbr:Wolfram_axiom
is dbo:wikiPageWikiLink of	dbr:Edward_Vermilye_Huntington dbr:Boolean_algebra_(structure) dbr:Index_of_logic_articles dbr:One-instruction_set_computer dbr:Sheffer_stroke dbr:Robbins_algebra dbr:Boolean_algebra dbr:Carew_Arthur_Meredith dbr:List_of_Boolean_algebra_topics dbr:Branden_Fitelson dbr:Wolfram_axiom
is foaf:primaryTopic of	wikipedia-en:Minimal_axioms_for_Boolean_algebra

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International