FO-dot
latest
Contents
Introduction
Rationale
Notation
FO[Core]
FO[Sugar]
FO[ID]
FO[Int]
FO[Real]
FO[Agg]
FO[Infinite]
FO[Concept]
FO[PF] ?
FO[Unit] ?
FO[·]
Bibliography
Index
FO-dot
»
Index
Edit on GitLab
Index
Symbols
|
B
|
D
|
F
|
K
|
P
|
R
|
S
|
T
|
V
Symbols
"in" operator
B
Binary quantification
D
Direct quantification
F
FO[Agg]
FO[Concept]
FO[Core]
FO[ID]
FO[Infinite]
FO[Int]
FO[PF]
FO[Real]
FO[Sugar]
FO[Unit]
FO[·]
K
Knowledge Base
P
Partial interpretation
R
Range
S
Structure block
T
Theory block
Type declaration
Type inference
V
Variable declaration
Vocabulary block
Read the Docs
v: latest
Versions
latest
Downloads
pdf
On Read the Docs
Project Home
Builds