Related to automated theorem provers that use the saturation based methods.
Saturation is one of the most popular methods to prove theorems automatically in first order logics.
About
Stats
|
created |
2 years, 5 months ago |
|
viewed |
3 times |
|
active |
2 years, 5 months ago |
|
editors |
1 |
