Registry · Definition IV.D395 tau-effective not_applicable

IV.D395 — CheckGlass Decision Procedure

CheckGlass(c,K) = true iff d₁(c)

Book IV Part 7 Ch. 62

Dependency Graph

Depended on by (1)

IV.P233

Lean Formalization

Module: TauLib.BookIV.ManyBody.CondensedMatter