Linked Presentation: Answering Historical What-if Queries with Provenance, Reenactment, and Symbolic Execution
