LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
sav08:exercise_06 [2008/03/25 14:02]
piskac created
sav08:exercise_06 [2008/03/25 14:04] (current)
piskac
Line 1: Line 1:
-  * Monotonicity of semantic consequence +  * Homework analysis ​  
-  * Sets of sentences with only finite and with only infinite models+
   * Herbrand universe   * Herbrand universe
   * Resolution proofs   * Resolution proofs