Ini adalah commandprover9 yang dapat dijalankan di penyedia hosting gratis OnWorks menggunakan salah satu dari beberapa workstation online gratis kami seperti Ubuntu Online, Fedora Online, emulator online Windows atau emulator online MAC OS
PROGRAM:
NAMA
Prover9 - Pembukti Teorema Resolusi/Paramodulasi
RINGKASAN
peribahasa9 [Pilihan] file masukan > berkas keluaran
peribahasa9 [Pilihan] -F file masukan > berkas keluaran
DESKRIPSI
Halaman manual ini mendokumentasikan secara singkat peribahasa9 perintah.
peribahasa9 adalah pembuktian teorema otomatis untuk orde pertama dan logika persamaan. Ini adalah sebuah
penerus dari berang-berang(1) pembukti. peribahasa9 menggunakan teknik inferensi dari memerintahkan
resolusi dan paramodulasi dengan seleksi literal.
PILIHAN
Ringkasan opsi disertakan di bawah ini.
-h Lihat daftar opsi baris perintah.
-x Mengaktifkan mode otomatis yang disempurnakan secara eksperimental. Untuk informasi lebih lanjut hubungi
peribahasa9 Buku Pegangan.
-p Keluarkan kurung penuh.
-t n Batasi pencarian untuk bertahan sekitar n detik. Untuk sistem mirip UNIX, `pengguna
Waktu CPU digunakan.
-f fillet
Ambil masukan dari fillet bukan dari input standar.
Gunakanprover9 online menggunakan layanan onworks.net
