SigmaKEE

MaRDI QIDQ27082swMATHFDO

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
• SUMO
• System description: E.T. 0.1
• A Programmer’s Text Editor for a Logical Theory: The SUMOjEdit Editor (System Description)

This page was built for software: SigmaKEE