Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Prototype_Verification_System> ?p ?o }
Showing triples 1 to 56 of
56
with 100 triples per page.
- Prototype_Verification_System wikiPageExternalLink pvs.csl.sri.com.
- Prototype_Verification_System wikiPageExternalLink pvs.
- Prototype_Verification_System wikiPageID "1848947".
- Prototype_Verification_System wikiPageLength "1960".
- Prototype_Verification_System wikiPageOutDegree "24".
- Prototype_Verification_System wikiPageRevisionID "637556645".
- Prototype_Verification_System wikiPageWikiLink Alonzo_Church.
- Prototype_Verification_System wikiPageWikiLink Automated_theorem_proving.
- Prototype_Verification_System wikiPageWikiLink Carolyn_Talcott.
- Prototype_Verification_System wikiPageWikiLink Category:Common_Lisp_software.
- Prototype_Verification_System wikiPageWikiLink Category:Dependently_typed_languages.
- Prototype_Verification_System wikiPageWikiLink Category:Formal_specification_languages.
- Prototype_Verification_System wikiPageWikiLink Category:Free_software_programmed_in_Lisp.
- Prototype_Verification_System wikiPageWikiLink Category:Free_theorem_provers.
- Prototype_Verification_System wikiPageWikiLink Category:Lisp_(programming_language).
- Prototype_Verification_System wikiPageWikiLink Category:Proof_assistants.
- Prototype_Verification_System wikiPageWikiLink Category:SRI_International_software.
- Prototype_Verification_System wikiPageWikiLink Common_Lisp.
- Prototype_Verification_System wikiPageWikiLink Dependent_type.
- Prototype_Verification_System wikiPageWikiLink Formal_methods.
- Prototype_Verification_System wikiPageWikiLink GNU_General_Public_License.
- Prototype_Verification_System wikiPageWikiLink John_Rushby.
- Prototype_Verification_System wikiPageWikiLink Menlo_Park,_California.
- Prototype_Verification_System wikiPageWikiLink Michael_Kohlhase.
- Prototype_Verification_System wikiPageWikiLink Natarajan_Shankar.
- Prototype_Verification_System wikiPageWikiLink SRI_International.
- Prototype_Verification_System wikiPageWikiLink Sam_Owre.
- Prototype_Verification_System wikiPageWikiLink Specification_language.
- Prototype_Verification_System wikiPageWikiLinkText "PVS".
- Prototype_Verification_System wikiPageWikiLinkText "Prototype Verification System".
- Prototype_Verification_System wikiPageUsesTemplate Template:Compu-lang-stub.
- Prototype_Verification_System wikiPageUsesTemplate Template:Logic-stub.
- Prototype_Verification_System subject Category:Common_Lisp_software.
- Prototype_Verification_System subject Category:Dependently_typed_languages.
- Prototype_Verification_System subject Category:Formal_specification_languages.
- Prototype_Verification_System subject Category:Free_software_programmed_in_Lisp.
- Prototype_Verification_System subject Category:Free_theorem_provers.
- Prototype_Verification_System subject Category:Lisp_(programming_language).
- Prototype_Verification_System subject Category:Proof_assistants.
- Prototype_Verification_System subject Category:SRI_International_software.
- Prototype_Verification_System type Language.
- Prototype_Verification_System type ProgrammingLanguage.
- Prototype_Verification_System type Assistant.
- Prototype_Verification_System type Language.
- Prototype_Verification_System type Language.
- Prototype_Verification_System type Thing.
- Prototype_Verification_System type Q315.
- Prototype_Verification_System type Q34770.
- Prototype_Verification_System type Q9143.
- Prototype_Verification_System label "Prototype Verification System".
- Prototype_Verification_System sameAs Q3408184.
- Prototype_Verification_System sameAs Prototype_Verification_System.
- Prototype_Verification_System sameAs m.060t4_.
- Prototype_Verification_System sameAs Q3408184.
- Prototype_Verification_System wasDerivedFrom Prototype_Verification_System?oldid=637556645.
- Prototype_Verification_System isPrimaryTopicOf Prototype_Verification_System.