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