[PAGE IS UNDER CONSTRUCTION.]
[Visit my Stack Exchange-page for my actual profile.]
I started the following pages:--
- (https://formalmethods.wikia.org/wiki/Metalogic)
- (https://formalmethods.wikia.org/wiki/Constraint_Satisfaction)
- (https://formalmethods.wikia.org/wiki/Systems_Theory)
- ( https://formalmethods.wikia.org/wiki/Mercury_(programming_language) )
" [...] As a minimum, include brief information and a URLโ hyperlink to further information on the web. [...] " ~ Formal Methods Wikia
At your command/discretion - I shall follow this imperative strictly from this point thereon.
-----
Random, Unrefined; and Thus Unstructured Notes:-[]
[*] Data Mining is a pathway to many abilities some consider to be ... unnatural.
[*] (https://en.wiktionary.org/wiki/logics)