3. The method according to claim 1 , wherein: the dividing includes formulating a logical proof having a conclusion that is an answer to the query, and a sequence of statements that establish said conclusion; and the identifying includes generating a proof of said conclusion by using the knowledge base to identify a set of two or more documents that assert said sequence of statements.
3. The method according to claim 1 , wherein: the dividing includes formulating a logical proof having a conclusion that is an answer to the query, and a sequence of statements that establish said conclusion; and the identifying includes generating a proof of said conclusion by using the knowledge base to identify a set of two or more documents that assert said sequence of statements. 4. The method according to claim 3 , wherein each of said sequence of statements is asserted by one of said documents.