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-Inferred

Common.SZSOntology

Description

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

Documentation

successes :: [(String, String)]

nosuccess :: [(String, String)]

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

szsProved :: String -> Bool

szsDisproved :: String -> Bool

szsTimeout :: String -> Bool

szsMemoryOut :: String -> Bool

szsStopped :: String -> Bool