Cross Reference: Simple_Implications_Group.tptp
xref
: /
ontohub
/
spec
/
fixtures
/
ontologies
/
tptp
/
Simple_Implications_Group.tptp
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
History log of
/ontohub/spec/fixtures/ontologies/tptp/Simple_Implications_Group.tptp
Revision
Compare
Date
Author
Comments
Expand
2dec1c767f1e4293fbbee8703312661406459bed
05-Aug-2015
Eugen Kuksa <eugenk@informatik.uni-bremen.de>
Add spec on TPTP parsing.
Simple_Implications_Group.tptp
/ontohub/spec/models/ontology_spec.rb