18. The article of manufacture according to claim 16 , 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.
18. The article of manufacture according to claim 16 , 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. 19. The article of manufacture according to claim 18 , wherein the generating includes: generating a plurality of proofs of said conclusion, each of said proofs having an associated sequence of statements; and using the knowledge base to identify, for each of said plurality of proofs, an associated set of documents that assert the sequence of statements associated with said each proof.