Quasimodo contains 1 result(s) for your request.

Subject Predicate Object Modality Polarity Plausibility Neighborhood Sigma Local Sigma Inspect
theorem need to be proved POSITIVE 0.8241 0.8375 1.0000