Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Prototype_Verification_System> }
Showing triples 1 to 18 of
18
with 100 triples per page.
- Natarajan_Shankar knownFor Prototype_Verification_System.
- PVS wikiPageDisambiguates Prototype_Verification_System.
- PVS_Specification_and_Verification_System wikiPageRedirects Prototype_Verification_System.
- Automated_theorem_proving wikiPageWikiLink Prototype_Verification_System.
- Common_Lisp wikiPageWikiLink Prototype_Verification_System.
- Dependent_type wikiPageWikiLink Prototype_Verification_System.
- Formal_verification wikiPageWikiLink Prototype_Verification_System.
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink Prototype_Verification_System.
- John_Rushby wikiPageWikiLink Prototype_Verification_System.
- List_of_SRI_International_people wikiPageWikiLink Prototype_Verification_System.
- Natarajan_Shankar wikiPageWikiLink Prototype_Verification_System.
- PVS wikiPageWikiLink Prototype_Verification_System.
- PVS_Specification_and_Verification_System wikiPageWikiLink Prototype_Verification_System.
- Proof_assistant wikiPageWikiLink Prototype_Verification_System.
- Rosetta-lang wikiPageWikiLink Prototype_Verification_System.
- Type_theory wikiPageWikiLink Prototype_Verification_System.
- Natarajan_Shankar knownFor Prototype_Verification_System.
- Prototype_Verification_System primaryTopic Prototype_Verification_System.