Georgios Konstantinidis¶ Researcher at Aristotle University of Thessaloniki contributing to formal methods for fact-checking. Sources in this wiki¶ SoK: Formal Methods for Fact-Checking and Information Integrity Notes¶ Affiliation: Aristotle University of Thessaloniki, Greece.