Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Julio Di Egidio <julio@diegidio.name>
Newsgroups: sci.logic
Subject: Re: Seventy-Five Problems for Testing Automatic Theorem Provers
Date: Mon, 9 Dec 2024 11:39:49 +0100
Organization: A noiseless patient Spider
Lines: 12
Message-ID: <vj6hdm$bd11$1@dont-email.me>
References: <vihumn$2eqeg$3@dont-email.me> <vijsa2$a7ut$1@solani.org>
 <vik669$3a0q9$1@dont-email.me> <vit5qd$1lts7$1@dont-email.me>
 <vj203i$31agv$1@dont-email.me> <vj2for$unvm$1@solani.org>
 <vj38j5$315m6$1@dont-email.me> <vj3a7s$315m6$2@dont-email.me>
 <vj3b6b$315m6$3@dont-email.me> <vj3vv5$ja85$1@solani.org>
 <vj40hl$jaid$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 09 Dec 2024 11:39:51 +0100 (CET)
Injection-Info: dont-email.me; posting-host="7790aa2e18bcf5e7788978594a704952";
	logging-data="373793"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18cu1j0qA2NsjLjT5lbVYhr50KG0TquWCU="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:7itf+epW16/mrioOYkKqMeBEjc8=
In-Reply-To: <vj40hl$jaid$1@solani.org>
Content-Language: en-GB
Bytes: 1642

On 08/12/2024 12:39, Mild Shock wrote:

> Seventy-Five Problems for Testing Automatic Theorem Provers.
> Francis Jeffry Pelletier -June 1986
> Journal of Automated Reasoning 2(2):191-216
> DOI: 10.1007/BF02432151
> https://www.researchgate.net/publication/220531947

That helps a lot!  Thank you, and Pelletier.

-Julio