method ID: proofinfer

Детали сущности

Основная информация

ID сущности

proofinfer

Тип сущности

Method

Английская метка

ProofInfer

Русская метка

ProofInfer

Казахская метка

ProofInfer

Частота

1

Описание

Английское описание

A method that generates the proof tree via iterative hierarchical inference.

Русское описание

-

Казахское описание

-