GeoNames

swMATH29529MaRDI QIDQ41243FDOQ41243

Author name not available (Why is that?)

Cited In (5)

• 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
• 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