The following pages link to (Q4331757):
Displaying 5 items.
- Order-sorted logic programming with predicate hierarchy (Q814621) (← links)
- Resolution for label-based formulas in hierarchical representation (Q1882550) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- Languages of logic and their applications (Q2425445) (← links)
- The Formal System of Dijkstra and Scholten (Q2945729) (← links)
