इसका उपयोग परिमाणकों के साथ तार्किक सूत्रों की संतुष्टि की जाँच के लिए, और साथ ही वास्तविक संख्याओं, पूर्णांकों, और बीजगणितीय डेटा प्रकारों के लिए परिमाणक दृष्टांतिकरण क्रियाविधियों, परिपूर्णता, और परिमाणक निष्कासन क्रियाविधियों का लाभ लेकर किया जा सकता है.
मोबाइल