5013 - FormalLast Update: 26.06.2025ShareMaturityBasicScopeFlowCycleTo CenterSyntaxTo PeripherySemanticCC-BY-NC-ND Philipp ElhausAI GeneratedFormality refers here to either a strict depiction of the syntax or of a more loose expression of its semantic.LinksFormal Systems WARNING: This entry is marked as experimental/in development.