logical rule extraction formulation

From MaRDI portal
Formula:6674352

Community: MathModDB

deterministic expression dimensionless expression mathematical expression nonlinear expression static expression

Available identifiers

MaRDI QIDQ6674352

equation that extracts logical rules by determining the Gröbner basis of an ideal




Defining Formula: G=G()
G represents Gröbner basis
represents ideal
represents Boolean ring






Further items linking to logical rule extraction formulation

Item Property
extract logical rules contains

This page was built for formula: logical rule extraction formulation