Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Twelf> }
Showing triples 1 to 12 of
12
with 100 triples per page.
- Automated_theorem_proving wikiPageWikiLink Twelf.
- Dependent_type wikiPageWikiLink Twelf.
- Frank_Pfenning wikiPageWikiLink Twelf.
- Higher-order_abstract_syntax wikiPageWikiLink Twelf.
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink Twelf.
- Logical_framework wikiPageWikiLink Twelf.
- POPLmark_challenge wikiPageWikiLink Twelf.
- Per_Martin-Löf wikiPageWikiLink Twelf.
- Proof_assistant wikiPageWikiLink Twelf.
- Type_theory wikiPageWikiLink Twelf.
- Unification_(computer_science) wikiPageWikiLink Twelf.
- Twelf primaryTopic Twelf.