Computer-assisted proof

Property	Value
rdf:type	Computer-assisted proof owl:NamedIndividual Formal method
rdfs:label	Computer-assisted proof
owl:sameAs	dbr:Computer-assisted_proof
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Formal_methods http://en.wikipedia.org/wiki/Category:Computer-assisted_proofs http://en.wikipedia.org/wiki/Outline_of_artificial_intelligence
skos:prefLabel	Computer-assisted proof
skos:altLabel	computer-assisted computer assisted Computer-assisted proof: Philosophical objections aid of computers computational proof methods computer assistance computer-assisted proof first theorem to be proved by computer proved using a computer proving mathematical theorems rigorous numerics Computer-assisted_proof#Theorems proved with the help of computer programs
is clgo:genre of	INTLAB

About: clgr:Computer-assisted_proof