Pages that link to "Item:Q1610676"
From MaRDI portal
The following pages link to Partial instantiation methods for inference in first-order logic (Q1610676):
Displaying 10 items.
- Comparing instance generation methods for automated reasoning (Q877884) (← links)
- The disconnection tableau calculus (Q877889) (← links)
- Solving quantified verification conditions using satisfiability modulo theories (Q1037401) (← links)
- New methods for computing inferences in first order logic (Q1309900) (← links)
- Computing definite logic programs by partial instantiation (Q1326778) (← links)
- An inference system of an extension of Floyd-Hoare logic for partial predicates (Q2311523) (← links)
- SMELS: satisfiability modulo equality with lazy superposition (Q2351265) (← links)
- The model evolution calculus as a first-order DPLL method (Q2389629) (← links)
- Combining Instance Generation and Resolution (Q3655208) (← links)
- Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning (Q4916080) (← links)