UNB Theorem Prover? download

Automated Theorem Prover implemented in Java and using clause trees. This software will be able to read mathematical theorems from TPTP and prove or disprove them.

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow UNB Theorem Prover?

UNB Theorem Prover? Web Site

Other Useful Business Software

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.

Get Started Free

Rate This Project

User Reviews

Be the first to post a review of UNB Theorem Prover?!

Additional Project Details

Languages

English

Intended Audience

Science/Research

Programming Language

Java

Related Categories

Java Artificial Intelligence Software

Registered

2004-02-21

Similar Business Software

Apify

Apify is a full-stack web scraping and automation platform helping anyone get value from the web. At its core is Apify Store, a marketplace with over 10,000 Actors where developers build, publish, and monetize automation tools. Actors are serverless cloud programs that extract data, automate...

See Software
ActiveCampaign

ActiveCampaign is the autonomous marketing platform that transforms how marketers, agencies, and business owners work. Use Active Intelligence to power goal-aware automations and orchestrate personalized experiences across email, SMS, and WhatsApp. Within a single tool, you get real-time...

See Software
JAMS

JAMS is an automation orchestration and job scheduling solution that runs, monitors, and manages critical IT processes from a single console, from simple batch jobs to complex, cross-platform workflows. JAMS automates jobs across Windows, Linux, UNIX, IBM i, z/OS, and OpenVMS, with native...

See Software
Visual Visitor

AI Sales Rep with Person-Level Website Identification Identify and Influence Your Engaged Website Visitors into Sales-Ready Leads – Before You Commit a Single Working Hour. Lower Funnel, Higher Value Leads Using our advanced WebID +Person identification technology, we uncover and identify...

See Software
Process Street

Process Street is an AI-powered compliance operations platform that automates complex workflows, enforces standards, and tracks audit data in real time. Teams use it to create structured SOPs, assign tasks, collect data, and monitor execution with intelligent oversight. From onboarding and...

See Software
TinyPNG

TinyPNG (by Tinify) is a free image optimization tool trusted by developers and designers worldwide. It uses smart lossy compression to compress JPEG, PNG, WebP, AVIF, and JPEG XL (JXL) files by up to 80% without visible quality loss - boosting speed, SEO, and reducing bandwidth. Compress,...

See Software