Quasimodo contains 33 result(s) for your request.

Subject Predicate Object Modality Polarity Plausibility Neighborhood Sigma Local Sigma Inspect
circle has_property theorem POSITIVE 0.5843 0.5843 0.6061
conjecture become theorem POSITIVE 0.4960 0.4994 1.0000
residue has_property theorem POSITIVE 0.4579 0.5994 0.4750
prime factor has_property theorem POSITIVE 0.4329 0.5382 0.4490
integrality has_property theorem POSITIVE 0.2998 0.4236 0.3111
ham sandwich has_property theorem POSITIVE 0.2575 0.4398 0.2671
goldstone has_property theorem POSITIVE 0.2549 0.2550 0.2644
euclid has_property theorem POSITIVE 0.2443 0.3441 0.2534
thales has_property theorem POSITIVE 0.2063 0.2786 0.2140
aa be called theorem POSITIVE 0.1965 0.1965 1.0000
euler has_property theorem POSITIVE 0.1464 0.5224 0.1518
pythagorean theorem has_property theorem POSITIVE 0.0139 0.0184 0.0144
converse has_property theorem POSITIVE 0.0074 0.0074 0.0077
jacques bernoulli have theorem POSITIVE 0.0059 0.0059 0.0059
conjecture be different from theorem POSITIVE 0.0046 0.0047 1.0000
postulate become theorem POSITIVE 0.0044 0.0053 0.0090
james bernoulli have theorem POSITIVE 0.0033 1.0000 0.0033
corollary be related to theorem POSITIVE 0.0032 0.0066 1.0000
euler have theorem POSITIVE 0.0031 0.0111 0.0031
cook have theorem POSITIVE 0.0027 0.0027 0.0027