Using existing TPTP views with new data store

From Eclipsepedia

Jump to: navigation, search

Here is a high level overview of the flow relative to the COSMOS & TPTP architecture.


UsingExistingTPTPViewsWDataStore.gif