Solving QMLTP Problems
by Translation to Higher-order Logic

Introduction

• Background and goals
• Preliminaries

TPTP Language for Non-classical Logics

• The TPTP language
• The NTF non-classical languages
• Embedding NTF into THF

Experimental Results

• Experimental setup
• Results