Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Isabelle_(theorem_prover)> ?p ?o }
Showing triples 1 to 13 of
13
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) wasDerivedFrom Isabelle_(theorem_prover)?oldid=599066332.
- Isabelle_(theorem_prover) isPrimaryTopicOf Isabelle_(theorem_prover).