PTSTS
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Table
SPARQL
Graphs
6
6
Services
1
1
Assets
6
6
Insights
Schema
BETA
Class frequency
Class hierarchy
elementsoffinite00libk
elementsoffinite00libk
https://archive.org/details/elementsoffinite00libk
Finite model theory
Leonid Libkin
Logic of graphs
Transitive closure
Link from a Wikipage to an external page
elementsoffinite00libk
https://archive.org/details/elementsoffinite00libk