subformula
From MaRDI portal
Software:142640
CRANsubformulaMaRDI QIDQ142640FDOQ142640
Create Subformulas of a Formula
Last update: 15 November 2019
Copyright license: MIT license, File License
Software version identifier: 0.1.0
This page was built for software: subformula
