# Contradiction separation based dynamic multi-clause synergized automated deduction

> Research article (Information Sciences, 2018) · cited 26× · AI/ML

**Wikidata**: [openalex:W2808325100](https://www.wikidata.org/wiki/openalex:W2808325100)  
**Source**: https://4ort.xyz/entity/contradiction-separation-based-dynamic-multi-clause-synergized-automated-deduction