Hets - the Heterogeneous Tool Set
Copyright(c) Christian Maeder DFKI GmbH 2010
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

Common.SZSOntology

Description

see http://www.cs.miami.edu/~tptp/ under Documents and SZSOntology

Documentation

successes :: [(String, String)] Source #

nosuccess :: [(String, String)] Source #

szsCheck :: [(String, String)] -> [String] -> String -> Bool Source #

szsProved :: String -> Bool Source #

szsDisproved :: String -> Bool Source #

szsTimeout :: String -> Bool Source #

szsMemoryOut :: String -> Bool Source #

szsStopped :: String -> Bool Source #