Nevigation Bar
Organization Modeling & Simulation Sites Events Members Publications Software Projects Education

derivability

relation containing pairs of experimental_frames such that the first is derivable from the second