24
Proof
l
Proof validation, not generation
l
Simple things: a
è
b, a thus b.
l
validation: do the URI’s exist, are the
steps followed in the reasoning
valid?