Searched defs:prepare_axiom_selection (Results 1 - 1 of 1) sorted by relevance

/ontohub/lib/
H A Dproof_execution.rb12 prepare_axiom_selection
19 def prepare_axiom_selection method in class:ProofExecution

Completed in 6 milliseconds