GeoNames

swMATH29529MaRDI QIDQ41243FDOQ41243

Author name not available (Why is that?)

Official website: https://www.geonames.org/about.html

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
• YAGO2: a spatially and temporally enhanced knowledge base from Wikipedia
• TripleBit
• ProBase
• Wikibase
• SALT
• User-friendly temporal queries on historical knowledge bases

This page was built for software: GeoNames