Searched defs:used_axioms_from_hash (Results 1 - 1 of 1) sorted by relevance
| /ontohub/lib/hets/prove/ | ||
| H A D | prove_evaluation_helper.rb | 25 used_axioms_from_hash(proof_info, proof_attempt) 98 def used_axioms_from_hash(proof_info, proof_attempt) method in class:Hets.Prove.ProveEvaluationHelper |
Completed in 489 milliseconds