#rule.procedure__formula  (mathematics) a standard procedure for solving a class of mathematical problems; "he determined the upper bound with Descartes' rule of signs"; "he gave us a general formula for attacking polynomials"
  supertype:  #procedure.activity__process__proces  a particular course of action intended to achieve a results; "the procedure of obtaining a driver's license"; "it was a process of trial and error"
  subtype:  #metarule  a rule that describes how other rules should be used (as in AI)
  subtype:  #algorithm__algorithmic_rule__algorithmicrule__algorithmic_program__algorithmicprogram  a precise rule (or set of rules) specifying how to solve some problem
     subtype:  #sorting_algorithm__sortingalgorithm  an algorithm for sort a list
  subtype:  #heuristic_program__heuristicprogram__heuristic__heuristic_rule__heuristicrule  a commonsense rule (or set of rules) intended to increase the probability of solving some problem
     subtype:  #lateral_thinking__lateralthinking  a heuristic for solving problems; you try to look at the problem from many angles instead of tackling it head-on
  subtype:  #recursion  (mathematics) an expression such that each term is generated by repeating a particular mathematical operation

No statement uses or specializes #rule.procedure; click here to add one.