There is a newer version of this record available.

Software Open Access

scala-tptp-parser v1.4

Alexander Steen


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
144
7
views
downloads
All versions This version
Views 14425
Downloads 71
Data volume 411.7 kB75.5 kB
Unique views 10518
Unique downloads 61

Share

Cite as