]> 2012-05-29T09:19:49-04:00 TPTP-PML TPTP-PML active TPTP meeting, 2008-07-16 tw:Twinfo/telecon/tptp TPTP meeting, 2008-07-21 Explaining Results from Deductive Engines: The TPTP Environment DC:relation Inference Web Part of Proof TPTP Has topic Tetherless World Constellation (old) Has team Has project type Has project status Has name Li Ding Paulo Pinheiro da Silva Cynthia Chang Geoff Sutcliffe Has member Deborah L. McGuinness Has coordinator Research Project