\u0023SAT — различия между версиями

Текущая версия на 22:40, 31 января 2019

Перенаправление на:

Версия 21:50, 17 апреля 2010 (просмотреть исходный код) SVKazakov (обсуждение \| вклад) («\u0023SAT» переименована в «Интерактивное доказательство для языка» поверх перенаправления: откат)		Текущая версия на 22:40, 31 января 2019 (просмотреть исходный код) Дмитрий Мурзин (обсуждение \| вклад) м (Перенаправление на Sharp SAT)
Строка 1:		Строка 1:
−	#перенаправление [[~~Интерактивное доказательство для языка~~]]	+	#перенаправление [[Sharp SAT]]