CVC theorem prover

http://dbpedia.org/resource/CVC_theorem_prover

rdfs:label

rdf:langString CVC theorem prover

dbpedia-owl:wikiPageID

xsd:integer 13675154

dbpedia-owl:wikiPageRevisionID

xsd:integer 963101421

dbpedia-owl:wikiPageLength

xsd:nonNegativeInteger 69

dbpedia-owl:wikiPageWikiLink

dbpedia:Satisfiability_modulo_theories

dbpedia-owl:wikiPageRedirects

dbpedia:Satisfiability_modulo_theories

dbpprop:wikiPageUsesTemplate

dbpedia:Template:R_to_section

prov:wasDerivedFrom

<http://en.wikipedia.org/wiki/CVC_theorem_prover?oldid=963101421&ns=0>

foaf:isPrimaryTopicOf

<http://en.wikipedia.org/wiki/CVC_theorem_prover>

data from the linked data cloud