MaRDI QIDQ144466CRANFDO
Authors Martin Happ, Edgar Brunner, Frank Konietschke, Arne C. Bathke
Last update 9 July 2019
Copyright license GNU General Public License, version 3.0
Software version identifier 0.4.0
This page was built for software: WMWssp
