1. A computer-implemented method for improving the efficiency of mining data, the method comprising: receiving temporal data including data associated with a time; reducing the temporal data to a plurality of data sub-portions, at least one data sub-portion of the plurality of data sub-portions comprising temporal dependencies on another data sub-portion of the plurality of data sub-portions; applying a symbolic state to the plurality of the data sub-portions using a symbolic data type, wherein the symbolic data type includes a value, a set of operations to be performed on the value, and a partial function that defines a new value for the symbolic data type when performing an operation of the set of operations; computing a summary for the plurality of the data sub-portions in a symbolic state in parallel, each summary computing a plurality of possible final states for a plurality of possible start states for a data sub-portion of the plurality of the data sub-portions in the symbolic state, thereby improving the efficiency of mining data through parallel computation; and reducing the summaries for the plurality of the data sub-portions to determine a sequential output.