Boolean Pythagorean triples problem

Property	Value
rdf:type	Computer-assisted proof owl:NamedIndividual Long mathematical proof Mathematical problem
rdfs:label	Boolean Pythagorean triples problem
owl:sameAs	dbr:Boolean_Pythagorean_triples_problem
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/List_of_long_mathematical_proofs http://en.wikipedia.org/wiki/Category:Computer-assisted_proofs http://en.wikipedia.org/wiki/Computer-assisted_proof http://en.wikipedia.org/wiki/Proof_by_exhaustion http://en.wikipedia.org/wiki/Automated_reasoning http://en.wikipedia.org/wiki/Category:Mathematical_problems
skos:prefLabel	Boolean Pythagorean triples problem
skos:altLabel	boolean Pythagorean triples boolean Pythagorean triples problem

About: clgr:Boolean_Pythagorean_triples_problem