Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Isabelle_(theorem_prover)> ?p ?o }
Showing triples 1 to 14 of
14
with 100 triples per page.
- Isabelle_(theorem_prover) wikiPageID "33079417".
- Isabelle_(theorem_prover) wikiPageLength "73".
- Isabelle_(theorem_prover) wikiPageOutDegree "1".
- Isabelle_(theorem_prover) wikiPageRedirects Isabelle_(proof_assistant).
- Isabelle_(theorem_prover) wikiPageRevisionID "599066332".
- Isabelle_(theorem_prover) wikiPageWikiLink Isabelle_(proof_assistant).
- Isabelle_(theorem_prover) wikiPageWikiLinkText "Isabelle (theorem prover)".
- Isabelle_(theorem_prover) wikiPageWikiLinkText "Isabelle theorem prover".
- Isabelle_(theorem_prover) wikiPageWikiLinkText "Isabelle".
- Isabelle_(theorem_prover) wikiPageUsesTemplate Template:R_from_other_disambiguation.
- 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).