Все доступные журналы

Общий список журналов сайта Онлайн справочник. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).

• 13:18, 8 марта 2024 EducationBot обсуждение вклад создал страницу Английская Википедия:Focused proof (Новая страница: «{{Английская Википедия/Панель перехода}} 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...»)