Resolution by shoomman2 published on 2021-01-01T17:58:30Z Unification, skolemization and herbrandization, not Lebesgue Genre Electronic