Terms containing theorem proving

Subject	English	Dutch
IT	mechanical theorem proving	automatisch bewijzen van theorema's
IT	non-resolution theorem proving	informele redenering
IT	non-resolution theorem proving	natuurlijke deductie
IT	theorem proving	automatisch bewijzen van theorema's