Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Agda_(proof_assistant)> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- Agda_(proof_assistant) wikiPageID "33080120".
- Agda_(proof_assistant) wikiPageLength "41".
- Agda_(proof_assistant) wikiPageOutDegree "1".
- Agda_(proof_assistant) wikiPageRedirects Agda_(programming_language).
- Agda_(proof_assistant) wikiPageRevisionID "450399511".
- Agda_(proof_assistant) wikiPageWikiLink Agda_(programming_language).
- Agda_(proof_assistant) label "Agda (proof assistant)".
- Agda_(proof_assistant) sameAs m.0c1r9r.
- Agda_(proof_assistant) wasDerivedFrom Agda_(proof_assistant)?oldid=450399511.
- Agda_(proof_assistant) isPrimaryTopicOf Agda_(proof_assistant).