<http://rdf.freebase.com/ns/en.computer_aided_verification> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/common.topic>.
<http://rdf.freebase.com/ns/en.computer_aided_verification> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/conferences.conference_series>.
<http://rdf.freebase.com/ns/en.computer_aided_verification> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/time.recurring_event>.
<http://rdf.freebase.com/ns/en.computer_aided_verification> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/conferences.topic>.
<http://rdf.freebase.com/ns/en.computer_aided_verification> <http://rdf.freebase.com/ns/conferences.conference_series.subject> <http://rdf.freebase.com/ns/en.computer_science>.
<http://rdf.freebase.com/ns/en.computer_aided_verification> <http://www.w3.org/1999/xhtml/vocab#license> <http://creativecommons.org/licenses/by/3.0/>.
<http://rdf.freebase.com/ns/en.computer_aided_verification> <http://rdf.freebase.com/ns/common.topic.article> <http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000000e5f95b>.
<http://rdf.freebase.com/ns/en.computer_aided_verification> <http://creativecommons.org/ns#attributionName> "Source: Freebase - The World's database".
<http://rdf.freebase.com/ns/en.computer_aided_verification> <http://creativecommons.org/ns#attributionURL> <http://www.freebase.com/view/en/computer_aided_verification>.
<http://rdf.freebase.com/ns/en.computer_aided_verification> <http://rdf.freebase.com/ns/type.object.name> "Computer Aided Verification"@en.
<http://rdf.freebase.com/ns/en.computer_aided_verification> <http://www.w3.org/2002/07/owl#sameAs> <http://dbpedia.org/resource/Computer_Aided_Verification>.
<http://rdf.freebase.com/ns/en.computer_aided_verification> <http://rdf.freebase.com/ns/type.object.key> _:KadTEriE282.
<http://rdf.freebase.com/ns/en.computer_aided_verification> <http://rdf.freebase.com/ns/type.object.key> _:KadTEriE284.
<http://rdf.freebase.com/ns/en.computer_aided_verification> <http://rdf.freebase.com/ns/type.object.key> _:KadTEriE283.
_:KadTEriE282 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en_id>.
_:KadTEriE282 <http://rdf.freebase.com/ns/type.value.value> "6592539".
_:KadTEriE284 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/en>.
_:KadTEriE284 <http://rdf.freebase.com/ns/type.value.value> "computer_aided_verification".
_:KadTEriE283 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:KadTEriE283 <http://rdf.freebase.com/ns/type.value.value> "Computer_Aided_Verification".