Matches in DBpedia 2016-04 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 "11152755".
- Agda_theorem_prover wikiPageLength "65".
- Agda_theorem_prover wikiPageOutDegree "1".
- Agda_theorem_prover wikiPageRedirects Agda_(programming_language).
- Agda_theorem_prover wikiPageRevisionID "448715817".
- Agda_theorem_prover wikiPageWikiLink Agda_(programming_language).
- Agda_theorem_prover wikiPageWikiLinkText "Agda".
- Agda_theorem_prover wikiPageUsesTemplate Template:R_from_modification.
- Agda_theorem_prover label "Agda theorem prover".
- Agda_theorem_prover wasDerivedFrom Agda_theorem_prover?oldid=448715817.
- Agda_theorem_prover isPrimaryTopicOf Agda_theorem_prover.