CADE ATP System Competition

Property	Value
rdf:type	owl:NamedIndividual Computer science award Computer science competition
rdfs:label	CADE ATP System Competition
owl:sameAs	dbr:CADE_ATP_System_Competition
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/List_of_computer_science_awards http://en.wikipedia.org/wiki/Category:Computer_science_competitions
skos:prefLabel	CADE ATP System Competition
skos:altLabel	CASC
is clgo:award of	Andrei Voronkov
is clgo:knownFor of	Geoff Sutcliffe

About: clgr:CADE_ATP_System_Competition