Nižší Univalents - LowerUnivalents

v důkaz komprese, oblast matematická logika, Nižší Univalents je algoritmus používá se pro kompresi výrokové usnesení důkazy. LowerUnivalents je zobecněný algoritmus LowerUnits, a je schopen snížit nejen jednotky, ale také podkategorie nejednotkových klauzulí, pokud splňují některé další podmínky.^[1]

Reference

^ Boudou, J., & Paleo, B. W. (2013). Komprese výroků s návrhovým rozlišením snížením dílčích odolností. In Automated Reasoning with Analytic Tableaux and Related Methods (str. 59-73). Springer Berlin Heidelberg.

Tento logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.

[1] Boudou, J., & Paleo, B. W. (2013). Komprese výroků s návrhovým rozlišením snížením dílčích odolností. In Automated Reasoning with Analytic Tableaux and Related Methods (str. 59-73). Springer Berlin Heidelberg.

[1]