Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/CVC_theorem_prover> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- CVC_theorem_prover wikiPageID "13675154".
- CVC_theorem_prover wikiPageLength "73".
- CVC_theorem_prover wikiPageOutDegree "1".
- CVC_theorem_prover wikiPageRedirects Satisfiability_modulo_theories.
- CVC_theorem_prover wikiPageRevisionID "648953472".
- CVC_theorem_prover wikiPageWikiLink Satisfiability_modulo_theories.
- CVC_theorem_prover wikiPageWikiLinkText "CVC theorem prover".
- CVC_theorem_prover wikiPageUsesTemplate Template:R_to_section.
- CVC_theorem_prover type Redirect.
- CVC_theorem_prover label "CVC theorem prover".
- CVC_theorem_prover wasDerivedFrom CVC_theorem_prover?oldid=648953472.
- CVC_theorem_prover isPrimaryTopicOf CVC_theorem_prover.