TY  - RPRT
TI  - The TPTP Format for Interpretations
AU  - Geoff Sutcliffe
AU  - Alexander Steen
AU  - Pascal Fontaine
AU  - Lydia Kondylidou
PY  - 2026
UR  - https://arxiv.org/abs/2406.06108
ID  - 2406.06108
ER  -