Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Isabelle_(theorem_prover)> ?p ?o. }
Showing items 1 to 8 of
8
with 100 items per page.
- Isabelle_(theorem_prover) wikiPageID "33079417".
- Isabelle_(theorem_prover) wikiPageRedirects Isabelle_(proof_assistant).
- Isabelle_(theorem_prover) wikiPageRevisionID "599066332".
- Isabelle_(theorem_prover) type SoftwareObject.
- Isabelle_(theorem_prover) label "Isabelle (theorem prover)".
- Isabelle_(theorem_prover) sameAs m.015gp5.
- Isabelle_(theorem_prover) wasDerivedFrom Isabelle_(theorem_prover)?oldid=599066332.
- Isabelle_(theorem_prover) isPrimaryTopicOf Isabelle_(theorem_prover).