Models And Counter-Examples
गदा का अर्थ "मॉडल और प्रति-उदाहरण" है, और यह एक मॉडल खोजकर्ता है। अधिकांश स्वचालित प्रमेय प्रोवर प्रमाण समस्या के खंड सामान्य रूप पर खंडन करके एक प्रमाण करने का प्रयास करते हैं, यह दर्शाते हुए कि स्वयंसिद्ध और नकारात्मक अनुमान का संयोजन कभी भी एक साथ सच नहीं हो सकता है, अर्थात। कोई मॉडल नहीं है। दूसरी ओर, मेस जैसे मॉडल खोजकर्ता, खंडों के एक समूह का एक स्पष्ट मॉडल खोजने की कोशिश करते हैं। यदि यह सफल होता है, तो यह अनुमान के लिए एक प्रति-उदाहरण के अनुरूप है, अर्थात। यह (दावा किए गए) प्रमेय को गलत साबित करता है। गदा जी. एन. यू. जी. पी. एल. लाइसेंस प्राप्त है। ओटर (प्रमेय कहावत) नीतिवचन 9 संदर्भ बाहरी लिंक सिस्टम डाउनलोड फ्री थ्योरम प्रोवर्स फ्री सॉफ्टवेयर