clausifier (English, noun)
expansion: clausifier (plural clausifiers)
Senses:
topics: human-sciences
logic
mathematics
philosophy
sciences
glosses: A method, algorithm or program that converts logic statements into standard clauses.
Forms:
form: clausifiers
tags: plural