home | log | search | bash | stats | wiki


Matches for real first order, 3 total results Sorted by newest | relevance

10-02-2016 20:06:09  <assbot>   1 results for 'real first order' : http://s.b-a.link/?q=real+first+order

10-02-2016 20:06:08  <mircea_popescu>   !s real first order

10-02-2016 01:34:41  <mircea_popescu>   or to get back to exponential space problems : "decide first order logic propositions with real numbers, adition and comparison" is a very hard problem.