1 paper
Geoff Sutcliffe, Alexander Steen, Pascal Fontaine +1
This paper describes the TPTP format for representing interpretations. It provides a background survey that helped ensure that the representation format is adequate for different t…