http://caligraph.org/ontology/Computer-assisted_proof

CaLiGraph

Property	Value
rdf:type	owl:Class
rdfs:label	Computer-assisted proof
rdfs:subClassOf	Mathematical proof
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Computer-assisted_proofs
is rdf:type of	Goldbach's weak conjecture Computer-assisted proof Roku Doku Kepler conjecture Kazhdan's property (T) Minimum-weight triangulation Kolmogorov–Arnold–Moser theorem Boolean Pythagorean triples problem Schur's theorem 7×7 Number Place Challenger Four color theorem Sign sequence Connect Four Keller's conjecture Optimal solutions for Rubik's Cube Projective plane Robbins algebra Du-sum-oh Sudoku Lorenz system 9×9 Mini Rows Shi Doku

About: clgo:Computer-assisted_proof