JGXYZ

swMATH32309MaRDI QIDQ44020FDOQ44020

Author name not available (Why is that?)

Described by source

• JGXYZ: an ATP system for gap and glut logics

This page was built for software: JGXYZ