Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/ALF_(proof_assistant)> }
Showing triples 1 to 11 of
11
with 100 triples per page.
- Epigram_(programming_language) influencedBy ALF_(proof_assistant).
- ALF wikiPageDisambiguates ALF_(proof_assistant).
- ALF_(theorem_prover) wikiPageRedirects ALF_(proof_assistant).
- ALF wikiPageWikiLink ALF_(proof_assistant).
- ALF_(theorem_prover) wikiPageWikiLink ALF_(proof_assistant).
- Algebraic_Logic_Functional_programming_language wikiPageWikiLink ALF_(proof_assistant).
- Epigram_(programming_language) wikiPageWikiLink ALF_(proof_assistant).
- Generalized_algebraic_data_type wikiPageWikiLink ALF_(proof_assistant).
- Induction-recursion_(type_theory) wikiPageWikiLink ALF_(proof_assistant).
- Epigram_(programming_language) influencedBy ALF_(proof_assistant).
- ALF_(proof_assistant) primaryTopic ALF_(proof_assistant).