Publication:6488521

DOI10.1007/3-540-52885-7_78zbMATH Open1509.68319MaRDI QIDQ6488521FDOQ6488521

Reinhold Letz, Johann Schumann

Publication date: 28 April 2023

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites Work

• A Prolog technology theorem prover: Implementation by an extended Prolog compiler
• The foundations of mathematics. A study in the philosophy of science
• The occur-check problem in Prolog
• Resolution, Refinements, and Search Strategies: A Comparative Study
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (5)

• Cooperating Proof Attempts
• Title not available (Why is that?)
• Fine-grained concurrent completion
• Parallelization of a hyper-linking-based theorem prover
• PARTHENON: A parallel theorem prover for non-horn clauses

This page was built for publication: Partheo: A high-performance parallel theorem prover

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6488521)