Alternative names (6)
containsProofsOf • hasPartialProofs • hasProofBy • hasProofsBy • hasProofsIn • requiresProofOfRandom triples
| Subject | Object |
|---|---|
| gptkb:Dangerous_Driving | Danger to the public |
| gptkb:Homological_mirror_symmetry_conjecture | elliptic curves |
| gptkb:Section_1956:_Money_Laundering | intent to promote unlawful activity |
| gptkb:Chinese_remainder_theorem | constructive method |
| gptkb:Metamath_set.mm | gptkb:Lagrange's_theorem |
| gptkb:Metamath_set.mm | gptkb:Cayley's_theorem |
| gptkb:art_gallery_theorem | gptkb:Steve_Fisk |
| gptkb:Metamath_set.mm | gptkb:Brouwer_fixed-point_theorem |
| gptkb:Native_title | Continuous connection to land |
| gptkb:UK_Ancestry_visa | sufficient funds |
| gptkb:Euler's_Theorem | Induction |
| gptkb:Metamath_set.mm | gptkb:Central_limit_theorem |
| gptkb:Metamath_set.mm | gptkb:Four_color_theorem |
| gptkb:Section_1956:_Money_Laundering | intent to conceal or disguise proceeds |
| gptkb:Metamath_set.mm | Lucas' theorem |
| gptkb:Metamath_set.mm | gptkb:Hahn–Banach_theorem |
| gptkb:Metamath_set.mm | gptkb:Dirichlet's_theorem |
| gptkb:Metamath_set.mm | gptkb:Zorn's_lemma |
| gptkb:Metamath_set.mm | gptkb:Borel–Cantelli_lemma |
| gptkb:UK_Ancestry_visa | intention to work |