Analytic Tableau
method
ID: analytictableau
Entity Details
Basic Information
Entity ID
analytictableau
Entity Type
Method
English Label
Analytic Tableau
Russian Label
Аналитическая таблица
Kazakh Label
Аналитикалық таблица
Frequency
1
Description
English Description
A method employed by the theorem prover for Natural Logic.
Russian Description
-
Kazakh Description
-