previous up next
Go backward to Decomposition of Existential Quantifications
Go up to Top
Go forward to Example
RISC-Linz logo

Typical Use

Constant name must not yet appear in knowledge or goal!


Author: Wolfgang Schreiner
Last Modification: November 30, 1999

previous up next