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 |