Extract logical rules

From MaRDI portal




Contained entities
Gröbner basis output
Boolean ring input
logical rule extraction formulation G=G(⟨ℬ⟩)
G represents Gröbner basis
⟨ℬ⟩ represents ideal
ℬ represents Boolean ring





Edit extract logical rules item


This page was built for task: extract logical rules