Historical social research the official journal of QUANTUM and INTERQUANT ; HSR ; an international journal for the application of formal methods to history = Historische Sozialforschung