EQP

EQP, eine Abkürzung für equational prover, ist ein automatisiertes Lehrsatz-Beweis-Programm für die equational Logik, die von der Mathematik- und Informatik-Abteilung des Argonne Nationalen Laboratoriums entwickelt ist. Es war einer der provers, die verwendet sind, für ein seit langer Zeit bestehendes Problem zu beheben, das von Herbert Robbins nämlich aufgestellt ist, ob alle Algebra von Robbins Algebra von Boolean sind.

Links


Mensch bleibt (Film) / René Lévesque
Impressum & Datenschutz