Herbrand interpretation

ID: herbrand-interpretation

New to topics? Read the docs here!