[FidoNet] 1. What the Opus BBS software and sysops call FidoNet.
2. Fanciful term for a cyberspace expected to emerge from current networking experiments (see network, the).
3. The totality of present-day computer networks.
4. <logic> In wffs of predicate logic in which all quantifiers are clustered together at the left side, the section to the right of the quantifiers.
See prefix, prenex normal form.
[Glossary of First-Order Logic]
Try this search on OneLook / Google