Completion Axiom for History
method
ID: completionaxiomforhistory
Entity Details
Basic Information
Entity ID
completionaxiomforhistory
Entity Type
Method
English Label
Completion Axiom for History
Russian Label
Аксиома завершения для истории
Kazakh Label
Тарих үшін толықтыру аксиомасы
Frequency
1
Description
English Description
An axiom that defines the conditions under which a history is considered complete.
Russian Description
-
Kazakh Description
-