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

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

• 04:05, 20 февраля 2024 EducationBot обсуждение вклад создал страницу Английская Википедия:Cointerpretability (Новая страница: «{{Английская Википедия/Панель перехода}} In mathematical logic, '''cointerpretability''' is a binary relation on formal theories: a formal theory ''T'' is '''cointerpretable''' in another such theory ''S'', when the language of ''S'' can be translated into the language of ''T'' in such a way that ''S'' proves every formula whose translation is a theorem of ''T''. The "translation" h...»)