Terms containing theorem proving

Subject	English	Danish
IT	mechanical theorem proving	automatisk deduktion
IT	mechanical theorem proving	automatisk bevisførelse
IT	non-resolution theorem proving	naturlig deduktion
IT	non-resolution theorem proving	uformel ræsonneren
IT	theorem proving	teorembevis