Human–computer interaction
Statement
Mouse; hypertext; NLS. Proved in ZFC.
Source
ACM Turing Award 1997. Mouse; hypertext; NLS. Proved in ZFC.
Domains
computer-science
Mouse; hypertext; NLS. Proved in ZFC.
ACM Turing Award 1997. Mouse; hypertext; NLS. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/theorem/engelbart-turing-1997/