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