e/Unit propagation

Information
has gloss	eng: Unit propagation (UP) or the one-literal rule (OLR) is a procedure of automated theorem proving that can simplify a set of (usually propositional) clauses.
lexicalization	eng: unit propagation
instance of	e/Rule of inference

Meaning
Dutch
has gloss	nld: Bij automatisch stelling bewijzen is de one-literal rule (OLR) of unit propagation (UP) een methode om een verzameling clausules (Engels: een clause set) te vereenvoudigen en op te schonen. De one-literal rule houdt in dat wanneer een verzameling clausules een clausule bevat met één literal dan is het mogelijk die clausule en alle clausules waar die literal in voorkomt te verwijderen en alle voorkomens van de negatie van de literal te verwijderen.
lexicalization	nld: one-literal rule