Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/CVC_(theorem_prover)> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- CVC_(theorem_prover) wikiPageID "2285992".
- CVC_(theorem_prover) wikiPageLength "56".
- CVC_(theorem_prover) wikiPageOutDegree "1".
- CVC_(theorem_prover) wikiPageRedirects Satisfiability_modulo_theories.
- CVC_(theorem_prover) wikiPageRevisionID "648953460".
- CVC_(theorem_prover) wikiPageWikiLink Satisfiability_modulo_theories.
- CVC_(theorem_prover) wikiPageWikiLinkText "CVC".
- CVC_(theorem_prover) label "CVC (theorem prover)".
- CVC_(theorem_prover) wasDerivedFrom CVC_(theorem_prover)?oldid=648953460.
- CVC_(theorem_prover) isPrimaryTopicOf CVC_(theorem_prover).