{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/logic-TPTP","name":"logic-TPTP","version":"0.2.0","softwareVersion":"0.2.0","license":"https://spdx.org/licenses/Other","keywords":["codec","library","math","theorem-provers","Propose Tags"],"maintainer":[{"@type":"Person","name":"MasahiroSakai"},{"@type":"Person","name":"KiYungAhn"},{"@type":"Person","name":"DanielSchuessler"}],"author":[{"@type":"Person","name":"MasahiroSakai"},{"@type":"Person","name":"KiYungAhn"},{"@type":"Person","name":"DanielSchuessler"}],"copyrightHolder":[{"@type":"Person","name":"MasahiroSakai"},{"@type":"Person","name":"KiYungAhn"},{"@type":"Person","name":"DanielSchuessler"}],"dateCreated":"2009-04-28","dateModified":"2009-05-03","datePublished":"2009-05-03","copyrightYear":2009,"downloadUrl":"https://hackage.haskell.org/package/logic-TPTP-0.2.0/logic-TPTP-0.2.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","sameAs":["https://hackage.haskell.org/package/logic-TPTP"]}