closed world - acchow/seadoo GitHub Wiki

closed world assumption

Closure axioms are added to all models used in the Hashemi implementation.

⚠️ **GitHub.com Fallback** ⚠️