grox.info is an experiment in creating a knowledge graph for the vocabulary of model theory, first order logic, semantic web and similar attempts to formalize semantics.
𐤁
𐤁
𐤈
𐤈
Model Theory Vocabulary
- token
- a word, a phoneme, a sequence of characters
- tables
- Examples of HTML tables as data structures
SKOS Concept Scheme
let's talk about SKOS