Property | Similarity |
---|---|
be by induction valid | 1.00 |
be by induction | 0.91 |
be considered valid | 0.82 |
is valid | 0.82 |
Click on a property for more details on the statement. Click on a column header to use it as a sorting key.
Subject | Score | Plausible | Typical | Remarkable | Salient | Source |
---|---|---|---|---|---|---|
proof | 0.62 0.6203453225 |
0.59 0.5882791386 |
0.62 0.6206780061 |
0.59 0.5935627672 |
0.65 0.6514753407 |
Quasimodo |