Structural semantics

in OMDoc
Example: OMDoc considers a theorem as proven, if there is a proof linked to it (a structural property)


 * compare typed programming languages or throws-declarations in Java --Clange 20:42, 18 August 2006 (CEST)
 * "Man kann jeden Mist aufschreiben, solange er formal aussieht" (Normen, sinngemäß)