Для установки нажмите кнопочку Установить расширение. И это всё.
Исходный код расширения WIKI 2 регулярно проверяется специалистами Mozilla Foundation, Google и Apple. Вы также можете это сделать в любой момент.
Как перевоплотить Википедию
Хотите, чтобы Википедия всегда выглядела так профессионально и современно? Мы создали расширение для браузера. Оно совершенствует любую страницу энциклопедии, которую вы посетите, с помощью магических технологий WIKI 2.
Попробуйте — вы его можете удалить в любой момент.
Установить за 5 сек.
Да-да, но позже
4,5
Келли Слэйтон
Мои поздравления с отличным проектом... что за великолепная идея!
Александр Григорьевский
Я использую WIKI 2 каждый день и почти забыл как выглядит оригинальная Википедия.
Если в формулу вместо переменных подставить соответственно формулы то получится формула , которая называется частным случаем формулы :
Каждая формула подставляется вместо всех вхождений переменной .
Набор подстановок называется унификатором.
Частный случай набора формул
Набор формул называется частным случаем набора формул, если каждая формула является частным случаем формулы при одном и том же наборе подстановок.
Совместный частный случай формул
Формула называется совместным частным случаем формул и , если является частным случаем формулы и одновременно частным случаем формулы при одном и том же наборе подстановок, то есть
Формулы, которые имеют совместный частный случай, называются унифицируемыми, а набор подстановок , с помощью которого получается совместный частный случай унифицируемых формул, называется общим унификатором.
Совместный частный случай набора формул
Набор формул называется совместным частным случаем наборов формул и , если каждая формула является частным случаем формул и при одном и том же наборе подстановок.
Задача унификации
Задача унификации — определить, являются ли две формулы частным случаем одной и той же, в частности, друг друга.
Задача алгоритмически неразрешима в общем случае, если используются термы высших порядков (то есть знаки функций).