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:herbrand_model_for_an_example [2009/05/14 12:30]
vkuncak
sav08:herbrand_model_for_an_example [2009/05/14 13:15]
vkuncak
Line 1: Line 1:
 ====== Herbrand Model and Unsat Proof for an Example ====== ====== Herbrand Model and Unsat Proof for an Example ======
 +
 +[[wp>​Herbrand]]
  
 We will look at the language ${\cal L} = \{P, R, a, f\}$ where We will look at the language ${\cal L} = \{P, R, a, f\}$ where