Searched defs:Prove (Results 1 - 1 of 1) sorted by relevance

/hets/OWL2/java/de/unibremen/informatik/FactProver/
H A DProve.java5 public class Prove { class

Completed in 51 milliseconds