URL details: phmartin.info/slides/lim2021/index.html

home > domains > phmartin.info > phmartin.info/slides/lim2021/index.html

URL title: GenKS
URL paragraphs: www.phmartin.info/slides/lim2021/ Preliminary definitions (for this presentation) Formal lexical term ("symbol" in logics): lexical term declared as having a unique meaning → "UID", not "name". (In logics, a sequence of symbols is used to create a (struc
URL last crawled: 2023-03-29
URL speed: 0.639 MB/s, downloaded in 0.060 seconds

open external url

We found no external links pointing to this url.