The Template Expander is loaded with the initial set of templates defined in the current working set of the MMT-SIG (teamsite 15926.org).
The Template Expander is developed by Martin Giese, University of Oslo, and DNV IRM and is available free of charge. The source code is found in the PCA repository.
The Template Expander takes as input a set of Prover9 syntax formulae, which define the templates, and a formula to be expanded, representing instances. Expansion is carried out until no further axiom is applicable. Correctly defined templates yield output using only ISO 15926-2 entity types.
Download all-templates.txtUpload NOTE: close and reopen the entire browser to refresh newly uploaded template definitions.