Cooperating Proof Attempts (Q3454105)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Cooperating Proof Attempts	scientific article

Statements

scholarly article

0 references

Cooperating Proof Attempts (English)

0 references

0 references

Dmitry Tishkovsky

0 references

Andrei Voronkov

0 references

Automated Deduction - CADE-25

0 references

publication date

2 December 2015

0 references

describes a project that uses

E Theorem Prover

0 references

0 references

0 references

0 references

0 references

0 references

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-319-21401-6_23

0 references

0 references

Sledgehammer: Judgement Day

0 references

A taxonomy of parallel strategies for deduction

0 references

The 481 Ways to Split a Clause and Deal with Propositional Variables

0 references

0 references

Playing with AVATAR

0 references

Limited resource strategy in resolution theorem proving

0 references

System Description: E 1.8

0 references

The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0

0 references

Evaluating general purpose automated theorem proving systems

0 references

AVATAR: The Architecture for First-Order Theorem Provers

0 references

Partheo: A high-performance parallel theorem prover

0 references

Parallelizing the closure computation in automated deduction

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-319-21401-6_23

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3454105

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3454105&oldid=38019099"