Law, Philosophy, Data Science, Functional Programming, Linked Data.
universe to write all that information down. (Indeed there are proofs that are too big to be written in our universe). This is quite important because the same graph will evaluate to different truth values under different interpretation functions. Let us illustrate this by working on a simple graph