Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Isabelle_software> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- Isabelle_software wikiPageID "17302887".
- Isabelle_software wikiPageRedirects Isabelle_(proof_assistant).
- Isabelle_software wikiPageRevisionID "450398890".
- Isabelle_software label "Isabelle software".
- Isabelle_software sameAs m.015gp5.
- Isabelle_software wasDerivedFrom Isabelle_software?oldid=450398890.
- Isabelle_software isPrimaryTopicOf Isabelle_software.