The DLS algorithm
Elimination of all predicates.
Enter second-order formula:
exists P ( P(x) & all Q (S(a) | Q(a)) )
Generate all solutions and choose the shortest (default = no)
Generate the output unformated (default = no)
Clear
Main page
|
Circumscription page
|
NAT page
|
Syntax