Extract logical rules

extract logical rules underlying a boolean ring

computational task

MaRDI QIDQ6684564FDOCommunityMathModDB

Contained Entity(-ies)

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

Further link(s)

Item	Property
Logical Data Analysis for Egyptian Objects	used by
object comparison model	used by

---

---

Edit extract logical rules item

This page was built for task: extract logical rules