The following pages link to (Q3750139):
Displaying 5 items.
- Semantically-guided goal-sensitive reasoning: model representation (Q287333) (← links)
- Link inheritance in abstract clause graphs (Q1097716) (← links)
- A resolution principle for constrained logics (Q1327159) (← links)
- On the termination of clause graph resolution (Q1344889) (← links)
- A resolution principle for clauses with constraints (Q6488530) (← links)