previous up next
Go backward to Proof Levels
Go up to Top
Go forward to Proof Situations
RISC-Linz logo

Knowledge

A proof is relative to given knowledge.


Author: Wolfgang Schreiner
Last Modification: November 30, 1999

previous up next