Searched defs:find_sentence_or_generate_axiom (Results 1 - 1 of 1) sorted by relevance
| /ontohub/lib/hets/prove/ | ||
| H A D | prove_evaluation_helper.rb | 111 axiom = find_sentence_or_generate_axiom(axiom_name, proof_attempt) 122 def find_sentence_or_generate_axiom(axiom_name, proof_attempt) method in class:Hets.Prove.ProveEvaluationHelper |
Completed in 12 milliseconds