Working with decidable predicates

  • Context:
  • Thread starter Thread starter HashTab
  • Start date Start date
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
1 reply · 988 views
HashTab
Messages
3
Reaction score
0
I am currently reading this article

Here

I was wondering how to calculate the contents of it
Mainly the first equation equaling 1 or 0
 
Physics news on Phys.org
This article does not seem to have numbered equations, and the first formula on its own line is not an equation.