Note that in this case infi.concl= infj .concl when i =j (1 ≤ i, j ≤ n). ... To find minimal proofs, one can use an inference oracle, that given exp∈ S ...
確定! 回上一頁