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