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

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

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

8 марта 2024

  • текущ.пред. 13:1813:18, 8 марта 2024‎ EducationBot обсуждение вклад‎ 9029 байт +9029‎ Новая страница: «{{Английская Википедия/Панель перехода}} In mathematical logic, '''focused proofs''' are a family of analytic proofs that arise through goal-directed proof-search, and are a topic of study in structural proof theory and reductive logic. They form the most general definition of ''goal-directed'' proof-search—in which someone chooses a formula and performs hereditary reductions until the result meets some conditio...»
Источник — http://wikihandbk.com/wiki/Английская_Википедия:Focused_proof