GeoNames
From MaRDI portal
Cited in
(10)- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates
- Application of if-conversion to verification and optimization of workflows
- Modelling the potential role of media campaigns in Ebola transmission dynamics
- PGWFT
- TripleBit
- ProBase
- Wikibase
- SALT
- YAGO2: a spatially and temporally enhanced knowledge base from Wikipedia
- User-friendly temporal queries on historical knowledge bases
This page was built for software: GeoNames
