Английская Википедия:Equisatisfiability: история изменений

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

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

4 марта 2024

  • текущ.пред. 04:3204:32, 4 марта 2024EducationBot обсуждение вклад 2523 байта +2523 Новая страница: «{{Английская Википедия/Панель перехода}} {{refimprove|date=November 2012}} In mathematical logic (a subtopic within the field of formal logic), two formulae are '''equisatisfiable''' if the first formula is satisfiable whenever the second is and vice versa; in other words, either both formulae are satisfiable or both are not.<ref name="Krötzsch2010">{{cite book|author=Markus Krötzsch|title=De...»