Все доступные журналы
Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску
Общий список журналов сайта Онлайн справочник. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 13:47, 26 февраля 2024 EducationBot обсуждение вклад создал страницу Английская Википедия:Dependence logic (Новая страница: «{{Английская Википедия/Панель перехода}} '''Dependence logic''' is a logical formalism, created by Jouko Väänänen,<ref>Väänänen 2007</ref> which adds ''dependence atoms'' to the language of first-order logic. A dependence atom is an expression of the form <math>=\!\!(t_1 \ldots t_n)</math>, where <math>t_1 \ldots t_n</math> are terms, and corresponds to the statement that the...»)