The following pages link to (Q2767089):
Displaying 5 items.
- Hyperresolution for guarded formulae (Q1404983) (← links)
- Deciding the guarded fragments by resolution (Q1867216) (← links)
- Computational Space Efficiency and Minimal Model Generation for Guarded Formulae (Q2996155) (← links)
- Decidability Results for Saturation-Based Model Building (Q5191116) (← links)
- Automated Reasoning (Q5307053) (← links)