{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/FirstOrderTheory","name":"FirstOrderTheory","version":"0.1.0.6","softwareVersion":"0.1.0.6","license":"https://spdx.org/licenses/BSD-3-Clause","keywords":["bsd3","library","math","Propose Tags"],"maintainer":[{"@type":"Person","name":"dillonhuff"}],"author":[{"@type":"Person","name":"dillonhuff"}],"copyrightHolder":[{"@type":"Person","name":"dillonhuff"}],"dateCreated":"2014-11-02","dateModified":"2014-11-05","datePublished":"2014-11-05","copyrightYear":2014,"downloadUrl":"https://hackage.haskell.org/package/FirstOrderTheory-0.1.0.6/FirstOrderTheory-0.1.0.6.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","sameAs":["https://hackage.haskell.org/package/FirstOrderTheory"]}