Аксиома завершения для истории

method ID: completionaxiomforhistory

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

Связь	Исходная сущность	Тип	Действия
provides	Модальная Темпоральная Логика	method	Просмотр