Pages that link to "Item:Q4928460"
From MaRDI portal
The following pages link to The 481 Ways to Split a Clause and Deal with Propositional Variables (Q4928460):
Displayed 6 items.
- Semantically-guided goal-sensitive reasoning: model representation (Q287333) (← links)
- Semantically-guided goal-sensitive reasoning: inference system and completeness (Q1707598) (← links)
- Contradiction separation based dynamic multi-clause synergized automated deduction (Q2198231) (← links)
- Cooperating Proof Attempts (Q3454105) (← links)
- System Description: E.T. 0.1 (Q3454109) (← links)
- Playing with AVATAR (Q3454110) (← links)