CoDe

MaRDI QIDQ44089swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F3-540-63104-6_25

Described by source

• CODE: A powerful prover for problems of condensed detachment

Cited in

(3)

• SCOTT
• TreeRePair
• Evaluating general purpose automated theorem proving systems

This page was built for software: CoDe