Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Consensus_theorem> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- Consensus_theorem abstract "In Boolean algebra, the consensus theorem or rule of consensus is the identity:The consensus or resolvent of the terms and is . It is the conjunction of all the unique literals of the terms, excluding the literal which appears unnegated in one term and negated in the other.The conjunctive dual of this equation is:".
- Consensus_theorem wikiPageID "8325288".
- Consensus_theorem wikiPageRevisionID "574888207".
- Consensus_theorem hasPhotoCollection Consensus_theorem.
- Consensus_theorem subject Category:Boolean_algebra.
- Consensus_theorem subject Category:Theorems_in_propositional_logic.
- Consensus_theorem type Abstraction100002137.
- Consensus_theorem type Communication100033020.
- Consensus_theorem type Message106598915.
- Consensus_theorem type Proposition106750804.
- Consensus_theorem type Statement106722453.
- Consensus_theorem type Theorem106752293.
- Consensus_theorem type TheoremsInPropositionalLogic.
- Consensus_theorem comment "In Boolean algebra, the consensus theorem or rule of consensus is the identity:The consensus or resolvent of the terms and is . It is the conjunction of all the unique literals of the terms, excluding the literal which appears unnegated in one term and negated in the other.The conjunctive dual of this equation is:".
- Consensus_theorem label "Consensus theorem".
- Consensus_theorem label "Teorema del consenso".
- Consensus_theorem label "Théorème du consensus".
- Consensus_theorem label "Теорема согласованности".
- Consensus_theorem sameAs Théorème_du_consensus.
- Consensus_theorem sameAs Teorema_del_consenso.
- Consensus_theorem sameAs m.026_gyg.
- Consensus_theorem sameAs Q948116.
- Consensus_theorem sameAs Q948116.
- Consensus_theorem sameAs Consensus_theorem.
- Consensus_theorem wasDerivedFrom Consensus_theorem?oldid=574888207.
- Consensus_theorem isPrimaryTopicOf Consensus_theorem.