Leo-III Cited in 21 Documents (2015–2023) Software Authors: Steen, Alexander; Wisniewski, Max; Benzmüller, Christoph Related Software: Satallax; TPTP; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
MaGIC Cited in 19 Documents (2001–2022) Software Authors: Slaney, J. Related Software: MaTest; OTTER Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Gen2sat Cited in 3 Documents (2016–2019) Software Authors: Zohar, Yoni; Zamansky, Anna Related Software: MetTeL; Coq; intuit; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ILLTP Cited in 3 Documents (2019–2021) Software Authors: Olarte, Carlos; de Paiva, Valeria; Pimentel, Elaine; Reis, Giselle Related Software: Lolli; z3; DeepProbLog; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
GLEFatinf Cited in 2 Documents (1994–1998) Software Authors: R. Caferra; M. Herment Related Software: TABLEAUX; KRIPKE; Hyperproof; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Paraconsistency Cited in 1 Document (2018) Software Authors: Anders Schlichtkrull; Jørgen Villadsen Related Software: GitHub; GRAT; FOL_Harrison; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)