Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!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: The solver does not terminate
Date: Sun, 8 Dec 2024 05:50:45 +0100
Organization: A noiseless patient Spider
Lines: 18
Message-ID: <vj38j5$315m6$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 08 Dec 2024 05:50:46 +0100 (CET)
Injection-Info: dont-email.me; posting-host="cf998972b72e85708a8b2900cf47d20d";
	logging-data="3184326"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/FV9cuc4+feTEikX6gNAP54wMYS4Uoy+A="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:osRAsltkFcsuwiltsziTeQ7sNGs=
Content-Language: en-GB
In-Reply-To: <vj2for$unvm$1@solani.org>
Bytes: 1674

On 07/12/2024 22:47, Mild Shock wrote:

> One of the pelettier test cases was to test
> how long it takes to terminate with "false",
> the other was to test how long it takes to
> terminate with "true". The Prolog time/1

*What* pelletier statements??  You piece of fucker have also been 
linking only to stuff behind a paid wall.

 > Wangs algorithm can be easily extended to biconditional:

WTF is that??  Is it INTUITIONISTIC??  Is it AFFINE??

You spamming moron.

-Julio