SigmaKEE

swMATH15189MaRDI QIDQ27082FDOQ27082

Author name not available (Why is that?)

Official website: http://sigmakee.sourceforge.net/

Cited In (5)

• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
• A foundational view on integration problems
• System description: E.T. 0.1
• SUMO
• A Programmer’s Text Editor for a Logical Theory: The SUMOjEdit Editor (System Description)

This page was built for software: SigmaKEE