Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Agda2> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- Agda2 wikiPageID "13536475".
- Agda2 wikiPageLength "41".
- Agda2 wikiPageOutDegree "1".
- Agda2 wikiPageRedirects Agda_(programming_language).
- Agda2 wikiPageRevisionID "448715834".
- Agda2 wikiPageWikiLink Agda_(programming_language).
- Agda2 label "Agda2".
- Agda2 wasDerivedFrom Agda2?oldid=448715834.
- Agda2 isPrimaryTopicOf Agda2.