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


Source is a modification of the Wikipedia article EQP, licensed under CC-BY-SA. Full list of contributors here.
Mensch bleibt (Film) / René Lévesque
Impressum & Datenschutz