Qurak
साइन इन

FindEquationalProof

उपलब्ध नहीं

FindEquationalProof[thm, axms]
FindEquationalProof[thm, "theory"]
संदर्भ में खोजें

संबंधित

ProofObjectAxiomaticTheoryFullSimplifyReduceFindInstance

सभी 6300 फ़ंक्शन · इसे किसी MCP क्लाइंट से उपयोग करें