Datasets Activity Stream About Order by Relevance Name Ascending Name Descending Last Modified Go 1 dataset found Tags: pocrims Filter Results Continuous Logic The dataset used in the paper is a collection of pocrims, hoops, and coops, which are used to model the semantics of continuous logic. Dataset JSON
