1. A computer-implemented method for mining data, the method comprising: receiving temporal data; reducing the temporal data to a plurality of data sub-portions comprising dependencies within the plurality of data sub-portions; applying a symbolic state to the plurality of the data sub-portions; computing a summary for the plurality of the data sub-portions in a symbolic state in parallel; and reducing the summaries for the plurality of the data sub-portions to determine a sequential output.