logical rule extraction formulation (Q6674352)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

equation that extracts logical rules by determining the Gröbner basis of an ideal
Language Label Description Also known as
default for all languages
No label defined
    English
    logical rule extraction formulation
    equation that extracts logical rules by determining the Gröbner basis of an ideal

      Statements

      0 references
      0 references
      0 references
      0 references
      0 references
      G=G(⟨ℬ⟩)
      0 references
      0 references