Head noun: methodPostmodifier: of proof
| Same concepts |
|---|
Broader concepts
| label | provenance | confidence |
|---|---|---|
| proof | isap:115624639 | 0.106002 |
Narrower concepts
| label | provenance | confidence |
|---|---|---|
| direct proof | isap:161662715 | 0.676020 |
| mathematical induction | isap:134940041 | 0.634379 |
| induction | isap:134940040 | 0.597004 |
| proof by contradiction | isap:161662714 | 0.417870 |