clausifier
Meanings
noun
- A method, algorithm or program that converts logic statements into standard clauses.
Word forms
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.