en skolemization (n)
― SimilarTo ⟶
Weight: 1.0
en herbrandization Source: English Wiktionary