grox.info model theory glossary

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