@prefix owl:	<http://www.w3.org/2002/07/owl#> .
@prefix dbpedia:	<http://dbpedia.org/resource/> .
dbpedia:Uclid	owl:sameAs	<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000484487d> .
@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix ns3:	<http://en.wikipedia.org/wiki/> .
dbpedia:Uclid	foaf:page	ns3:Uclid .
@prefix dbpprop:	<http://dbpedia.org/property/> .
dbpedia:Uclid	dbpprop:reference	<http://www.eecs.berkeley.edu/~sseshia/research/uclid.html> ,
		<http://www.eecs.berkeley.edu/~jha/beaver.html> .
@prefix ns5:	<http://uclid.eecs.berkeley.edu/wiki/index.php/> .
dbpedia:Uclid	dbpprop:reference	ns5:Main_Page .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbpedia:Uclid	rdfs:label	"Uclid"@en ;
	dbpprop:abstract	"UCLID is a decision procedure for CLU logic and can be used as a tool for bounded model checking of infinite-state systems."@en ;
	rdfs:comment	"UCLID is a decision procedure for CLU logic and can be used as a tool for bounded model checking of infinite-state systems."@en .
@prefix skos:	<http://www.w3.org/2004/02/skos/core#> .
@prefix ns8:	<http://dbpedia.org/resource/Category:> .
dbpedia:Uclid	skos:subject	ns8:SMT_solvers ,
		ns8:Theorem_proving_software_systems ,
		ns8:Formal_methods .
@prefix ns9:	<http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/> .
dbpedia:Uclid	dbpprop:hasPhotoCollection	ns9:Uclid .