ProofInfer
method
ID: proofinfer
Entity Details
Basic Information
Entity ID
proofinfer
Entity Type
Method
English Label
ProofInfer
Russian Label
ProofInfer
Kazakh Label
ProofInfer
Frequency
1
Description
English Description
A method that generates the proof tree via iterative hierarchical inference.
Russian Description
-
Kazakh Description
-