go to ORKG: http://orkg.org/orkg/predicate/P106025

formal description

A formal description of a system (exists or not)