Every countably presented formal topology is spatial, classically.

Silvio Valentini

Published in: J. Symb. Log. (2006)

Keyphrases

real time
databases
database
machine learning
metadata
spatial information
formal model
spatial reasoning