Earley Deduction

Back to List
method ID: earleydeduction

Entity Details

Basic Information

Entity ID

earleydeduction

Entity Type

Method

English Label

Earley Deduction

Russian Label

Дедукция Эрли

Kazakh Label

Earley дедукциясы

Frequency

1

Description

English Description

A proof procedure that uses the Earley parsing technique for deduction based on definite clauses.

Russian Description

-

Kazakh Description

-