clausifier

English

Noun

clausifier (plural clausifiers)

(logic) A method, algorithm or program that converts logic statements into standard clauses.

Retrieved from "https://en.wiktionary.org/w/index.php?title=clausifier&oldid=60194056"

Hidden categories: