Na podstawie artykułu: "Automatyczne dowodzenie twierdzeń" pochodzącego z WikipediiOryginałEdytujHistoria i autorzy