Английская Википедия:E (theorem prover): история изменений

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — малые изменения.

1 марта 2024

  • текущ.пред. 09:3909:39, 1 марта 2024‎ EducationBot обсуждение вклад‎ 9800 байт +9800‎ Новая страница: «{{Английская Википедия/Панель перехода}} {{Use dmy dates|date=July 2013}} '''E''' is a high-performance theorem prover for full first-order logic with equality.<ref name=brainiac>{{Cite journal | first=Stephan | last=Schulz | title=E - A Brainiac Theorem Prover | journal=Journal of AI Communications | volume=15 | issue=2/3 | pages=111–126 | year=2002 }}</ref> It is based on the equational [...»
Источник — http://wikihandbk.com/wiki/Английская_Википедия:E_(theorem_prover)