Searched defs:commonness_of_least_common_symbol (Results 1 - 1 of 1) sorted by relevance
| /ontohub/app/models/ | ||
| H A D | sine_axiom_selection.rb | 95 lcs_commonness = commonness_of_least_common_symbol(axiom) 105 def commonness_of_least_common_symbol(axiom) method in class:SineAxiomSelection |
Completed in 7 milliseconds