Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Unit_propagation> ?p ?o. }
Showing items 1 to 16 of
16
with 100 items 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 wikiPageRevisionID "601513516".
- Unit_propagation hasPhotoCollection Unit_propagation.
- Unit_propagation subject Category:Automated_theorem_proving.
- 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 "Einheitsresolution".
- Unit_propagation label "One-literal rule".
- Unit_propagation label "Unit propagation".
- Unit_propagation sameAs Einheitsresolution.
- 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=601513516.
- Unit_propagation isPrimaryTopicOf Unit_propagation.