Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
RDF_Combination_Constant_Equivalence_Graph_Entailment-import001.rdf | 2010-04-20 00:38 | 351 | ||
RDF_Combination_Constant_Equivalence_Graph_Entailment-import001.ttl | 2010-04-20 00:38 | 181 | ||
RDF_Combination_Constant_Equivalence_Graph_Entailment-premise.rif | 2010-11-07 16:21 | 657 | ||
RDF_Combination_Constant_Equivalence_Graph_Entailment-premise.rifps | 2010-04-20 00:38 | 233 | ||
RDF_Combination_Constant_Equivalence_Graph_Entailment.xml | 2010-04-20 00:38 | 2.8K | ||