About: http://dbpedia.org/resource/Isabelle_theorem_prover

An Entity in Data Space: dbpedia.org

[RDF Data]

Property	Value
dbpprop:redirect	dbpedia:Isabelle_(theorem_prover)
is dbpprop:influenced of	dbpedia:Haskell_(programming_language)

Browse using: OpenLink Data Explorer | Zitgist Data Viewer | Marbles | DISCO | Tabulator Raw Data in: N3/Turtle | JSON+RDF | RDF/XML About

Powered by OpenLink Virtuoso

This material is Open Knowledge

W3C Semantic Web Technology

This material is Open Knowledge