X-Received: by 2002:ad4:58ef:0:b0:5a2:29c1:b549 with SMTP id di15-20020ad458ef000000b005a229c1b549mr5164109qvb.5.1679043912019;
Fri, 17 Mar 2023 02:05:12 -0700 (PDT)
X-Received: by 2002:ac8:1e13:0:b0:3d2:f304:18c8 with SMTP id
n19-20020ac81e13000000b003d2f30418c8mr1786384qtl.9.1679043911715; Fri, 17 Mar
2023 02:05:11 -0700 (PDT)
Path: rocksolid2!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Fri, 17 Mar 2023 02:05:11 -0700 (PDT)
In-Reply-To: <02bd4187-141b-40d4-8d0c-7b2bc26ca7e1n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.44; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.44
References: <56d3b838-cb9f-433c-b486-3956b85b4ea5@googlegroups.com>
<9df46bff-9378-410c-8b9c-2abd61efd108o@googlegroups.com> <rd4hu1$1451$1@gioia.aioe.org>
<c82c08ed-7501-4aee-81a9-265a4f1f4efco@googlegroups.com> <eaab8bd1-b765-4652-a7ac-259f03f4082eo@googlegroups.com>
<888e9552-a909-43b2-a759-7eb53a970079o@googlegroups.com> <866370cb-b73a-449a-a7b7-1fbd963b1038o@googlegroups.com>
<97bad089-d164-415a-958c-ac34afd5cc5eo@googlegroups.com> <ri1g0d$7vt$1@solani.org>
<6f4f8c7d-bfd5-42f0-b4b7-47b716eefc35o@googlegroups.com> <e5f93b1a-e0a7-4d01-a472-7d4fa87471dco@googlegroups.com>
<4f5ffd6f-e1ad-450f-9ec7-1afee3f03604o@googlegroups.com> <21158c8e-0c1e-401e-8b10-e148f753c8b3o@googlegroups.com>
<4b0955ee-5101-43ae-bb55-ebb3ba7c1d65o@googlegroups.com> <2d203007-60b7-4cf1-a559-473788602e93o@googlegroups.com>
<9394064a-e8f0-49cf-a5e2-24f38bb2b23do@googlegroups.com> <7d2ee196-c6c3-47c0-9927-7816fe919ce4o@googlegroups.com>
<4a06214a-44d4-4c96-85f2-71d1c4eb6665o@googlegroups.com> <rjd2iq$cjr$2@solani.org>
<c9203cef-311b-499a-8029-192aba4a847co@googlegroups.com> <45cdb28b-7b1e-464c-88d1-6a9f7531dd6fo@googlegroups.com>
<1da9cb7e-c075-4adc-a2b5-07982dca4085o@googlegroups.com> <69e54810-daeb-4e69-95d6-ea1178febb6bo@googlegroups.com>
<4eff1357-4db7-4ccf-a5fe-d94d34143ff8n@googlegroups.com> <bc005041-6b34-4627-b4fb-8f685ead5847n@googlegroups.com>
<0e65120e-0b62-4256-8923-fa20a0b87137n@googlegroups.com> <bd81b556-4565-40d2-a4b4-1441f0f4ec15n@googlegroups.com>
<77a9ab51-7357-455e-bae6-c3e68ca502acn@googlegroups.com> <02bd4187-141b-40d4-8d0c-7b2bc26ca7e1n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <77d65216-27f3-45e5-a420-94b8dea5213cn@googlegroups.com>
Subject: Re: Investigating Proof Graphs: Euclid
From: bursejan@gmail.com (Mostowski Collapse)
Injection-Date: Fri, 17 Mar 2023 09:05:12 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 3335