این دستور prover9 است که می تواند در ارائه دهنده هاست رایگان OnWorks با استفاده از یکی از چندین ایستگاه کاری آنلاین رایگان ما مانند Ubuntu Online، Fedora Online، شبیه ساز آنلاین ویندوز یا شبیه ساز آنلاین MAC OS اجرا شود.
برنامه:
نام
prover9 - اثبات قضیه رزولوشن/پارامدولاسیون
خلاصه
اثبات 9 [گزینه های] فایل ورودی > فایل خروجی
اثبات 9 [گزینه های] -f فایل ورودی > فایل خروجی
شرح
این صفحه راهنما به اختصار مستندات اثبات 9 فرمان
اثبات 9 یک اثبات کننده قضیه خودکار برای منطق مرتبه اول و معادله است. این هست یک
جانشین سمور(1) اثبات کننده. اثبات 9 از تکنیک های استنتاج مرتب شده استفاده می کند
وضوح و paramodulation با انتخاب تحت اللفظی.
OPTIONS
خلاصه ای از گزینه ها در زیر آمده است.
-h فهرستی از گزینه های خط فرمان را مشاهده کنید.
-x حالت خودکار پیشرفته آزمایشی را فعال می کند. برای اطلاعات بیشتر با
اثبات 9 کتابچه راهنمای.
-p خروجی را کاملاً پرانتز کنید.
-t n جستجو را محدود کنید تا حدوداً ادامه یابد n ثانیه برای سیستم های مشابه یونیکس، «user
از زمان CPU استفاده می شود.
-f پرونده
ورودی از پرونده به جای ورودی استاندارد.
از prover9 به صورت آنلاین با استفاده از خدمات onworks.net استفاده کنید
