... where PredicateName and PredicateNum specify a node on the proof tree as ... is [Done,ToDo] where Done is the list of children already proven and ToDo ...
確定! 回上一頁