Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/LEGO_(proof_assistant)> }
Showing triples 1 to 9 of
9
with 100 triples per page.
- Lego_(disambiguation) wikiPageDisambiguates LEGO_(proof_assistant).
- Lego_(proof_assistant) wikiPageRedirects LEGO_(proof_assistant).
- Coq wikiPageWikiLink LEGO_(proof_assistant).
- Lego_(disambiguation) wikiPageWikiLink LEGO_(proof_assistant).
- Lego_(proof_assistant) wikiPageWikiLink LEGO_(proof_assistant).
- Proof_assistant wikiPageWikiLink LEGO_(proof_assistant).
- Type_theory wikiPageWikiLink LEGO_(proof_assistant).
- Coq dialects LEGO_(proof_assistant).
- LEGO_(proof_assistant) primaryTopic LEGO_(proof_assistant).