Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Isabelle_proof_assistant> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- Isabelle_proof_assistant wikiPageID "43946039".
- Isabelle_proof_assistant wikiPageLength "64".
- Isabelle_proof_assistant wikiPageOutDegree "1".
- Isabelle_proof_assistant wikiPageRedirects Isabelle_(proof_assistant).
- Isabelle_proof_assistant wikiPageRevisionID "627002128".
- Isabelle_proof_assistant wikiPageWikiLink Isabelle_(proof_assistant).
- Isabelle_proof_assistant wikiPageWikiLinkText "Isabelle proof assistant".
- Isabelle_proof_assistant wikiPageUsesTemplate Template:R_from_modification.
- Isabelle_proof_assistant label "Isabelle proof assistant".
- Isabelle_proof_assistant wasDerivedFrom Isabelle_proof_assistant?oldid=627002128.
- Isabelle_proof_assistant isPrimaryTopicOf Isabelle_proof_assistant.