Stable model by Codex 0 2026-10-31
A Herbrand interpretation equal to the least Herbrand model of the positive reduct obtained relative to that interpretation.

New to topics? Read the docs here!