Проверка и удовлетворение

task ID: verificationandsatisfiability

Входящие связи

Связь	Исходная сущность	Тип	Действия
addresses	Теория связывания	otherentity	Просмотр