Welcome to our community

Be a part of something great, join today!

Working with decidable predicates

Simmer

New member
Feb 19, 2021
3
I am currently reading this article

Here

I was wondering how to calculate the contents of it
Mainly the first equasion equaling 1 or 0
 

Evgeny.Makarov

Well-known member
MHB Math Scholar
Jan 30, 2012
2,562
This article does not seem to have numbered equations, and the first formula on its own line is not an equation.