Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Unit_propagation> ?p ?o }
Showing triples 1 to 36 of
36
with 100 triples per page.
- Unit_propagation abstract "Unit propagation (UP) or Boolean Constraint propagation or the one-literal rule (OLR) is a procedure of automated theorem proving that can simplify a set of (usually propositional) clauses.".
- Unit_propagation wikiPageID "2730761".
- Unit_propagation wikiPageLength "6352".
- Unit_propagation wikiPageOutDegree "15".
- Unit_propagation wikiPageRevisionID "678321997".
- Unit_propagation wikiPageWikiLink Algorithm.
- Unit_propagation wikiPageWikiLink Automated_theorem_proving.
- Unit_propagation wikiPageWikiLink Category:Automated_theorem_proving.
- Unit_propagation wikiPageWikiLink Clause_(logic).
- Unit_propagation wikiPageWikiLink DPLL_algorithm.
- Unit_propagation wikiPageWikiLink Hierarchy.
- Unit_propagation wikiPageWikiLink Horn-satisfiability.
- Unit_propagation wikiPageWikiLink Horn_clause.
- Unit_propagation wikiPageWikiLink Literal_(mathematical_logic).
- Unit_propagation wikiPageWikiLink Propositional_calculus.
- Unit_propagation wikiPageWikiLink Propositional_logic.
- Unit_propagation wikiPageWikiLink Quadratic_growth.
- Unit_propagation wikiPageWikiLink Resolution_(logic).
- Unit_propagation wikiPageWikiLinkText "Unit propagation".
- Unit_propagation wikiPageWikiLinkText "unit propagation".
- Unit_propagation hasPhotoCollection Unit_propagation.
- Unit_propagation subject Category:Automated_theorem_proving.
- Unit_propagation hypernym Procedure.
- Unit_propagation type AnatomicalStructure.
- Unit_propagation type Method.
- Unit_propagation type Proof.
- Unit_propagation comment "Unit propagation (UP) or Boolean Constraint propagation or the one-literal rule (OLR) is a procedure of automated theorem proving that can simplify a set of (usually propositional) clauses.".
- Unit_propagation label "Unit propagation".
- Unit_propagation sameAs Einheitsresolution.
- Unit_propagation sameAs Propagation_unitaire.
- Unit_propagation sameAs One-literal_rule.
- Unit_propagation sameAs m.07_kj9.
- Unit_propagation sameAs Q1307834.
- Unit_propagation sameAs Q1307834.
- Unit_propagation wasDerivedFrom Unit_propagation?oldid=678321997.
- Unit_propagation isPrimaryTopicOf Unit_propagation.