Searched refs:parse_ontology_hets_out (Results 1 - 1 of 1) sorted by relevance
| /ontohub/spec/ | ||
| H A D | hets_helper.rb | 70 def parse_ontology_hets_out(user, ontology, io, provers_io) method 95 parse_ontology_hets_out(user, ontology, io, provers_io) |
Completed in 8 milliseconds