WikiDer > EQP

EQP, uchun qisqartma tenglamali prover, bu avtomatlashtirilgan teorema uchun dastur tenglama mantiqiMatematika va informatika bo'limi tomonidan ishlab chiqilgan Argonne milliy laboratoriyasi. Bu ilgari surilgan muammoni hal qilishda foydalaniladigan dasturlardan biri edi Herbert Robbinsya'ni, hammasi ham Robbins algebralari bor Mantiqiy algebralar.

Tashqi havolalar

• EQP loyihasi.
• Robbins algebralari mantiqiydir.
• Argonne milliy laboratoriyasi, matematika va informatika bo'limi.