Closed world assumption

Home / Glossary / Closed world assumption

The closed world assumption is the assumption that if something is not provable, then it is false.

7718 Wood Hollow Drive, Suite 250
Austin, TX 78731, USA