Pages that link to "Item:Q2964454"
From MaRDI portal
The following pages link to NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment (Q2964454):
Displaying 11 items.
- Semantically-guided goal-sensitive reasoning: inference system and completeness (Q1707598) (← links)
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← links)
- SGGS decision procedures (Q2096457) (← links)
- An efficient subsumption test pipeline for BS(LRA) clauses (Q2104505) (← links)
- SCL(EQ): SCL for first-order logic with equality (Q2104511) (← links)
- SCL clause learning from simple models (Q2305416) (← links)
- A complete and terminating approach to linear integer solving (Q2307624) (← links)
- NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment (Q2964454) (← links)
- Automated Reasoning Building Blocks (Q3449631) (← links)
- SCL(EQ): SCL for first-order logic with equality (Q6111523) (← links)
- Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover (Q6156634) (← links)
