Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Isabelle_software> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- Isabelle_software wikiPageID "17302887".
- Isabelle_software wikiPageLength "40".
- Isabelle_software wikiPageOutDegree "1".
- Isabelle_software wikiPageRedirects Isabelle_(proof_assistant).
- Isabelle_software wikiPageRevisionID "450398890".
- Isabelle_software wikiPageWikiLink Isabelle_(proof_assistant).
- Isabelle_software label "Isabelle software".
- Isabelle_software wasDerivedFrom Isabelle_software?oldid=450398890.
- Isabelle_software isPrimaryTopicOf Isabelle_software.