e/nl/Monotone variable fixing

Information
instance of	e/Rule of inference

Meaning
Dutch
has gloss	nld: Bij automatisch stelling bewijzen is monotone variable fixing (ook bekend als de pure literal rule) een methode om een verzameling clausules (Engels: een clause set) te vereenvoudigen en op te schonen. Monotone variable fixing houdt in dat wanneer een literal alleen positief of alleen negatief voorkomt het mogelijk is die literal waar te maken en alle clausules waar die literal in voorkomt uit de verzameling clausules te verwijderen.
lexicalization	nld: monotone variable fixing