From: "Jens-D. Doll" <jens.doll@live.de> Does this (order) formalization define an algorithm for term reduction(s)? Jens
Last updated: Jul 03 2025 at 01:50 UTC