Matches in DBpedia 2015-10 for { ?s ?p "Agda"@en }
Showing triples 1 to 13 of
13
with 100 triples per page.
- Agda wikiPageWikiLinkText "Agda".
- Agda_(bishop) wikiPageWikiLinkText "Agda".
- Agda_(programming_language) wikiPageWikiLinkText "Agda".
- Agda_(theorem_prover) wikiPageWikiLinkText "Agda".
- Agda_Persdotter wikiPageWikiLinkText "Agda".
- Agda_theorem_prover wikiPageWikiLinkText "Agda".
- Agda_(programming_language) name "Agda".
- Agda label "Agda".
- Agda_Montelius givenName "Agda".
- Agda_Persdotter givenName "Agda".
- Agda_Rössel givenName "Agda".
- Agda_Östlund givenName "Agda".
- Agda_(programming_language) name "Agda".