Matches in DBpedia 2016-04 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 "13675387".
- Isabelle_theorem_prover wikiPageLength "64".
- Isabelle_theorem_prover wikiPageOutDegree "1".
- Isabelle_theorem_prover wikiPageRedirects Isabelle_(proof_assistant).
- Isabelle_theorem_prover wikiPageRevisionID "450398950".
- 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 wikiPageWikiLinkText "Isabelle/HOL".
- Isabelle_theorem_prover wikiPageUsesTemplate Template:R_from_modification.
- Isabelle_theorem_prover label "Isabelle theorem prover".
- Isabelle_theorem_prover wasDerivedFrom Isabelle_theorem_prover?oldid=450398950.
- Isabelle_theorem_prover isPrimaryTopicOf Isabelle_theorem_prover.