artificialintelligence automatictheoremproving biology h62r6682012 methodology methods physics qualitativeresearch research research[mesh] researchdesign socialsciences socialsciences[mesh] sociometrictechniques[mesh] studyandteaching