Formally Proving the Boolean Pythagorean Triples Conjecture.

Luís Cruz-Filipe Peter Schneider-Kamp

Published in: LPAR (2017)

Keyphrases

real valued
linked data
boolean functions
website
boolean queries
real valued data
data sets
databases
knowledge base
data sources
relational data
rdf graphs
extended boolean