CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
This project aims to create a robust infrastructure for higher-order Automated Theorem Proving systems, similar to that of first-order systems. It focuses on enhancing automation in higher-order logic to support academic and industrial applications, ultimately paving the way for broader advancements in various types of…
There is a well established infrastructure that supports research and development of first-order Automated Theorem Proving (ATP) systems, stemming from the Thousands of Problems for Theorem Provers (TPTP) problem library.
This infrastructure includes the TPTP itself, the TPTP language and SZS result ontology, the Thousands of Solutions from Theorem Provers (TSTP) solution library, various tools associated with the libraries, and the CADE ATP System Competition (CASC).
This infrastructure has bee…
UNIVERSITAT DES SAARLANDES
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
