Prover9
40 topics • Page 1 of 2 • 1, 2
-
- Topics
- Replies
- Views
- Last post
-
- "Exausted" -- Bug?
by TegiriNenashi on Thu Aug 05, 2010 6:07 am - 2 Replies
- 84 Views
- Last post by mkinyon
on Sat Aug 07, 2010 4:12 am
- "Exausted" -- Bug?
-
- Project: A resolution visualisation tool (UPDATE)
1, 2
by strangequark on Tue Aug 04, 2009 8:56 pm
- 12 Replies
- 1256 Views
- Last post by RSchulz
on Tue Jun 15, 2010 10:37 pm
- Project: A resolution visualisation tool (UPDATE)
-
- paramod rule in Ivy output
by maxnhong on Tue May 04, 2010 8:39 pm - 1 Replies
- 189 Views
- Last post by mccune
on Wed May 05, 2010 11:04 pm
- paramod rule in Ivy output
-
- Rewrite (demodulation) rule
by renata on Wed Apr 21, 2010 9:15 pm - 1 Replies
- 150 Views
- Last post by mccune
on Thu Apr 22, 2010 4:13 pm
- Rewrite (demodulation) rule
-
- Literal ordering
by strangequark on Tue Apr 20, 2010 4:34 pm - 0 Replies
- 106 Views
- Last post by strangequark
on Tue Apr 20, 2010 4:34 pm
- Literal ordering
-
- Is it possible to control Prover9 search
by maxnhong on Sun Apr 11, 2010 4:30 pm - 9 Replies
- 305 Views
- Last post by mccune
on Tue Apr 13, 2010 3:17 pm
- Is it possible to control Prover9 search
-
- problem with equality symbol "="
by wided on Fri Mar 19, 2010 8:49 pm - 4 Replies
- 289 Views
- Last post by mccune
on Sat Mar 20, 2010 5:10 pm
- problem with equality symbol "="
-
- Two questions
by TXLogic on Thu Jan 14, 2010 2:31 am - 3 Replies
- 410 Views
- Last post by TXLogic
on Thu Jan 14, 2010 11:46 pm
- Two questions
-
- is it possible with Prover9? a big problem. thank you
by olfa on Sat Aug 15, 2009 7:31 pm - 4 Replies
- 376 Views
- Last post by RSchulz
on Sun Aug 16, 2009 2:27 am
- is it possible with Prover9? a big problem. thank you
-
- Multiple Equality Predicates?
by RSchulz on Mon Aug 03, 2009 8:16 pm - 4 Replies
- 383 Views
- Last post by RSchulz
on Wed Aug 05, 2009 6:50 pm
- Multiple Equality Predicates?
-
- multisorted algebras?
by TegiriNenashi on Wed Jul 22, 2009 4:25 am - 1 Replies
- 330 Views
- Last post by veroff
on Mon Aug 03, 2009 9:37 pm
- multisorted algebras?
-
- lex_order_vars and demodulators
by mkinyon on Tue Jun 30, 2009 9:02 am - 2 Replies
- 280 Views
- Last post by mkinyon
on Tue Jun 30, 2009 3:53 pm
- lex_order_vars and demodulators
-
- simplify?
by TegiriNenashi on Fri Jun 05, 2009 12:37 am - 6 Replies
- 613 Views
- Last post by mkinyon
on Mon Jun 15, 2009 4:19 pm
- simplify?
-
- prooftrans
by robertG on Sun Jun 07, 2009 9:21 pm - 2 Replies
- 355 Views
- Last post by TegiriNenashi
on Thu Jun 11, 2009 7:07 am
- prooftrans
-
- Production Mode gives me error in all Dr. Mccune's examples.
by robertG on Thu May 21, 2009 10:53 pm
- 8 Replies
- 653 Views
- Last post by robertG
on Sun May 24, 2009 5:02 am
- Production Mode gives me error in all Dr. Mccune's examples.
-
- prover9-mace4 for several input files
by aherranz on Tue May 12, 2009 11:11 pm - 1 Replies
- 324 Views
- Last post by mccune
on Wed May 13, 2009 12:04 am
- prover9-mace4 for several input files
-
- are quantifiers needed for defining complement?
by TegiriNenashi on Fri Apr 10, 2009 11:10 pm - 2 Replies
- 423 Views
- Last post by mkinyon
on Sat Apr 11, 2009 9:17 am
- are quantifiers needed for defining complement?
-
- Precedence of set(...) / clear(...) vs. Command-Line Options
by RSchulz on Fri Mar 20, 2009 9:02 pm - 7 Replies
- 671 Views
- Last post by mkinyon
on Sat Mar 21, 2009 4:13 pm
- Precedence of set(...) / clear(...) vs. Command-Line Options
-
- Fatal error regarding function/relation
by arshadul on Wed Mar 11, 2009 12:43 am - 4 Replies
- 648 Views
- Last post by arshadul
on Tue Mar 17, 2009 6:34 pm
- Fatal error regarding function/relation
-
- performance option: fast=true?
1, 2, 3by TegiriNenashi on Mon Jan 26, 2009 8:40 pm - 21 Replies
- 1918 Views
- Last post by mkinyon
on Wed Feb 18, 2009 9:15 pm
- performance option: fast=true?
-
- Demodulation Details
by RSchulz on Thu Feb 05, 2009 4:52 pm - 3 Replies
- 480 Views
- Last post by RSchulz
on Thu Feb 12, 2009 1:52 am
- Demodulation Details
-
- Fairness of choosing axioms
by hoefner on Sat Jan 31, 2009 1:27 pm - 4 Replies
- 437 Views
- Last post by hoefner
on Thu Feb 05, 2009 10:41 am
- Fairness of choosing axioms
-
- Seventeen Provers for irrationality of SQRT(2)
by TegiriNenashi on Sat Jan 24, 2009 1:20 am - 2 Replies
- 534 Views
- Last post by mccune
on Tue Feb 03, 2009 6:16 pm
- Seventeen Provers for irrationality of SQRT(2)
-
- lex_order_vars question
by mkinyon on Thu Jan 08, 2009 6:23 pm - 3 Replies
- 439 Views
- Last post by mccune
on Tue Feb 03, 2009 4:49 pm
- lex_order_vars question
40 topics • Page 1 of 2
• 1, 2
Who is online
Users browsing this forum: No registered users and 1 guest
Forum permissions
You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot post attachments in this forum