Searched refs:prepare_axioms (Results 1 - 1 of 1) sorted by relevance

/ontohub/lib/hets/
H A Dprove_options.rb28 prepare_axioms
53 def prepare_axioms method in class:Hets.ProveOptions

Completed in 352 milliseconds