FOL-RESOLVER


If you consult this page for the first time, read Syntax. Do not use free variables, names, identity or mathematical functions.

Enter a logical formula:

Your input in TraditionalForm (including quantifier definitions and omitted →, ≡, ⊽, ⊼, ⊻):

Enter a time constraint in seconds up to 300:

The result is ({time in seconds,result}):

The print output is:

   

  

  
  
  


Powered by webMathematica

Datenschutzerklaerung

© Timm Lampert / 2018-04-10