Pages that link to "Item:Q1390960"
From MaRDI portal
The following pages link to An order-sorted resolution in theory and practice (Q1390960):
Displaying 5 items.
- Order-sorted logic programming with predicate hierarchy (Q814621) (← links)
- One modification of the ordering strategy in the resolution method (Q1115411) (← links)
- Resolution for label-based formulas in hierarchical representation (Q1882550) (← links)
- (Q4736520) (← links)
- Soft typing for ordered resolution (Q5234715) (← links)