MiniML Software Authors: Davies, Rowan; Pfenning, Frank Cited in: 49 Publications (2000–2021) Related Software: Coq; ML; Haskell; Pesca; Links; Twelf; … Main Fields: (68N18-XX); (03B40-XX); (03B45-XX)
KL-ONE Software Authors: Baader, Franz; Sattler, Ulrike Cited in: 36 Publications (2001–2020) Related Software: FaCT++; Racer; Pellet; MSPASS; E Theorem Prover; MetTeL; … Main Fields: (03B35-XX); (68T15-XX); (68T27-XX)
leanTAP Software Authors: Beckert, Bernhard; Posegga, Joachim Cited in: 39 Publications (1994–2021) Related Software: SETHEO; TPTP; SATCHMO; ModLeanTAP; CondLean; ileanCoP; … Main Fields: (03B35-XX); (03B45-XX); (68N17-XX)
SQEMA Software Authors: Conradie, Willem; Goranko, Valentin Cited in: 39 Publications (2005–2021) Related Software: Isabelle/HOL; Epistemic Logic; Archive Formal Proofs; FOL Fitting; Pesca Main Fields: (03B35-XX); (03B45-XX)
MSPASS Software Authors: Ullrich Hustadt, Renate A. Schmidt Cited in: 23 Publications (2000–2021) Related Software: TPTP; VAMPIRE; E Theorem Prover; SPASS; QMLTP; Isabelle/HOL; … Main Fields: –
TABLEAUX Software Authors: Catach, Laurent Cited in: 20 Publications (1991–2022) Related Software: Pesca; MOIN; LoTREC; SPASS; KRIPKE; QMLTP; … Main Fields: (03B35-XX); (03-04-XX); (68T15-XX)
ModLeanTAP Software Authors: Beckert, Bernhard; Goré, Rajeev Cited in: 19 Publications (1998–2019) Related Software: leanTAP; MSPASS; KLMLean; CondLean; Coq; SETHEO; … Main Fields: (03B35-XX); (03B45-XX)
MetTeL Software Authors: Tishkovsky, Dmitry; Schmidt, Renate A.; Khodadadi, Mohammad Cited in: 15 Publications (2011–2021) Related Software: KL-ONE; LoTREC; E Theorem Prover; SPASS; Gen2sat; MSPASS; … Main Fields: (68T15-XX)
MleanCoP Software Authors: Otten, Jens Cited in: 15 Publications (2014–2022) Related Software: QMLTP; TPTP; ileanCoP; leanCoP; E Theorem Prover; FEMaLeCoP; … Main Fields: (68T15-XX)
Spartacus Software Authors: Daniel Götzmann; Mark Kaminski; Gert Smolka Cited in: 14 Publications (2010–2021) Related Software: HTab; FaCT++; InKreSAT; HyLoTab; HyLoRes; HGen; … Main Fields: –
CoLoSS Software Authors: G. Calin, R. Myers, D. Pattinson, L. Schröder Cited in: 13 Publications (2009–2020) Related Software: FaCT++; Pellet; Isabelle; Imogen; JTabWb; Cool; … Main Fields: –
Concurrency Workbench Software Authors: P. Stevens et al Cited in: 11 Publications (2000–2017) Related Software: LOTOS; CADP; NuSMV; PrivateLR; LOTOSphere; PRISM; … Main Fields: –
HTab Software Authors: Guillaume Hoffmann; Carlos Areces Cited in: 11 Publications (2009–2020) Related Software: Spartacus; HyLoTab; HGen; HyLoRes; FaCT++; Sibyl; … Main Fields: –
QMLTP Software Authors: Raths, Thomas; Otten, Jens Cited in: 12 Publications (2012–2022) Related Software: TPTP; MleanCoP; MSPASS; Isabelle/HOL; ileanCoP; leanCoP; … Main Fields: (68T15-XX)
Datalog LITE Software Authors: Gottlob, Georg; Grädel, Erich; Veith, Helmut Cited in: 9 Publications (2002–2019) Related Software: XPath; Ltur; ComputeTW; NP Datalog; Datalog; FALKO Main Fields: (68P15-XX); (68N17-XX); (68Q60-XX)
MetaGame Software Authors: Markus Müller-Olm, Haiseung Yoo Cited in: 9 Publications (1991–2009) Related Software: GDL; SPIN; jETI Main Fields: (68Q60-XX)
STeLP Software Authors: Cabalar, Pedro; Diéguez, Martín Cited in: 9 Publications (2011–2019) Related Software: Coala; Gringo; CCalc; ASSAT Main Fields: (68N17-XX); (68T27-XX)
evt Software Authors: Lars–Åke Fredlund; Dilian Gurov; Thomas Noll; Mads Dam; Thomas Arts; Gennady Chugunov Cited in: 6 Publications (2001–2021) Related Software: Erlang; Isabelle; Coq; Java-MaC; InterAspect; AspectWerkz; … Main Fields: –
GoedelGod Software Authors: Christoph Benzmüller; Bruno Woltzenlogel Paleo Cited in: 7 Publications (2015–2020) Related Software: Isabelle/HOL; Coq; Archive Formal Proofs; Satallax; Nitpick; LEO-II; … Main Fields: –
MGTP Software Authors: Hasegawa, Ryuzo; Fujita, Hiroshi; Koshimura, Miyuki; Shirai, Yasuyuki Cited in: 6 Publications (1995–2013) Related Software: SATCHMO; TPTP; MiniSat; FINDER; QMaxSAT; Scsat; … Main Fields: (68T15-XX)
LegalRuleML Software Authors: Lam, Ho-Pun; Hashmi, Mustafa; Athan, Tara; Governatori, Guido; Palmirani, Monica; Paschke, Adrian; Wyner, Adam Cited in: 4 Publications (2017–2020) Related Software: GitHub; LogiKEy; PLM; embed_modal; Leo-III; Lean; … Main Fields: (68N17-XX)
Sibyl Software Authors: Cerrito, Serenella; Cialdea Mayer, Marta Cited in: 6 Publications (2010–2020) Related Software: HyLoTab; HTab; Spartacus; HGen; HyLoRes; Pilate; … Main Fields: –
MarCaSPiS Software Authors: Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink Cited in: 5 Publications (2009–2015) Related Software: COWS; MoDeST; GroupKit; KLAIM; SAS; SPSS; … Main Fields: –
VMC Software Authors: ter Beek, Maurice H.; Mazzanti, Franco; Sulova, Aldi Cited in: 4 Publications (2015–2019) Related Software: MSTA; DeltaCCS; MIO Workbench; Motras; Sat4j; MultiVeStA; … Main Fields: (68Nxx-XX); (68Qxx-XX)
Cool Software Authors: Gorín, Daniel; Pattinson, Dirk; Schröder, Lutz; Widmann, Florian; Wißmann, Thorsten Cited in: 3 Publications (2014–2018) Related Software: LoTREC; leanK; E Theorem Prover; Racer; FaCT++; SPASS; … Main Fields: (68T15-XX)
embed_modal Software Authors: Gleißner, Tobias; Steen, Alexander; Benzmüller, Christoph Cited in: 4 Publications (2017–2021) Related Software: Isabelle/HOL; Nitpick; MleanCoP; Leo-III; LeoPARD; QMLTP; … Main Fields: (68T15-XX); (03B35-XX); (03B45-XX)
FMLtoHOL Software Authors: Benzmüller, Christoph; Raths, Thomas Cited in: 4 Publications (2013–2021) Related Software: TPTP; Isabelle/HOL; Nitpick; QMLTP; Sledgehammer; Satallax; … Main Fields: (03B70-XX); (68T27-XX)
MOIN Software Authors: Girlando, Marianna; Straßburger, Lutz Cited in: 4 Publications (2020–2022) Related Software: TABLEAUX; NESCOND; Prolog; MiniML; QMLTP; LoTREC; … Main Fields: (68V15-XX)
MoMo Software Authors: De Nicola, Rocco; Loreti, Michele Cited in: 4 Publications (2005–2014) Related Software: KLAIM; SLMC; COPASI; Casaal; ULM; MRMC; … Main Fields: (68N30-XX); (03B44-XX); (03B70-XX)
LWB Software Authors: Goré, Rajeev; Heinle, Wolfgang; Heuerding, Alain Cited in: 3 Publications (1996–2009) Related Software: MSPASS; TPTP; VAMPIRE; MiniSat Main Fields: (03B35-XX); (03B45-XX)
MLAT Software Authors: Sekizawa, Toshifusa; Tanabe, Yoshinori; Yuasa, Yoshifumi; Takahashi, Koichi Cited in: 3 Publications (1993–2008) Related Software: BLAST; Kaskade7; PLTMG Main Fields: (68Q60-XX); (68T27-XX)
PLM Software Authors: Daniel Kirchner Cited in: 3 Publications (2020) Related Software: Isabelle/HOL; LogiKEy; LegalRuleML; embed_modal; Leo-III; Lean; … Main Fields: –
CLProver Software Authors: Nalon, Cláudia; Zhang, Lan; Dixon, Clare; Hustadt, Ullrich Cited in: 2 Publications (2014–2015) Related Software: TATL; TRP++; SPASS; VAMPIRE Main Fields: (68V15-XX); (03B35-XX); (03B45-XX)
Epistemic Logic Software Authors: Asta Halkjær From Cited in: 2 Publications (2021) Related Software: Isabelle/HOL; Archive Formal Proofs; FOL Fitting; SQEMA; Sledgehammer; HOL; … Main Fields: –
GQML Software Authors: Thion, V.; Cerrito, S.; Cialdea Mayer, Marta Cited in: 2 Publications (2002–2007) Related Software: TABLEAUX; GULP; ModLeanTAP Main Fields: (68T15-XX); (03B45-XX); (03B35-XX)
Hazelnut Software Authors: Omar, Cyrus; Voysey, Ian; Hilton, Michael; Aldrich, Jonathan; Hammer, Matthew A. Cited in: 2 Publications (2017) Related Software: js_of_ocaml; mbeddr; TouchDevelop; Calcite; Lamdu; Idris; … Main Fields: (68N18-XX); (68N30-XX)
Hintikka's world Software Authors: François Schwarzentruber Cited in: 2 Publications (2020) Related Software: MCMAS Main Fields: –
MNiBLoS Software Authors: Vidal, Amanda Cited in: 2 Publications (2016–2019) Related Software: Fuzzydl; z3; SMT-LIB; Yices Main Fields: (68V15-XX); (03B52-XX)
MODPROF Software Authors: Happe, Jens Cited in: 2 Publications (2001) Related Software: VAMPIRE; P.rex; QUBE; E Theorem Prover; JProver; Racer; … Main Fields: (68T15-XX)
CardKt Software Authors: Gore, Rajeev; Lan Duy Nguyen Cited in: 1 Publication (2001) Related Software: KtSeqC Main Fields: (68U99-XX); (68N15-XX); (68P25-XX)
CardS4 Software Authors: Goré, Rajeev Prabhakar; Thê Nguyên, Phuong Cited in: 1 Publication (2001) Related Software: – Main Fields: Computer science (68-XX)
HyLoBan Software Authors: Sustretov, Dmitry; Hoffmann, Guillaume; Areces, Carlos; Blackburn, Patrick Cited in: 1 Publication (2009) Related Software: HyLoTab; HTab; GHC Main Fields: (68T15-XX); (03B45-XX); (03B62-XX)
iCTRL Software Authors: Redey, Gabor Cited in: 1 Publication (1999) Related Software: – Main Fields: (68T30-XX); (68P20-XX); (68T50-XX)
LP3Verif Software Authors: Bavendiek, Kai; Schupp, Sibylle Cited in: 1 Publication (2022) Related Software: SpaceTwist; LocLok; MaPIR; Casper*; CVC4 Main Fields: Computer science (68-XX)
ModalCasl Software Authors: Mossakowski, T. Cited in: 1 Publication (2014) Related Software: OnTrack; PVSio-web; E Theorem Prover; Hets; SPASS; CASL Main Fields: –